aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* - 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
* - Re-implemented "every?" and "any?" for better performance.Eduardo Julian2017-05-301-2/+14
* - Some refactoring.Eduardo Julian2017-05-304-58/+52
* - Fixes for pattern-matching (case) analysis.Eduardo Julian2017-05-2920-467/+1642
* - Small refactorings.Eduardo Julian2017-05-292-6/+6
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-2413-128/+128
* - Implemented Real<->Bits conversion (and used it to implement Hash<Real>).Eduardo Julian2017-05-238-89/+148
* - 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
* - Some refactoring in lux/control/exception.Eduardo Julian2017-05-191-10/+10
* - (Slightly) changed the way Ident hashes get calculated.Eduardo Julian2017-05-191-1/+1
* - Renamed "Error" to "Result".Eduardo Julian2017-05-1752-904/+913
* WIPEduardo Julian2017-05-1520-684/+1128
* - Defined the dummy-cursor (to be used anywhere needed).Eduardo Julian2017-05-151-4/+5
* - Renamed %ast to %code.Eduardo Julian2017-05-152-3/+3
* - WIP: Function analysis.Eduardo Julian2017-05-142-1/+181
* - Fixed bugs with octal and hexadecimal encodings for reals.Eduardo Julian2017-05-112-25/+33
* - Fixed some tests for lux/math/logic/fuzzy.Eduardo Julian2017-05-093-23/+28
* - Made a small refactoring to walk around a current optimization error that c...Eduardo Julian2017-05-091-9/+8
* - Small fixes and refactorings.Eduardo Julian2017-05-094-26/+28
* - Added tests for some kinds of analysis.Eduardo Julian2017-05-0919-160/+598
* - Added custom equalities for a variety of collections.Eduardo Julian2017-05-072-18/+55
* - Added underscore separators ( _ ) for digits in the parser for the new comp...Eduardo Julian2017-05-071-10/+31
* - Added "while" and "do-while" loops for stateful computations.Eduardo Julian2017-05-072-28/+103
* - Renamed "AST" to "Code".Eduardo Julian2017-05-0752-800/+804
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-0718-303/+328
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-0732-1267/+1267
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-077-706/+96
* - Fixed a bug when compiling array-get, by just having it assume Object[] for...Eduardo Julian2017-05-051-2/+1
* - Implemented Deg encoding.Eduardo Julian2017-05-051-9/+170
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-046-36/+21
* - zip and zip-with are now parameterized with Nats.Eduardo Julian2017-05-041-25/+27
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-0325-690/+690
* - Removed the "module-states" data (which shouldn't be there to begin with).Eduardo Julian2017-05-031-2/+0
* - Small refactorings.Eduardo Julian2017-05-032-22/+14
* - Moved lux/data/error/exception to lux/control/exception.Eduardo Julian2017-05-032-2/+2
* - Gave less cryptic names to bit-wise functions.Eduardo Julian2017-05-035-95/+111
* - Changes the types of a few compiler-state components.Eduardo Julian2017-05-031-9/+6
* - 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
* - Changed the way Scope works, to make it independent from the notion of Anal...Eduardo Julian2017-05-015-34/+56
* - Renamed fields of scopes.Eduardo Julian2017-04-306-30/+30
* - Separated the analysis of definitions from the analysis of variables.Eduardo Julian2017-04-307-23/+12