aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-061-3/+3
* - Adapted new-luxc's code to latest stdlib changes.Eduardo Julian2018-04-061-7/+12
* - Fixed some failing new-luxc tests.Eduardo Julian2018-02-061-40/+24
* - Got JS backend to build with the rest of the new-luxc code.Eduardo Julian2018-01-281-50/+95
* - Re-factored initialization functions to their own module.Eduardo Julian2018-01-081-33/+3
* - Moved all translation code under the JVM path (in preparation for porting t...Eduardo Julian2018-01-081-8/+7
* - Now using synthesis extensions during synthesis.Eduardo Julian2018-01-081-3/+5
* - Added CLI machinery to compiler.Eduardo Julian2017-12-131-7/+8
* - WIP: Caching.Eduardo Julian2017-12-051-21/+29
* - Added analysis, synthesis, translation and statement extensions.Eduardo Julian2017-12-051-91/+73
* - Improved statement-level macro-expansion.Eduardo Julian2017-12-031-31/+34
* - Adjusted new-luxc to new macro-templating syntax.Eduardo Julian2017-12-021-1/+1
* - Adapted main codebase to the latest syntatic changes.Eduardo Julian2017-11-291-134/+134
* - Added REPL.Eduardo Julian2017-11-231-3/+3
* - Fixed some bugs.Eduardo Julian2017-11-221-1/+2
* - Fixed some bugs.Eduardo Julian2017-11-211-35/+57
* - Added parallel compilation.Eduardo Julian2017-11-201-59/+101
* - Moved "luxc/lang/host/macro" to "luxc/lang/macro".Eduardo Julian2017-11-151-3/+3
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-151-25/+25
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-151-2/+2
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-151-6/+6
* - Moved type-cleaning to lux/meta/type/check.Eduardo Julian2017-11-151-38/+1
* - Heavy refactoring.Eduardo Julian2017-11-151-23/+19
* - Modified the syntax for module definitions.Eduardo Julian2017-11-141-12/+30
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-141-4/+4
* - Yet more refactoring.Eduardo Julian2017-11-141-0/+40
* - Refactoring.Eduardo Julian2017-11-131-1/+2
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-17/+18
* - Fixed some bugs.Eduardo Julian2017-11-061-18/+19
* - Minor refactorings.Eduardo Julian2017-11-011-22/+38
* - Re-organized code-generation, and re-named it "translation".Eduardo Julian2017-11-011-0/+179