Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Improved handling of type variables. | Eduardo Julian | 2017-11-13 | 3 | -19/+64 |
| | |||||
* | - Type-vars no longer get deleted. | Eduardo Julian | 2017-11-13 | 11 | -102/+110 |
| | | | - Fixed some bugs. | ||||
* | - Fixed some bugs. | Eduardo Julian | 2017-11-12 | 7 | -133/+151 |
| | | | | - Improved error reporting. - Optimized pattern-matching a bit. | ||||
* | - Fixed the tests. | Eduardo Julian | 2017-11-09 | 14 | -129/+237 |
| | | | | - Fixed a few bugs. - Can now translate recursion. | ||||
* | - Fixed some bugs. | Eduardo Julian | 2017-11-06 | 9 | -37/+62 |
| | |||||
* | - Fixed some bugs. | Eduardo Julian | 2017-11-06 | 9 | -100/+144 |
| | |||||
* | - Minor refactorings. | Eduardo Julian | 2017-11-01 | 27 | -320/+346 |
| | | | | - Fixed some bugs. - Enabled macro-expansion for statements. | ||||
* | - Re-organized code-generation, and re-named it "translation". | Eduardo Julian | 2017-11-01 | 29 | -350/+347 |
| | |||||
* | - Re-organized synthesis. | Eduardo Julian | 2017-11-01 | 29 | -74/+60 |
| | |||||
* | - Re-named "parser" to "syntax". | Eduardo Julian | 2017-10-31 | 4 | -5/+5 |
| | |||||
* | - Fixed a bug when synthetizing pattern-matching. | Eduardo Julian | 2017-10-31 | 1 | -1/+1 |
| | |||||
* | - Re-organized analysis. | Eduardo Julian | 2017-10-31 | 43 | -123/+107 |
| | |||||
* | - Migrated the format of analysis nodes from a custom data-type, to just ↵ | Eduardo Julian | 2017-10-31 | 35 | -565/+523 |
| | | | | Code nodes. | ||||
* | - Moved the "host" directory from under "generator" to under "luxc". | Eduardo Julian | 2017-10-31 | 18 | -59/+59 |
| | |||||
* | - Re-named "expr" module to "expression". | Eduardo Julian | 2017-10-31 | 11 | -104/+102 |
| | |||||
* | - Now, all special forms are handled as procedures. | Eduardo Julian | 2017-10-31 | 6 | -95/+120 |
| | | | - "lux case" now takes its branches as a non-empty record. | ||||
* | - Added a test to check that can parse more than 1 Code node at once. | Eduardo Julian | 2017-10-31 | 1 | -9/+25 |
| | |||||
* | - Added "^code" pattern-matching macro for easier handling of code. | Eduardo Julian | 2017-10-30 | 1 | -10/+10 |
| | |||||
* | - Migrated the format of synthesis nodes from a custom data-type, to just ↵ | Eduardo Julian | 2017-10-30 | 22 | -820/+841 |
| | | | | Code nodes. | ||||
* | - Fixed some bugs. | Eduardo Julian | 2017-10-29 | 29 | -462/+676 |
| | | | | | - Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation. | ||||
* | - Testing definition generation and reference. | Eduardo Julian | 2017-10-26 | 2 | -0/+57 |
| | |||||
* | - Added a new piece of compiler state, just for storing the current-module. | Eduardo Julian | 2017-10-26 | 4 | -33/+21 |
| | |||||
* | - Fixed remaining tests in compiler. | Eduardo Julian | 2017-10-26 | 4 | -180/+182 |
| | | | - Now showing stack-traces for errors on JVM. | ||||
* | - Fixed some compiler tests. | Eduardo Julian | 2017-10-26 | 6 | -60/+159 |
| | |||||
* | - Fixed tests for analysis of common procedures. | Eduardo Julian | 2017-10-26 | 2 | -9/+11 |
| | |||||
* | - Fixed parser tests. | Eduardo Julian | 2017-10-26 | 1 | -8/+5 |
| | |||||
* | - "Fixed" the tests to match the latest changes. | Eduardo Julian | 2017-10-26 | 3 | -72/+72 |
| | |||||
* | - WIP: Wiring everything to get the compiler to work fully. | Eduardo Julian | 2017-10-26 | 16 | -304/+501 |
| | | | - Fixed a bug when combining field/method/class modifiers. | ||||
* | - Fixed some type-checking errors. | Eduardo Julian | 2017-10-22 | 1 | -12/+12 |
| | |||||
* | - Updated new compiler to latest version of stdlib. | Eduardo Julian | 2017-10-21 | 24 | -2169/+2287 |
| | |||||
* | - Compilation for method invocation. | Eduardo Julian | 2017-10-19 | 4 | -27/+263 |
| | |||||
* | - Method invocation analysis. | Eduardo Julian | 2017-10-18 | 2 | -57/+166 |
| | |||||
* | - Updated to the latest changes in stdlib. | Eduardo Julian | 2017-10-18 | 56 | -962/+954 |
| | |||||
* | - WIP: Method analysis. | Eduardo Julian | 2017-10-15 | 1 | -5/+317 |
| | |||||
* | - Compilation and tests for fields. | Eduardo Julian | 2017-10-14 | 3 | -16/+215 |
| | |||||
* | - Compilation for object-based procedures. | Eduardo Julian | 2017-10-14 | 3 | -7/+182 |
| | |||||
* | - Compilation and tests for arrays. | Eduardo Julian | 2017-10-12 | 7 | -22/+240 |
| | |||||
* | - Compilation and tests for arithmetic, bit-wise operations and order. | Eduardo Julian | 2017-10-12 | 5 | -26/+322 |
| | |||||
* | - Compilation and tests for primitive conversions. | Eduardo Julian | 2017-10-12 | 6 | -26/+252 |
| | |||||
* | - Migrated new-luxc to latest version of stdlib. | Eduardo Julian | 2017-10-11 | 39 | -573/+576 |
| | | | - Some refactoring. | ||||
* | - Improved polymorphism and inheritance support. | Eduardo Julian | 2017-10-09 | 2 | -97/+200 |
| | | | - Added casting support for automatic boxing/unboxing. | ||||
* | - WIP: Added support for inheritance. | Eduardo Julian | 2017-10-08 | 2 | -106/+164 |
| | |||||
* | - WIP: JVM field analysis. | Eduardo Julian | 2017-10-08 | 4 | -71/+458 |
| | |||||
* | - Added tests for host procedures. | Eduardo Julian | 2017-10-07 | 3 | -105/+473 |
| | |||||
* | - Simplified "eval". | Eduardo Julian | 2017-10-05 | 7 | -94/+138 |
| | |||||
* | - Added tests for type-checking and type-coercion. | Eduardo Julian | 2017-10-05 | 7 | -25/+162 |
| | | | | - Implemented "eval". - Fixed bugs when analysing variants and tuples. | ||||
* | - WIP: JVM host procedure analysis. | Eduardo Julian | 2017-10-04 | 5 | -277/+732 |
| | |||||
* | - Function generation. | Eduardo Julian | 2017-09-19 | 21 | -86/+667 |
| | |||||
* | - Added pattern-matching compilation. | Eduardo Julian | 2017-09-17 | 7 | -42/+525 |
| | |||||
* | - Removed the (non) tests for case synthesis. | Eduardo Julian | 2017-09-08 | 2 | -216/+1 |
| |