aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* - Added loop synthesis.Eduardo Julian2017-06-098-144/+404
| | | - Some refactoring.
* - Now optimizing functions.Eduardo Julian2017-06-065-105/+293
|
* - Implemented some synthesis algorithms and tests for primitives, ↵Eduardo Julian2017-05-3118-151/+569
| | | | | structures, procedures and function application. - Some refactoring.
* - Documented the analysis phase.Eduardo Julian2017-05-3010-509/+644
| | | | - Some refactoring. - Removed singleton variants.
* - 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. - Improved common procedures analysis. - Can now handle tagged structures (variants & records). - Tests for pattern-matching, functions (definition & application), and common procedures.
* - 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
| | | | - 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-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
| | | | | | - Simplified the Analysis type, by removing all meta-data. - Added analysis of function calls. - Added analysis of common Lux procedures. - Lots of refactoring.
* - 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
| | | | - Removed a forgotten #seed in a test for lux/math/simple. - Added Hash<Deg>.
* - Made a small refactoring to walk around a current optimization error that ↵Eduardo Julian2017-05-091-9/+8
| | | | | confounds variables and makes you access the wrong value at run-time. - TODO: Fix said error.
* - Small fixes and refactorings.Eduardo Julian2017-05-094-26/+28
|
* - Added tests for some kinds of analysis.Eduardo Julian2017-05-0919-160/+598
| | | - WIP: Porting more code.
* - 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 ↵Eduardo Julian2017-05-071-10/+31
| | | | compiler.
* - Added "while" and "do-while" loops for stateful computations.Eduardo Julian2017-05-072-28/+103
| | | - Improved tests for lux/control/state.
* - 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
| | | - No longer relying in LuxRT-supported implementations.
* - Fixed a bug when compiling array-get, by just having it assume Object[] ↵Eduardo Julian2017-05-051-2/+1
| | | | for all arrays.
* - 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
| | | - Added the width of bit-patterns.
* - 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
| | | - Improved the tests for lux/data/bit.
* - 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
| | | - Lots of refactorings.
* - 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 ↵Eduardo Julian2017-05-015-34/+56
| | | | | Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined.
* - 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
|
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-307-200/+276
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 03:35:56 +0000