aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/test (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-10-30- Migrated the format of synthesis nodes from a custom data-type, to just ↵Eduardo Julian14-446/+433
Code nodes.
2017-10-29- Fixed some bugs.Eduardo Julian6-13/+40
- Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation.
2017-10-26- Testing definition generation and reference.Eduardo Julian2-0/+57
2017-10-26- Added a new piece of compiler state, just for storing the current-module.Eduardo Julian1-31/+4
2017-10-26- Fixed remaining tests in compiler.Eduardo Julian3-139/+130
- Now showing stack-traces for errors on JVM.
2017-10-26- Fixed some compiler tests.Eduardo Julian3-39/+106
2017-10-26- Fixed tests for analysis of common procedures.Eduardo Julian1-8/+9
2017-10-26- Fixed parser tests.Eduardo Julian1-8/+5
2017-10-26- "Fixed" the tests to match the latest changes.Eduardo Julian3-72/+72
2017-10-21- Updated new compiler to latest version of stdlib.Eduardo Julian21-2143/+2261
2017-10-19- Compilation for method invocation.Eduardo Julian1-1/+72
2017-10-18- Method invocation analysis.Eduardo Julian1-0/+47
2017-10-18- Updated to the latest changes in stdlib.Eduardo Julian18-359/+359
2017-10-14- Compilation and tests for fields.Eduardo Julian1-0/+33
2017-10-14- Compilation for object-based procedures.Eduardo Julian1-2/+98
2017-10-12- Compilation and tests for arrays.Eduardo Julian1-0/+108
2017-10-12- Compilation and tests for arithmetic, bit-wise operations and order.Eduardo Julian2-3/+135
2017-10-12- Compilation and tests for primitive conversions.Eduardo Julian2-1/+102
2017-10-11- Migrated new-luxc to latest version of stdlib.Eduardo Julian11-109/+114
- Some refactoring.
2017-10-09- Improved polymorphism and inheritance support.Eduardo Julian1-4/+26
- Added casting support for automatic boxing/unboxing.
2017-10-08- WIP: Added support for inheritance.Eduardo Julian1-2/+37
2017-10-08- WIP: JVM field analysis.Eduardo Julian1-0/+69
2017-10-07- Added tests for host procedures.Eduardo Julian2-1/+355
2017-10-05- Simplified "eval".Eduardo Julian5-89/+133
2017-10-05- Added tests for type-checking and type-coercion.Eduardo Julian4-7/+98
- Implemented "eval". - Fixed bugs when analysing variants and tuples.
2017-10-04- WIP: JVM host procedure analysis.Eduardo Julian1-101/+101
2017-09-19- Function generation.Eduardo Julian5-6/+102
2017-09-17- Added pattern-matching compilation.Eduardo Julian3-11/+114
2017-09-08- Removed the (non) tests for case synthesis.Eduardo Julian2-216/+1
2017-09-08- Re-named luxc/env to luxc/scope.Eduardo Julian3-17/+16
2017-09-08- Re-named "jvm-import" to "import".Eduardo Julian2-5/+5
2017-09-07- Replaced the term "total" with "exhaustive".Eduardo Julian1-23/+23
2017-09-07- Added more tests for pattern-matching analysis.Eduardo Julian1-19/+68
2017-09-05- Added optional "char" syntax for nats.Eduardo Julian1-0/+12
2017-09-05- Added alternative syntax for Frac numbers, based on traditional ↵Eduardo Julian1-0/+22
ratio/fraction syntax.
2017-09-05- Updated new compiler's code to the recent changes in the language.Eduardo Julian19-87/+298
- WIP: Some other changes/additions to the new compiler.
2017-07-03- Tested the compilation for "nat" procedures.Eduardo Julian2-1/+133
- Expanded the runtime. - Some bug-fixes and refactorings.
2017-07-02- Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition".Eduardo Julian4-10/+10
2017-07-02- Real syntax now supports exponential.Eduardo Julian1-2/+0
2017-07-02- Adjusted compiler to the new lack of Char type.Eduardo Julian10-42/+301
- WIP: PM/case synthesis.
2017-06-30- WIP: Added generation for common procedures.Eduardo Julian2-2/+3
2017-06-27- Adapted compiler to the latest stdlib changes.Eduardo Julian15-766/+769
2017-06-14- Heavy refactoring.Eduardo Julian1-1/+1
2017-06-12- Renamed the "compilation" phase as the "generation" phase.Eduardo Julian11-68/+250
- Implemented compilation of primitives. - Implemented compilation of structures.
2017-06-09- Added loop synthesis.Eduardo Julian3-3/+167
- Some refactoring.
2017-06-06- Now optimizing functions.Eduardo Julian1-2/+125
2017-05-31- Implemented some synthesis algorithms and tests for primitives, ↵Eduardo Julian13-50/+241
structures, procedures and function application. - Some refactoring.
2017-05-30- Documented the analysis phase.Eduardo Julian1-9/+0
- Some refactoring. - Removed singleton variants.
2017-05-29- Fixes for pattern-matching (case) analysis.Eduardo Julian8-72/+1143
- Small refactorings. - Improved common procedures analysis. - Can now handle tagged structures (variants & records). - Tests for pattern-matching, functions (definition & application), and common procedures.
2017-05-20- Simplified the analytic model of tuples into products, and variants into sums.Eduardo Julian2-13/+14