aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/math.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Type-checking macros via the Macro' type from the standard library.Eduardo Julian2020-10-121-0/+1
|
* Also using BIPUSH and SIPUSH during JVM generation.Eduardo Julian2020-10-091-0/+1
|
* Added deployment code to Aedifex.Eduardo Julian2020-10-031-0/+4
|
* Basic pattern-matching optimizations.Eduardo Julian2020-06-091-0/+5
|
* Implemented an optimization for getting fields/slots from records in the new ↵Eduardo Julian2020-06-011-0/+5
| | | | compiler.
* Split new-luxc into lux-jvm and lux-r.Eduardo Julian2020-05-301-0/+1
|
* Can now parse TAR files.Eduardo Julian2020-05-281-0/+2
|
* Beginning to cache artifacts.Eduardo Julian2020-03-051-0/+1
|
* Test for codec composition + adjustments to JS-generation code.Eduardo Julian2020-03-041-0/+2
|
* Bug fixes.Eduardo Julian2019-12-261-0/+2
|
* Ported program generation, host environment and packaging machinery to stdlib.Eduardo Julian2019-12-241-0/+1
|
* Ported JVM host extension generation to the new JVM bytecode machinery.Eduardo Julian2019-11-211-0/+17
|
* WIP: Major refactoring of JVM bytecode machinery.Eduardo Julian2019-11-071-0/+6
|
* Fixed some bugs related to JVM types.Eduardo Julian2019-09-171-0/+1
|
* Got rid of a useless parameter to the INVOKE instructions.Eduardo Julian2019-09-071-0/+2
|
* Modified compiler's machinery to use the new abstractions for descriptors ↵Eduardo Julian2019-09-071-0/+4
| | | | and signatures.
* Implemented TABLESWITCH and LOOKUPSWITCH instructions.Eduardo Julian2019-08-121-0/+1
|
* Ported JVM reference generation to the new JVM bytecode machinery.Eduardo Julian2019-07-311-0/+5
|
* Small improvements here and there.Eduardo Julian2019-07-241-0/+8
|
* Re-name "lux/data/error" to "lux/control/try".Eduardo Julian2019-07-021-0/+6
|
* WIP: Label resolution support for JVM instructions.Eduardo Julian2019-06-251-0/+1
|
* Implemented several different bytecode instructions.Eduardo Julian2019-06-221-0/+2
|
* Implemented "hole" typing.Eduardo Julian2019-06-181-0/+1
|
* Some fixes for the scripting languages.Eduardo Julian2019-06-141-0/+1
| | | + Small optimizations for pattern-matching generation.
* WIP: Class definition.Eduardo Julian2019-06-061-0/+1
|
* Removed the (magical) "alias" annotations tag.Eduardo Julian2019-06-011-0/+6
|
* Various fixes and tweaks.Eduardo Julian2019-05-291-0/+6
|
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-281-1/+4
| | | | | | + Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe.
* Moved my research notes from Trello to the repo.Eduardo Julian2019-05-181-0/+298
* On math. * On operating systems.