| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Can now define nested abstract types. | Eduardo Julian | 2019-01-06 | 3 | -142/+169 |
| | | |||||
| * | Some minor refactoring. | Eduardo Julian | 2019-01-02 | 3 | -4/+13 |
| | | |||||
| * | Added macros for remembering things to the programmer based on deadlines. | Eduardo Julian | 2019-01-02 | 2 | -34/+108 |
| | | |||||
| * | Re-named "lux/world/database" to "lux/world/db". | Eduardo Julian | 2018-12-31 | 4 | -3/+3 |
| | | |||||
| * | Added HTTP abstractions. | Eduardo Julian | 2018-12-30 | 6 | -0/+324 |
| | | |||||
| * | Added library for handling identities for values in foreign data-stores. | Eduardo Julian | 2018-12-30 | 1 | -0/+53 |
| | | |||||
| * | WIP: Added JDBC library. | Eduardo Julian | 2018-12-30 | 3 | -0/+468 |
| | | |||||
| * | WIP: Added SQL library. | Eduardo Julian | 2018-12-30 | 1 | -0/+475 |
| | | |||||
| * | Expanded the number of constants that can be created (; but still missing some). | Eduardo Julian | 2018-12-29 | 2 | -18/+99 |
| | | |||||
| * | Added equivalences. | Eduardo Julian | 2018-12-28 | 8 | -8/+102 |
| | | |||||
| * | Fixed bug when parsing blobs. | Eduardo Julian | 2018-12-28 | 1 | -1/+1 |
| | | |||||
| * | Re-organized the class machinery. | Eduardo Julian | 2018-12-28 | 3 | -114/+105 |
| | | |||||
| * | Added machinery for methods. | Eduardo Julian | 2018-12-28 | 3 | -50/+73 |
| | | |||||
| * | 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 |
| | | |||||
| * | ClassLoader machinery. | Eduardo Julian | 2018-12-26 | 1 | -0/+124 |
| | | |||||
| * | 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 | 3 | -103/+244 |
| | | |||||
| * | Separated reading promises and writing to promises. | Eduardo Julian | 2018-12-15 | 4 | -131/+165 |
| | | |||||
| * | Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro. | Eduardo Julian | 2018-12-15 | 1 | -16/+25 |
| | | |||||
| * | 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 | 46 | -518/+538 |
| | | |||||
| * | Moved the "lux/concurrency" modules under "lux/control". | Eduardo Julian | 2018-12-15 | 14 | -55/+55 |
| | | |||||
| * | Small improvements. | Eduardo Julian | 2018-12-15 | 8 | -101/+122 |
| | | |||||
| * | Removed sessions for the moment. | Eduardo Julian | 2018-12-15 | 1 | -228/+0 |
| | | | | They will be revisited in future work. | ||||
| * | Slight improvement. | Eduardo Julian | 2018-12-10 | 1 | -10/+10 |
| | | |||||
| * | Fixed a bug in recursive sessions. | Eduardo Julian | 2018-12-10 | 1 | -3/+5 |
| | | |||||
| * | Working session recursion. | Eduardo Julian | 2018-12-09 | 1 | -64/+82 |
| | | |||||
| * | WIP: Session recursion. | Eduardo Julian | 2018-12-09 | 1 | -1/+21 |
| | | |||||
| * | - Some refactoring. | Eduardo Julian | 2018-12-09 | 1 | -95/+72 |
| | | | | - Eliminated "choice:" macro. | ||||
| * | Basic implementation for sessions. | Eduardo Julian | 2018-12-09 | 2 | -3/+218 |
| | | |||||
| * | 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 | 4 | -21/+43 |
| | | |||||
| * | - Added basic support for capability-based security. | Eduardo Julian | 2018-12-06 | 3 | -130/+247 |
| | | | | - Re-designed the file-system signatures to be capability-based. | ||||
| * | Now tainting values coming from the outside world. | Eduardo Julian | 2018-12-05 | 7 | -215/+255 |
| | | |||||
| * | Made some improvements to value taining, and added some tests. | Eduardo Julian | 2018-12-05 | 2 | -28/+45 |
| | | |||||
| * | Some small improvements. | Eduardo Julian | 2018-12-05 | 2 | -23/+51 |
| | | |||||
| * | Added privacy typing for information-flow control. | Eduardo Julian | 2018-12-05 | 1 | -0/+69 |
| | | |||||
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |