aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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 macro-expansi...Eduardo Julian2018-12-1512-154/+150
* 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
* 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
* 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
* 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
* Some refactoring and small fixes.Eduardo Julian2018-12-048-17/+26
* Restored the "encode" function for duration, to correct for overkill when rem...Eduardo Julian2018-12-044-8/+39
* Some refactoring.Eduardo Julian2018-12-047-176/+201
* Merge pull request #48 from LuxLang/relicensingEduardo Julián2018-12-0410-327/+256
|\
| * Excised the Renjin R interpreter, to avoid licensing complications.Eduardo Julian2018-12-043-175/+17
| * Forgot to commit README changes related to the license.Eduardo Julian2018-12-041-1/+3
| * Relicensed the Lux project (minus the Emacs plugin, which is still GPL).Eduardo Julian2018-12-041-19/+234
| * Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34Eduardo Julian2018-12-032-100/+1
| * Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/33Eduardo Julian2018-12-031-1/+0
| * Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35Eduardo Julian2018-12-032-31/+1
|/
* Extracted "phase" from under "lux/platform/compiler/default".Eduardo Julian2018-10-2961-82/+73
* Added "Char" type.Eduardo Julian2018-10-291-3/+5
* Nested the compiler and the interpreter under the lux/platform/* path.Eduardo Julian2018-10-2977-78/+90
* Added a module for keyboard input.Eduardo Julian2018-10-291-0/+78
* Added a module for video display resolutions.Eduardo Julian2018-10-291-0/+30
* Some refactoring.Eduardo Julian2018-10-2713-343/+410
* - Refactored macro-expansion code.Eduardo Julian2018-10-273-116/+155
* Split-out the lux/compiler/meta/archive module.Eduardo Julian2018-10-275-111/+152
* Slight improvements to "lux/data/color".Eduardo Julian2018-10-181-38/+82
* - Added "Alpha" abstraction.Eduardo Julian2018-10-181-6/+26
* Minor refactoring.Eduardo Julian2018-10-135-42/+64
* Introduced an explicit "Compiler" abstraction.Eduardo Julian2018-10-134-50/+69
* Turned the Archive into an abstract type for greater safety when operating on...Eduardo Julian2018-10-131-23/+29
* - Some refactoring.Eduardo Julian2018-10-135-130/+167
* Removed timing/perf-logging.Eduardo Julian2018-10-135-87/+94