| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Some refactoring & minor additions. | Eduardo Julian | 2018-12-26 | 10 | -90/+118 |
| | | |||||
| * | Added contravariant functors. | Eduardo Julian | 2018-12-25 | 6 | -16/+57 |
| | | |||||
| * | Some refactoring. | Eduardo Julian | 2018-12-24 | 3 | -47/+52 |
| | | |||||
| * | Improved how the "Source" type works. | Eduardo Julian | 2018-12-16 | 2 | -75/+49 |
| | | |||||
| * | Reverted "lux/control/concurrency/frp" to the previous style of doing FRP. | Eduardo Julian | 2018-12-15 | 4 | -192/+264 |
| | | |||||
| * | Separated reading promises and writing to promises. | Eduardo Julian | 2018-12-15 | 5 | -135/+165 |
| | | |||||
| * | Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro. | Eduardo Julian | 2018-12-15 | 2 | -20/+29 |
| | | |||||
| * | No longer relying on "signature:"'s and "structure:"'s internal ↵ | Eduardo Julian | 2018-12-15 | 12 | -154/+150 |
| | | | | | macro-expansion to handle the "do-template"s inside. | ||||
| * | Re-named the "Error" tag to "Failure". | Eduardo Julian | 2018-12-15 | 65 | -640/+681 |
| | | |||||
| * | Changed the licenses in the project.clj files. | Eduardo Julian | 2018-12-15 | 5 | -14/+14 |
| | | |||||
| * | Moved the "lux/concurrency" modules under "lux/control". | Eduardo Julian | 2018-12-15 | 21 | -223/+223 |
| | | |||||
| * | Small improvements. | Eduardo Julian | 2018-12-15 | 8 | -101/+122 |
| | | |||||
| * | Removed sessions for the moment. | Eduardo Julian | 2018-12-15 | 2 | -367/+0 |
| | | | | They will be revisited in future work. | ||||
| * | Slight improvement. | Eduardo Julian | 2018-12-10 | 1 | -10/+10 |
| | | |||||
| * | Slight improvement to tests. | Eduardo Julian | 2018-12-10 | 1 | -15/+15 |
| | | |||||
| * | Fixed a bug in recursive sessions. | Eduardo Julian | 2018-12-10 | 1 | -3/+5 |
| | | |||||
| * | Improved test for recursion in complex sessions. | Eduardo Julian | 2018-12-09 | 1 | -27/+38 |
| | | |||||
| * | Working session recursion. | Eduardo Julian | 2018-12-09 | 2 | -108/+176 |
| | | |||||
| * | WIP: Session recursion. | Eduardo Julian | 2018-12-09 | 1 | -1/+21 |
| | | |||||
| * | - Some refactoring. | Eduardo Julian | 2018-12-09 | 2 | -96/+73 |
| | | | | - Eliminated "choice:" macro. | ||||
| * | Basic implementation for sessions. | Eduardo Julian | 2018-12-09 | 4 | -4/+297 |
| | | |||||
| * | Added some missing/necessary documentation. | Eduardo Julian | 2018-12-09 | 3 | -0/+14 |
| | | |||||
| * | Adapted other world signatures to the capability model. | Eduardo Julian | 2018-12-06 | 5 | -23/+45 |
| | | |||||
| * | - Added basic support for capability-based security. | Eduardo Julian | 2018-12-06 | 4 | -242/+363 |
| | | | | - Re-designed the file-system signatures to be capability-based. | ||||
| * | Now tainting values coming from the outside world. | Eduardo Julian | 2018-12-05 | 11 | -368/+435 |
| | | |||||
| * | Made some improvements to value taining, and added some tests. | Eduardo Julian | 2018-12-05 | 3 | -28/+94 |
| | | |||||
| * | Some small improvements. | Eduardo Julian | 2018-12-05 | 3 | -48/+81 |
| | | |||||
| * | Added license.json. | Eduardo Julian | 2018-12-05 | 1 | -0/+49 |
| | | |||||
| * | Added privacy typing for information-flow control. | Eduardo Julian | 2018-12-05 | 2 | -0/+149 |
| | | |||||
| * | Some refactoring and small fixes. | Eduardo Julian | 2018-12-04 | 8 | -17/+26 |
| | | |||||
| * | Restored the "encode" function for duration, to correct for overkill when ↵ | Eduardo Julian | 2018-12-04 | 4 | -8/+39 |
| | | | | | removing contributor code. | ||||
| * | Some refactoring. | Eduardo Julian | 2018-12-04 | 7 | -176/+201 |
| | | |||||
| * | Merge pull request #48 from LuxLang/relicensing | Eduardo Julián | 2018-12-04 | 10 | -327/+256 |
| |\ | | | | | Relicensing | ||||
| | * | Excised the Renjin R interpreter, to avoid licensing complications. | Eduardo Julian | 2018-12-04 | 3 | -175/+17 |
| | | | |||||
| | * | Forgot to commit README changes related to the license. | Eduardo Julian | 2018-12-04 | 1 | -1/+3 |
| | | | |||||
| | * | Relicensed the Lux project (minus the Emacs plugin, which is still GPL). | Eduardo Julian | 2018-12-04 | 1 | -19/+234 |
| | | | |||||
| | * | Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34 | Eduardo Julian | 2018-12-03 | 2 | -100/+1 |
| | | | |||||
| | * | Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/33 | Eduardo Julian | 2018-12-03 | 1 | -1/+0 |
| | | | |||||
| | * | Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35 | Eduardo Julian | 2018-12-03 | 2 | -31/+1 |
| |/ | |||||
| * | Extracted "phase" from under "lux/platform/compiler/default". | Eduardo Julian | 2018-10-29 | 61 | -82/+73 |
| | | |||||
| * | Added "Char" type. | Eduardo Julian | 2018-10-29 | 1 | -3/+5 |
| | | |||||
| * | Nested the compiler and the interpreter under the lux/platform/* path. | Eduardo Julian | 2018-10-29 | 77 | -78/+90 |
| | | |||||
| * | Added a module for keyboard input. | Eduardo Julian | 2018-10-29 | 1 | -0/+78 |
| | | |||||
| * | Added a module for video display resolutions. | Eduardo Julian | 2018-10-29 | 1 | -0/+30 |
| | | |||||
| * | Some refactoring. | Eduardo Julian | 2018-10-27 | 13 | -343/+410 |
| | | |||||
| * | - Refactored macro-expansion code. | Eduardo Julian | 2018-10-27 | 3 | -116/+155 |
| | | | | - Added extra functionality to lux/compiler/default/phase/analysis. | ||||
| * | Split-out the lux/compiler/meta/archive module. | Eduardo Julian | 2018-10-27 | 5 | -111/+152 |
| | | |||||
| * | Slight improvements to "lux/data/color". | Eduardo Julian | 2018-10-18 | 1 | -38/+82 |
| | | |||||
| * | - Added "Alpha" abstraction. | Eduardo Julian | 2018-10-18 | 1 | -6/+26 |
| | | | | - Added "Pigment" abstraction. | ||||
| * | Minor refactoring. | Eduardo Julian | 2018-10-13 | 5 | -42/+64 |
| | | |||||
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |