aboutsummaryrefslogtreecommitdiff
path: root/new-luxc (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Function generation.Eduardo Julian2017-09-1921-86/+667
* - Added pattern-matching compilation.Eduardo Julian2017-09-177-42/+525
* - Removed the (non) tests for case synthesis.Eduardo Julian2017-09-082-216/+1
* - Re-named luxc/env to luxc/scope.Eduardo Julian2017-09-0811-34/+32
* - Re-named "jvm-import" to "import".Eduardo Julian2017-09-0813-62/+62
* - Replaced the term "total" with "exhaustive".Eduardo Julian2017-09-073-51/+51
* - Added more tests for pattern-matching analysis.Eduardo Julian2017-09-071-19/+68
* - Added optional "char" syntax for nats.Eduardo Julian2017-09-052-5/+55
* - Added alternative syntax for Frac numbers, based on traditional ratio/fract...Eduardo Julian2017-09-052-41/+104
* - Updated new compiler's code to the recent changes in the language.Eduardo Julian2017-09-0543-448/+790
* - Now using strict floating point math on the JVM.Eduardo Julian2017-09-041-9/+11
* - Tested the compilation for "nat" procedures.Eduardo Julian2017-07-038-201/+436
* - Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition".Eduardo Julian2017-07-028-19/+19
* - Real syntax now supports exponential.Eduardo Julian2017-07-022-3/+6
* - Adjusted compiler to the new lack of Char type.Eduardo Julian2017-07-0229-151/+564
* - WIP: Added generation for common procedures.Eduardo Julian2017-06-3013-47/+1120
* - Adapted compiler to the latest stdlib changes.Eduardo Julian2017-06-2721-913/+909
* - Heavy refactoring.Eduardo Julian2017-06-1413-308/+662
* - Renamed the "compilation" phase as the "generation" phase.Eduardo Julian2017-06-1225-273/+861
* - Added loop synthesis.Eduardo Julian2017-06-098-144/+404
* - Now optimizing functions.Eduardo Julian2017-06-065-105/+293
* - Implemented some synthesis algorithms and tests for primitives, structures,...Eduardo Julian2017-05-3118-151/+569
* - Documented the analysis phase.Eduardo Julian2017-05-3010-509/+644
* - Some refactoring.Eduardo Julian2017-05-304-58/+52
* - Fixes for pattern-matching (case) analysis.Eduardo Julian2017-05-2920-467/+1642
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-8/+8
* - Simplified the analytic model of tuples into products, and variants into sums.Eduardo Julian2017-05-206-86/+110
* WIPEduardo Julian2017-05-205-166/+276
* - Some refactoring.Eduardo Julian2017-05-208-28/+45
* - WIP: Added pattern-matching (case) analysis.Eduardo Julian2017-05-1910-92/+626
* - Renamed "Error" to "Result".Eduardo Julian2017-05-1722-271/+288
* WIPEduardo Julian2017-05-1520-684/+1128
* - WIP: Function analysis.Eduardo Julian2017-05-142-1/+181
* - Added tests for some kinds of analysis.Eduardo Julian2017-05-0919-160/+598
* - Added underscore separators ( _ ) for digits in the parser for the new comp...Eduardo Julian2017-05-071-10/+31
* - Renamed "AST" to "Code".Eduardo Julian2017-05-077-48/+48
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-073-58/+61
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-073-28/+28
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-043-16/+9
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-034-50/+50
* - WIP: Implemented more functionality.Eduardo Julian2017-05-0314-421/+706
* - Made some changes in the way the parser works.Eduardo Julian2017-05-032-89/+86
* - WIP: Some initial implementations for some re-written infrastructure.Eduardo Julian2017-05-0117-70/+1109
* - Some refactorings.Eduardo Julian2017-04-152-111/+317
* - Fixed a bug with multi-line comments.Eduardo Julian2017-04-152-59/+81
* - Fixed some bugs.Eduardo Julian2017-04-152-38/+106
* - Fixed some bugs.Eduardo Julian2017-04-141-33/+60
* - The lexer now takes cursors into account.Eduardo Julian2017-04-142-119/+230
* - Added tests for parser.Eduardo Julian2017-04-143-1/+94
* - Initial parser implementation (still missing correct cursors and multi-line...Eduardo Julian2017-04-142-2/+207