aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* 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-289-35/+130
|
* Fixed bug when parsing blobs.Eduardo Julian2018-12-281-1/+1
|
* Re-organized the class machinery.Eduardo Julian2018-12-284-127/+118
|
* Added machinery for methods.Eduardo Julian2018-12-284-59/+87
|
* 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
| | | | | - Some improvements to Constant. - Some improvements to Pool. - WIP: Attribute
* Improved machinery for working with constant pools.Eduardo Julian2018-12-271-0/+68
|
* Small refactoring for JVM names.Eduardo Julian2018-12-262-8/+10
|
* Tests for bytecode generation.Eduardo Julian2018-12-261-0/+79
|
* ClassLoader machinery.Eduardo Julian2018-12-262-109/+155
|
* 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-154-192/+264
|
* Separated reading promises and writing to promises.Eduardo Julian2018-12-155-135/+165
|
* Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.Eduardo Julian2018-12-152-20/+29
|
* No longer relying on "signature:"'s and "structure:"'s internal ↵Eduardo Julian2018-12-1512-154/+150
| | | | macro-expansion to handle the "do-template"s inside.
* Re-named the "Error" tag to "Failure".Eduardo Julian2018-12-1565-640/+681
|
* Changed the licenses in the project.clj files.Eduardo Julian2018-12-155-14/+14
|
* Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian2018-12-1521-223/+223
|
* Small improvements.Eduardo Julian2018-12-158-101/+122
|
* Removed sessions for the moment.Eduardo Julian2018-12-152-367/+0
| | | They will be revisited in future work.
* Slight improvement.Eduardo Julian2018-12-101-10/+10
|
* Slight improvement to tests.Eduardo Julian2018-12-101-15/+15
|
* Fixed a bug in recursive sessions.Eduardo Julian2018-12-101-3/+5
|
* Improved test for recursion in complex sessions.Eduardo Julian2018-12-091-27/+38
|
* Working session recursion.Eduardo Julian2018-12-092-108/+176
|
* WIP: Session recursion.Eduardo Julian2018-12-091-1/+21
|
* - Some refactoring.Eduardo Julian2018-12-092-96/+73
| | | - Eliminated "choice:" macro.
* Basic implementation for sessions.Eduardo Julian2018-12-094-4/+297
|
* Added some missing/necessary documentation.Eduardo Julian2018-12-093-0/+14
|
* Adapted other world signatures to the capability model.Eduardo Julian2018-12-065-23/+45
|
* - Added basic support for capability-based security.Eduardo Julian2018-12-064-242/+363
| | | - Re-designed the file-system signatures to be capability-based.
* Now tainting values coming from the outside world.Eduardo Julian2018-12-0511-368/+435
|
* Made some improvements to value taining, and added some tests.Eduardo Julian2018-12-053-28/+94
|
* Some small improvements.Eduardo Julian2018-12-053-48/+81
|
* Added license.json.Eduardo Julian2018-12-051-0/+49
|
* Added privacy typing for information-flow control.Eduardo Julian2018-12-052-0/+149
|