aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Can now define nested abstract types.Eduardo Julian2019-01-063-142/+169
* Some minor refactoring.Eduardo Julian2019-01-023-4/+13
* Added macros for remembering things to the programmer based on deadlines.Eduardo Julian2019-01-022-34/+108
* Re-named "lux/world/database" to "lux/world/db".Eduardo Julian2018-12-314-3/+3
* Added HTTP abstractions.Eduardo Julian2018-12-306-0/+324
* Added library for handling identities for values in foreign data-stores.Eduardo Julian2018-12-301-0/+53
* WIP: Added JDBC library.Eduardo Julian2018-12-303-0/+468
* WIP: Added SQL library.Eduardo Julian2018-12-301-0/+475
* Expanded the number of constants that can be created (; but still missing some).Eduardo Julian2018-12-292-18/+99
* Added equivalences.Eduardo Julian2018-12-288-8/+102
* Fixed bug when parsing blobs.Eduardo Julian2018-12-281-1/+1
* Re-organized the class machinery.Eduardo Julian2018-12-283-114/+105
* Added machinery for methods.Eduardo Julian2018-12-283-50/+73
* The (class)loader machinery is now JVM-only.Eduardo Julian2018-12-281-0/+0
* Added machinery for fields.Eduardo Julian2018-12-287-65/+178
* Added machinery for descriptors.Eduardo Julian2018-12-282-1/+94
* - Some improvements to Index.Eduardo Julian2018-12-275-96/+149
* Improved machinery for working with constant pools.Eduardo Julian2018-12-271-0/+68
* Small refactoring for JVM names.Eduardo Julian2018-12-262-8/+10
* ClassLoader machinery.Eduardo Julian2018-12-261-0/+124
* Expanded the set of available modifiers.Eduardo Julian2018-12-267-61/+190
* Added support for interfaces in classes.Eduardo Julian2018-12-262-21/+47
* Utility functions for getting files and directories.Eduardo Julian2018-12-261-0/+18
* WIP: JVM bytecode generation in pure Lux.Eduardo Julian2018-12-2610-27/+406
* Expansion for binary format.Eduardo Julian2018-12-261-124/+220
* Some refactoring & minor additions.Eduardo Julian2018-12-2610-90/+118
* Added contravariant functors.Eduardo Julian2018-12-256-16/+57
* Some refactoring.Eduardo Julian2018-12-243-47/+52
* Improved how the "Source" type works.Eduardo Julian2018-12-162-75/+49
* Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.Eduardo Julian2018-12-153-103/+244
* Separated reading promises and writing to promises.Eduardo Julian2018-12-154-131/+165
* Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.Eduardo Julian2018-12-151-16/+25
* No longer relying on "signature:"'s and "structure:"'s internal macro-expansi...Eduardo Julian2018-12-1512-154/+150
* Re-named the "Error" tag to "Failure".Eduardo Julian2018-12-1546-518/+538
* Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian2018-12-1514-55/+55
* Small improvements.Eduardo Julian2018-12-158-101/+122
* Removed sessions for the moment.Eduardo Julian2018-12-151-228/+0
* Slight improvement.Eduardo Julian2018-12-101-10/+10
* Fixed a bug in recursive sessions.Eduardo Julian2018-12-101-3/+5
* Working session recursion.Eduardo Julian2018-12-091-64/+82
* WIP: Session recursion.Eduardo Julian2018-12-091-1/+21
* - Some refactoring.Eduardo Julian2018-12-091-95/+72
* Basic implementation for sessions.Eduardo Julian2018-12-092-3/+218
* Added some missing/necessary documentation.Eduardo Julian2018-12-093-0/+14
* Adapted other world signatures to the capability model.Eduardo Julian2018-12-064-21/+43
* - Added basic support for capability-based security.Eduardo Julian2018-12-063-130/+247
* Now tainting values coming from the outside world.Eduardo Julian2018-12-057-215/+255
* Made some improvements to value taining, and added some tests.Eduardo Julian2018-12-052-28/+45
* Some small improvements.Eduardo Julian2018-12-052-23/+51
* Added privacy typing for information-flow control.Eduardo Julian2018-12-051-0/+69
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:55:08 +0000