Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Added machinery for methods. | Eduardo Julian | 2018-12-28 | 4 | -59/+87 | |
| | ||||||
* | The (class)loader machinery is now JVM-only. | Eduardo Julian | 2018-12-28 | 1 | -0/+0 | |
| | ||||||
* | Added machinery for fields. | Eduardo Julian | 2018-12-28 | 7 | -65/+178 | |
| | ||||||
* | Added machinery for descriptors. | Eduardo Julian | 2018-12-28 | 2 | -1/+94 | |
| | ||||||
* | - Some improvements to Index. | Eduardo Julian | 2018-12-27 | 5 | -96/+149 | |
| | | | | | - Some improvements to Constant. - Some improvements to Pool. - WIP: Attribute | |||||
* | Improved machinery for working with constant pools. | Eduardo Julian | 2018-12-27 | 1 | -0/+68 | |
| | ||||||
* | Small refactoring for JVM names. | Eduardo Julian | 2018-12-26 | 2 | -8/+10 | |
| | ||||||
* | Tests for bytecode generation. | Eduardo Julian | 2018-12-26 | 1 | -0/+79 | |
| | ||||||
* | ClassLoader machinery. | Eduardo Julian | 2018-12-26 | 2 | -109/+155 | |
| | ||||||
* | Expanded the set of available modifiers. | Eduardo Julian | 2018-12-26 | 7 | -61/+190 | |
| | ||||||
* | Added support for interfaces in classes. | Eduardo Julian | 2018-12-26 | 2 | -21/+47 | |
| | ||||||
* | Utility functions for getting files and directories. | Eduardo Julian | 2018-12-26 | 1 | -0/+18 | |
| | ||||||
* | WIP: JVM bytecode generation in pure Lux. | Eduardo Julian | 2018-12-26 | 10 | -27/+406 | |
| | ||||||
* | Expansion for binary format. | Eduardo Julian | 2018-12-26 | 1 | -124/+220 | |
| | ||||||
* | 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 | |
| | |