Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | 1 | -95/+72 | |
| | | | - Eliminated "choice:" macro. | |||||
* | Basic implementation for sessions. | Eduardo Julian | 2018-12-09 | 3 | -3/+296 | |
| | ||||||
* | 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 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 | |
| | ||||||
* | 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 | 47 | -29/+31 | |
| | ||||||
* | 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 | 65 | -9/+9 | |
| | ||||||
* | 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 | 12 | -327/+373 | |
| | ||||||
* | - 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 | |
| | ||||||
* | Introduced an explicit "Compiler" abstraction. | Eduardo Julian | 2018-10-13 | 4 | -50/+69 | |
| | ||||||
* | Turned the Archive into an abstract type for greater safety when operating ↵ | Eduardo Julian | 2018-10-13 | 1 | -23/+29 | |
| | | | | on it (cannot skip the abstraction by directly using the dictionary functions). | |||||
* | - Some refactoring. | Eduardo Julian | 2018-10-13 | 5 | -130/+167 | |
| | | | - Small additions/features. | |||||
* | Removed timing/perf-logging. | Eduardo Julian | 2018-10-13 | 4 | -82/+89 | |
| | ||||||
* | Adapted new-luxc to latest stdlib changes. | Eduardo Julian | 2018-08-29 | 8 | -51/+46 | |
| | ||||||
* | Field imports are now done as macros instead of functions. | Eduardo Julian | 2018-08-29 | 2 | -65/+32 | |
| | ||||||
* | Method imports are now done as macros instead of functions. | Eduardo Julian | 2018-08-29 | 15 | -313/+266 | |
| | ||||||
* | More micro-optimizations. | Eduardo Julian | 2018-08-29 | 1 | -58/+48 | |
| | ||||||
* | Small additions to stdlib. | Eduardo Julian | 2018-08-28 | 3 | -2/+33 | |
| | ||||||
* | Micro-optimizations. | Eduardo Julian | 2018-08-28 | 1 | -19/+32 | |
| | ||||||
* | Micro-optimizations. | Eduardo Julian | 2018-08-26 | 14 | -199/+165 | |
| | ||||||
* | Added Frac parsing. | Eduardo Julian | 2018-08-26 | 2 | -35/+71 | |
| | ||||||
* | - Fixed some bugs. | Eduardo Julian | 2018-08-25 | 1 | -84/+117 | |
| | | | - Improved performance. | |||||
* | Some micro-optimizations. | Eduardo Julian | 2018-08-24 | 1 | -121/+124 | |
| | ||||||
* | More inlining. | Eduardo Julian | 2018-08-23 | 1 | -23/+35 | |
| | ||||||
* | Added a special compiler optimization to pattern-match on characters faster. | Eduardo Julian | 2018-08-23 | 1 | -50/+52 | |
| | ||||||
* | Optimized character extraction by not having to query the length of the ↵ | Eduardo Julian | 2018-08-23 | 3 | -168/+193 | |
| | | | | source-code every time. |