aboutsummaryrefslogtreecommitdiff
path: root/documentation/research (follow)
Commit message (Expand)AuthorAgeFilesLines
* Gave the Location type its own module.Eduardo Julian2020-10-142-0/+5
* Type-checking macros via the Macro' type from the standard library.Eduardo Julian2020-10-121-0/+1
* Tweaked how I64 masks are made.Eduardo Julian2020-10-122-0/+5
* Mandatory long names for JVM imports, instead of having "long" be optional an...Eduardo Julian2020-10-091-0/+1
* Also using BIPUSH and SIPUSH during JVM generation.Eduardo Julian2020-10-092-0/+3
* Added deployment code to Aedifex.Eduardo Julian2020-10-035-0/+15
* Optimizing-away unnecessary variable declarations/bindings.Eduardo Julian2020-06-121-0/+1
* Updated test for function optimization.Eduardo Julian2020-06-111-0/+4
* Basic pattern-matching optimizations.Eduardo Julian2020-06-094-0/+11
* Now applying the loop optimization to all functions.Eduardo Julian2020-06-031-0/+1
* Implemented an optimization for getting fields/slots from records in the new ...Eduardo Julian2020-06-012-0/+21
* Split new-luxc into lux-jvm and lux-r.Eduardo Julian2020-05-301-0/+1
* Can now parse TAR files.Eduardo Julian2020-05-287-0/+15
* Can now write TAR files.Eduardo Julian2020-05-194-0/+11
* Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian2020-05-171-0/+1
* Compiler versions are now natural numbers, and are included as part of the na...Eduardo Julian2020-05-121-0/+1
* Now storing and loading extensions in the cache.Eduardo Julian2020-05-111-0/+1
* Now properly loading the cached definitions.Eduardo Julian2020-05-1011-1/+34
* Including runtime machinery in the cache.Eduardo Julian2020-05-098-0/+21
* Fixed bugs while parsing modules' cached data.Eduardo Julian2020-05-051-0/+1
* Beginning to cache artifacts.Eduardo Julian2020-03-052-0/+4
* Test for enums + adjustments to Python-generation code.Eduardo Julian2020-03-042-0/+8
* Test for codec composition + adjustments to JS-generation code.Eduardo Julian2020-03-043-0/+5
* Bug fixes.Eduardo Julian2019-12-2611-0/+20
* Optimized LuxRuntime::case and fixed a few bugs.Eduardo Julian2019-12-2511-1/+42
* Ported program generation, host environment and packaging machinery to stdlib.Eduardo Julian2019-12-248-0/+17
* Ported JVM host extension generation to the new JVM bytecode machinery.Eduardo Julian2019-11-2118-0/+97
* Minor adjustments.Eduardo Julian2019-11-1813-0/+36
* WIP: Major refactoring of JVM bytecode machinery.Eduardo Julian2019-11-0713-19/+64
* Almost completely ported JVM runtime generation to the new JVM bytecode machi...Eduardo Julian2019-10-274-0/+40
* Updated lux-lein to work with latest JVM and LeiningenEduardo Julian2019-10-091-0/+4
* rename documentation filefachammer2019-09-181-0/+0
* Fixed some bugs related to JVM types.Eduardo Julian2019-09-177-3/+20
* More fixes.Eduardo Julian2019-09-141-0/+1
* Re-named "lux/control/contract" to "lux/control/function/contract".Eduardo Julian2019-09-071-125/+228
* Got rid of a useless parameter to the INVOKE instructions.Eduardo Julian2019-09-075-0/+7
* Modified compiler's machinery to use the new abstractions for descriptors and...Eduardo Julian2019-09-0710-0/+171
* Parser for JVM types.Eduardo Julian2019-08-222-0/+2
* A unified type module to tie together the different JVM kinds of type.Eduardo Julian2019-08-212-0/+2
* Implemented TABLESWITCH and LOOKUPSWITCH instructions.Eduardo Julian2019-08-123-0/+7
* WIP: JVM function generation.Eduardo Julian2019-08-101-0/+1
* Ported JVM reference generation to the new JVM bytecode machinery.Eduardo Julian2019-07-3110-3/+22
* No more "n/"-prefixed functions.Eduardo Julian2019-07-261-0/+5
* Small improvements here and there.Eduardo Julian2019-07-2414-0/+305
* WIP: Method compilation.Eduardo Julian2019-07-052-0/+5
* Re-name "lux/data/error" to "lux/control/try".Eduardo Julian2019-07-022-0/+7
* WIP: Label resolution support for JVM instructions.Eduardo Julian2019-06-251-0/+1
* Implemented several different bytecode instructions.Eduardo Julian2019-06-221-0/+2
* Removed the TCP & UDP code for the moment.Eduardo Julian2019-06-204-0/+10
* Implemented "hole" typing.Eduardo Julian2019-06-187-0/+16