aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fixed a bug in recursive sessions.Eduardo Julian2018-12-101-3/+5
|
* Working session recursion.Eduardo Julian2018-12-091-64/+82
|
* WIP: Session recursion.Eduardo Julian2018-12-091-1/+21
|
* - Some refactoring.Eduardo Julian2018-12-091-95/+72
| | | - Eliminated "choice:" macro.
* Basic implementation for sessions.Eduardo Julian2018-12-092-3/+218
|
* Added some missing/necessary documentation.Eduardo Julian2018-12-093-0/+14
|
* Adapted other world signatures to the capability model.Eduardo Julian2018-12-064-21/+43
|
* - Added basic support for capability-based security.Eduardo Julian2018-12-063-130/+247
| | | - Re-designed the file-system signatures to be capability-based.
* Now tainting values coming from the outside world.Eduardo Julian2018-12-057-215/+255
|
* Made some improvements to value taining, and added some tests.Eduardo Julian2018-12-052-28/+45
|
* Some small improvements.Eduardo Julian2018-12-052-23/+51
|
* Added privacy typing for information-flow control.Eduardo Julian2018-12-051-0/+69
|
* Some refactoring and small fixes.Eduardo Julian2018-12-047-14/+23
|
* Restored the "encode" function for duration, to correct for overkill when ↵Eduardo Julian2018-12-043-3/+33
| | | | removing contributor code.
* Some refactoring.Eduardo Julian2018-12-047-176/+201
|
* Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34Eduardo Julian2018-12-031-73/+0
|
* Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35Eduardo Julian2018-12-031-21/+0
|
* Extracted "phase" from under "lux/platform/compiler/default".Eduardo Julian2018-10-2947-29/+31
|
* Added "Char" type.Eduardo Julian2018-10-291-3/+5
|
* Nested the compiler and the interpreter under the lux/platform/* path.Eduardo Julian2018-10-2965-9/+9
|
* Added a module for keyboard input.Eduardo Julian2018-10-291-0/+78
|
* Added a module for video display resolutions.Eduardo Julian2018-10-291-0/+30
|
* Some refactoring.Eduardo Julian2018-10-2712-327/+373
|
* - Refactored macro-expansion code.Eduardo Julian2018-10-273-116/+155
| | | - Added extra functionality to lux/compiler/default/phase/analysis.
* Split-out the lux/compiler/meta/archive module.Eduardo Julian2018-10-275-111/+152
|
* Slight improvements to "lux/data/color".Eduardo Julian2018-10-181-38/+82
|
* - Added "Alpha" abstraction.Eduardo Julian2018-10-181-6/+26
| | | - Added "Pigment" abstraction.
* Minor refactoring.Eduardo Julian2018-10-135-42/+64
|
* Introduced an explicit "Compiler" abstraction.Eduardo Julian2018-10-134-50/+69
|
* Turned the Archive into an abstract type for greater safety when operating ↵Eduardo Julian2018-10-131-23/+29
| | | | on it (cannot skip the abstraction by directly using the dictionary functions).
* - Some refactoring.Eduardo Julian2018-10-135-130/+167
| | | - Small additions/features.
* Removed timing/perf-logging.Eduardo Julian2018-10-134-82/+89
|
* Adapted new-luxc to latest stdlib changes.Eduardo Julian2018-08-298-51/+46
|
* Field imports are now done as macros instead of functions.Eduardo Julian2018-08-292-65/+32
|
* Method imports are now done as macros instead of functions.Eduardo Julian2018-08-2913-295/+245
|
* More micro-optimizations.Eduardo Julian2018-08-291-58/+48
|
* Small additions to stdlib.Eduardo Julian2018-08-283-2/+33
|
* Micro-optimizations.Eduardo Julian2018-08-281-19/+32
|
* Micro-optimizations.Eduardo Julian2018-08-2612-185/+147
|
* Added Frac parsing.Eduardo Julian2018-08-262-35/+71
|
* - Fixed some bugs.Eduardo Julian2018-08-251-84/+117
| | | - Improved performance.
* Some micro-optimizations.Eduardo Julian2018-08-241-121/+124
|
* More inlining.Eduardo Julian2018-08-231-23/+35
|
* Added a special compiler optimization to pattern-match on characters faster.Eduardo Julian2018-08-231-50/+52
|
* Optimized character extraction by not having to query the length of the ↵Eduardo Julian2018-08-233-168/+193
| | | | source-code every time.
* "lux text char" is now unsafe/optimized.Eduardo Julian2018-08-234-215/+176
|
* Optimized text clipping.Eduardo Julian2018-08-235-98/+90
|
* Added Rev parsing.Eduardo Julian2018-08-231-38/+33
|
* Added record parsing.Eduardo Julian2018-08-233-170/+82
|
* Added Int parsing.Eduardo Julian2018-08-231-260/+74
|