aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/extension (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-203-13/+13
| | | - Removed some modules that should have been deleted before.
* - Re-named "lux process concurrency-level" to "lux process parallelism-level".Eduardo Julian2018-05-081-2/+1
| | | - Merged the functionality of "lux process future" into "lux process schedule".
* - Implemented bit-count in pure Lux.Eduardo Julian2018-05-071-1/+0
|
* - Implemented Nat functionality in pure Lux.Eduardo Julian2018-05-061-18/+2
|
* - Re-named shift-left -> left-shift, shift-right -> logical-right-shift, ↵Eduardo Julian2018-05-061-3/+3
| | | | signed-shift-right -> arithmetic-right-shift.
* - Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian2018-05-061-2/+0
|
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-066-16/+16
|
* - Adapted new-luxc's code to latest stdlib changes.Eduardo Julian2018-04-064-86/+102
|
* - Removed the "root2" and "root3" host procedures (their functionality is ↵Eduardo Julian2018-02-241-2/+0
| | | | redundant, in the presence of the "pow" procedure).
* - Fixed some failing new-luxc tests.Eduardo Julian2018-02-061-163/+132
| | | | - Re-designed the way casting is done for JVM interop. - Now always adding extensions when initializing compiler.
* - WIP: Host procedures for JS.Eduardo Julian2018-01-211-2/+2
|
* - Moved all translation code under the JVM path (in preparation for porting ↵Eduardo Julian2018-01-081-3/+3
| | | | the JS back-end).
* - Now using synthesis extensions during synthesis.Eduardo Julian2018-01-081-8/+11
|
* - Added "lux program" compilation.Eduardo Julian2018-01-051-4/+6
|
* - Added "Box" support to new-luxc.Eduardo Julian2018-01-031-0/+46
|
* - All analysis procedures have been turned into extensions.Eduardo Julian2017-12-056-10/+1682
|
* - Added analysis, synthesis, translation and statement extensions.Eduardo Julian2017-12-054-0/+173
- No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.