aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/extension.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Migrated special-form analysis to stdlib.Eduardo Julian2018-05-231-114/+0
|
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-5/+5
| | | - Removed some modules that should have been deleted before.
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-061-5/+5
|
* - Adapted new-luxc's code to latest stdlib changes.Eduardo Julian2018-04-061-11/+16
|
* - Got the tests to build again.Eduardo Julian2018-01-281-3/+7
|
* - Now using synthesis extensions during synthesis.Eduardo Julian2018-01-081-3/+16
|
* - All analysis procedures have been turned into extensions.Eduardo Julian2017-12-051-12/+20
|
* - Added analysis, synthesis, translation and statement extensions.Eduardo Julian2017-12-051-0/+84
- No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.