aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/eval.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-01-08- Moved all translation code under the JVM path (in preparation for porting t...Eduardo Julian1-2/+2
2018-01-08- Now using synthesis extensions during synthesis.Eduardo Julian1-2/+4
2017-11-29- Adapted main codebase to the latest syntatic changes.Eduardo Julian1-12/+12
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-2/+2
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian1-1/+1
2017-11-15- Heavy refactoring.Eduardo Julian1-5/+5
2017-11-01- Minor refactorings.Eduardo Julian1-1/+1
2017-11-01- Re-organized code-generation, and re-named it "translation".Eduardo Julian1-6/+6
2017-11-01- Re-organized synthesis.Eduardo Julian1-4/+4
2017-10-31- Re-organized analysis.Eduardo Julian1-3/+3
2017-10-31- Re-named "expr" module to "expression".Eduardo Julian1-2/+2
2017-10-18- Updated to the latest changes in stdlib.Eduardo Julian1-2/+2
2017-10-05- Simplified "eval".Eduardo Julian1-2/+3
2017-10-05- Added tests for type-checking and type-coercion.Eduardo Julian1-0/+17