aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - Fixed some type-checking errors.Eduardo Julian2017-10-221-12/+12
|
* - Updated new compiler to latest version of stdlib.Eduardo Julian2017-10-213-26/+26
|
* - Compilation for method invocation.Eduardo Julian2017-10-193-26/+191
|
* - Method invocation analysis.Eduardo Julian2017-10-181-57/+119
|
* - Updated to the latest changes in stdlib.Eduardo Julian2017-10-1838-603/+595
|
* - WIP: Method analysis.Eduardo Julian2017-10-151-5/+317
|
* - Compilation and tests for fields.Eduardo Julian2017-10-142-16/+182
|
* - Compilation for object-based procedures.Eduardo Julian2017-10-142-5/+84
|
* - Compilation and tests for arrays.Eduardo Julian2017-10-126-22/+132
|
* - Compilation and tests for arithmetic, bit-wise operations and order.Eduardo Julian2017-10-123-23/+187
|
* - Compilation and tests for primitive conversions.Eduardo Julian2017-10-124-25/+150
|
* - Migrated new-luxc to latest version of stdlib.Eduardo Julian2017-10-1128-464/+462
| | | - Some refactoring.
* - Improved polymorphism and inheritance support.Eduardo Julian2017-10-091-93/+174
| | | - Added casting support for automatic boxing/unboxing.
* - WIP: Added support for inheritance.Eduardo Julian2017-10-081-104/+127
|
* - WIP: JVM field analysis.Eduardo Julian2017-10-083-71/+389
|
* - Added tests for host procedures.Eduardo Julian2017-10-071-104/+118
|
* - Simplified "eval".Eduardo Julian2017-10-052-5/+5
|
* - Added tests for type-checking and type-coercion.Eduardo Julian2017-10-053-18/+64
| | | | - Implemented "eval". - Fixed bugs when analysing variants and tuples.
* - WIP: JVM host procedure analysis.Eduardo Julian2017-10-044-176/+631
|
* - Function generation.Eduardo Julian2017-09-1916-80/+565
|
* - Added pattern-matching compilation.Eduardo Julian2017-09-174-31/+411
|
* - Re-named luxc/env to luxc/scope.Eduardo Julian2017-09-088-17/+16
|
* - Re-named "jvm-import" to "import".Eduardo Julian2017-09-0811-57/+57
|
* - Replaced the term "total" with "exhaustive".Eduardo Julian2017-09-072-28/+28
|
* - Added optional "char" syntax for nats.Eduardo Julian2017-09-051-5/+43
|
* - Added alternative syntax for Frac numbers, based on traditional ↵Eduardo Julian2017-09-051-41/+82
| | | | ratio/fraction syntax.
* - Updated new compiler's code to the recent changes in the language.Eduardo Julian2017-09-0524-361/+492
| | | - WIP: Some other changes/additions to the new compiler.
* - Now using strict floating point math on the JVM.Eduardo Julian2017-09-041-9/+11
|
* - Tested the compilation for "nat" procedures.Eduardo Julian2017-07-036-200/+303
| | | | - Expanded the runtime. - Some bug-fixes and refactorings.
* - Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition".Eduardo Julian2017-07-024-9/+9
|
* - Real syntax now supports exponential.Eduardo Julian2017-07-021-1/+6
|
* - Adjusted compiler to the new lack of Char type.Eduardo Julian2017-07-0219-109/+263
| | | - WIP: PM/case synthesis.
* - WIP: Added generation for common procedures.Eduardo Julian2017-06-3011-45/+1117
|
* - Adapted compiler to the latest stdlib changes.Eduardo Julian2017-06-276-147/+140
|
* - Heavy refactoring.Eduardo Julian2017-06-1412-307/+661
|
* - Renamed the "compilation" phase as the "generation" phase.Eduardo Julian2017-06-1214-205/+611
| | | | - Implemented compilation of primitives. - Implemented compilation of structures.
* - Added loop synthesis.Eduardo Julian2017-06-095-141/+237
| | | - Some refactoring.
* - Now optimizing functions.Eduardo Julian2017-06-064-103/+168
|
* - Implemented some synthesis algorithms and tests for primitives, ↵Eduardo Julian2017-05-315-101/+328
| | | | | structures, procedures and function application. - Some refactoring.
* - Documented the analysis phase.Eduardo Julian2017-05-309-500/+644
| | | | - Some refactoring. - Removed singleton variants.
* - Some refactoring.Eduardo Julian2017-05-304-58/+52
|
* - Fixes for pattern-matching (case) analysis.Eduardo Julian2017-05-2912-395/+499
| | | | | | - Small refactorings. - Improved common procedures analysis. - Can now handle tagged structures (variants & records). - Tests for pattern-matching, functions (definition & application), and common procedures.
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-8/+8
|
* - Simplified the analytic model of tuples into products, and variants into sums.Eduardo Julian2017-05-204-73/+96
|
* WIPEduardo Julian2017-05-205-166/+276
| | | | - Added analysis and type-inference for records and tagged variants. - Extracted inference code to a separate module for better reuse.
* - Some refactoring.Eduardo Julian2017-05-207-27/+36
|
* - WIP: Added pattern-matching (case) analysis.Eduardo Julian2017-05-1910-92/+626
|
* - Renamed "Error" to "Result".Eduardo Julian2017-05-1718-184/+201
|
* WIPEduardo Julian2017-05-1514-510/+923
| | | | | | - Simplified the Analysis type, by removing all meta-data. - Added analysis of function calls. - Added analysis of common Lux procedures. - Lots of refactoring.
* - WIP: Function analysis.Eduardo Julian2017-05-142-1/+181
|