Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Ported some old tests to the new format. | Eduardo Julian | 2019-02-02 | 5 | -152/+163 |
| | |||||
* | Tests are now first class. | Eduardo Julian | 2019-01-30 | 2 | -204/+238 |
| | |||||
* | Added dynamic typing. | Eduardo Julian | 2019-01-24 | 2 | -72/+103 |
| | |||||
* | Re-structured the l10n/i18n machinery. | Eduardo Julian | 2019-01-22 | 1 | -0/+3 |
| | |||||
* | - WIP: Expansion of CSS machinery. | Eduardo Julian | 2019-01-22 | 1 | -0/+8 |
| | | | - Expansion of l10n/i18n machinery. | ||||
* | Re-named "lux/control/security/taint" to "lux/control/security/integrity". | Eduardo Julian | 2019-01-11 | 4 | -176/+184 |
| | |||||
* | Added equivalences. | Eduardo Julian | 2018-12-28 | 1 | -27/+28 |
| | |||||
* | Re-organized the class machinery. | Eduardo Julian | 2018-12-28 | 1 | -13/+13 |
| | |||||
* | Added machinery for methods. | Eduardo Julian | 2018-12-28 | 1 | -9/+14 |
| | |||||
* | Tests for bytecode generation. | Eduardo Julian | 2018-12-26 | 1 | -0/+79 |
| | |||||
* | Reverted "lux/control/concurrency/frp" to the previous style of doing FRP. | Eduardo Julian | 2018-12-15 | 1 | -89/+20 |
| | |||||
* | Separated reading promises and writing to promises. | Eduardo Julian | 2018-12-15 | 1 | -4/+0 |
| | |||||
* | Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro. | Eduardo Julian | 2018-12-15 | 1 | -4/+4 |
| | |||||
* | Re-named the "Error" tag to "Failure". | Eduardo Julian | 2018-12-15 | 19 | -122/+143 |
| | |||||
* | Moved the "lux/concurrency" modules under "lux/control". | Eduardo Julian | 2018-12-15 | 7 | -168/+168 |
| | |||||
* | Removed sessions for the moment. | Eduardo Julian | 2018-12-15 | 1 | -139/+0 |
| | | | They will be revisited in future work. | ||||
* | Slight improvement to tests. | Eduardo Julian | 2018-12-10 | 1 | -15/+15 |
| | |||||
* | Improved test for recursion in complex sessions. | Eduardo Julian | 2018-12-09 | 1 | -27/+38 |
| | |||||
* | Working session recursion. | Eduardo Julian | 2018-12-09 | 1 | -44/+94 |
| | |||||
* | Basic implementation for sessions. | Eduardo Julian | 2018-12-09 | 1 | -0/+78 |
| | |||||
* | Adapted other world signatures to the capability model. | Eduardo Julian | 2018-12-06 | 1 | -2/+2 |
| | |||||
* | - Added basic support for capability-based security. | Eduardo Julian | 2018-12-06 | 1 | -112/+116 |
| | | | - Re-designed the file-system signatures to be capability-based. | ||||
* | Now tainting values coming from the outside world. | Eduardo Julian | 2018-12-05 | 4 | -153/+180 |
| | |||||
* | Made some improvements to value taining, and added some tests. | Eduardo Julian | 2018-12-05 | 1 | -0/+49 |
| | |||||
* | Some small improvements. | Eduardo Julian | 2018-12-05 | 1 | -25/+30 |
| | |||||
* | Added privacy typing for information-flow control. | Eduardo Julian | 2018-12-05 | 1 | -0/+80 |
| | |||||
* | Some refactoring and small fixes. | Eduardo Julian | 2018-12-04 | 1 | -3/+3 |
| | |||||
* | Restored the "encode" function for duration, to correct for overkill when ↵ | Eduardo Julian | 2018-12-04 | 1 | -5/+6 |
| | | | | removing contributor code. | ||||
* | Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34 | Eduardo Julian | 2018-12-03 | 1 | -27/+1 |
| | |||||
* | Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35 | Eduardo Julian | 2018-12-03 | 1 | -10/+1 |
| | |||||
* | Method imports are now done as macros instead of functions. | Eduardo Julian | 2018-08-29 | 2 | -18/+21 |
| | |||||
* | Micro-optimizations. | Eduardo Julian | 2018-08-26 | 2 | -14/+18 |
| | |||||
* | "lux text char" is now unsafe/optimized. | Eduardo Julian | 2018-08-23 | 1 | -1/+1 |
| | |||||
* | Optimized text clipping. | Eduardo Julian | 2018-08-23 | 2 | -11/+11 |
| | |||||
* | No more escaping of back-slash. | Eduardo Julian | 2018-08-23 | 1 | -51/+51 |
| | |||||
* | No more escaping of new-line. | Eduardo Julian | 2018-08-23 | 2 | -5/+5 |
| | |||||
* | No more escaping of double-quotes. | Eduardo Julian | 2018-08-23 | 4 | -46/+7 |
| | |||||
* | No more escaping of unicode. | Eduardo Julian | 2018-08-22 | 2 | -8/+9 |
| | |||||
* | No more escaping of vertical-tab. | Eduardo Julian | 2018-08-22 | 1 | -1/+1 |
| | |||||
* | No more escaping of carriage-return. | Eduardo Julian | 2018-08-22 | 1 | -1/+1 |
| | |||||
* | No more escaping of form-feed. | Eduardo Julian | 2018-08-22 | 1 | -1/+1 |
| | |||||
* | No more escaping of horizontal-tab. | Eduardo Julian | 2018-08-22 | 2 | -4/+4 |
| | |||||
* | No more multi-line comments. | Eduardo Julian | 2018-08-22 | 1 | -32/+4 |
| | |||||
* | - More minor optimizations. | Eduardo Julian | 2018-08-20 | 1 | -36/+0 |
| | | | - Removed ratio syntax for Frac. | ||||
* | Fixed syntax bug. | Eduardo Julian | 2018-08-20 | 1 | -2/+1 |
| | |||||
* | Fixes for function synthesis. | Eduardo Julian | 2018-08-15 | 4 | -15/+14 |
| | |||||
* | - Fixed common translation tests for JVM. | Eduardo Julian | 2018-08-11 | 1 | -4/+5 |
| | | | | - Fixed a bug in "lux text <". - Small optimizations to old LuxC. | ||||
* | Got stdlib tests to compile again. | Eduardo Julian | 2018-08-11 | 6 | -52/+59 |
| | |||||
* | Some small improvements and fixes. | Eduardo Julian | 2018-08-05 | 3 | -8/+8 |
| | |||||
* | Moved "Array" type back into "lux/data/collection/array". | Eduardo Julian | 2018-08-03 | 1 | -1/+1 |
| |