aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (unfollow)
Commit message (Expand)AuthorFilesLines
2018-12-09Basic implementation for sessions.Eduardo Julian1-0/+78
2018-12-06Adapted other world signatures to the capability model.Eduardo Julian1-2/+2
2018-12-06- Added basic support for capability-based security.Eduardo Julian1-112/+116
2018-12-05Now tainting values coming from the outside world.Eduardo Julian4-153/+180
2018-12-05Made some improvements to value taining, and added some tests.Eduardo Julian1-0/+49
2018-12-05Some small improvements.Eduardo Julian1-25/+30
2018-12-05Added privacy typing for information-flow control.Eduardo Julian1-0/+80
2018-12-04Some refactoring and small fixes.Eduardo Julian1-3/+3
2018-12-04Restored the "encode" function for duration, to correct for overkill when rem...Eduardo Julian1-5/+6
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34Eduardo Julian1-27/+1
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35Eduardo Julian1-10/+1
2018-08-29Method imports are now done as macros instead of functions.Eduardo Julian2-18/+21
2018-08-26Micro-optimizations.Eduardo Julian2-14/+18
2018-08-23"lux text char" is now unsafe/optimized.Eduardo Julian1-1/+1
2018-08-23Optimized text clipping.Eduardo Julian2-11/+11
2018-08-23No more escaping of back-slash.Eduardo Julian1-51/+51
2018-08-23No more escaping of new-line.Eduardo Julian2-5/+5
2018-08-23No more escaping of double-quotes.Eduardo Julian4-46/+7
2018-08-22No more escaping of unicode.Eduardo Julian2-8/+9
2018-08-22No more escaping of vertical-tab.Eduardo Julian1-1/+1
2018-08-22No more escaping of carriage-return.Eduardo Julian1-1/+1
2018-08-22No more escaping of form-feed.Eduardo Julian1-1/+1
2018-08-22No more escaping of horizontal-tab.Eduardo Julian2-4/+4
2018-08-22No more multi-line comments.Eduardo Julian1-32/+4
2018-08-20- More minor optimizations.Eduardo Julian1-36/+0
2018-08-20Fixed syntax bug.Eduardo Julian1-2/+1
2018-08-15Fixes for function synthesis.Eduardo Julian4-15/+14
2018-08-11- Fixed common translation tests for JVM.Eduardo Julian1-4/+5
2018-08-11Got stdlib tests to compile again.Eduardo Julian6-52/+59
2018-08-05Some small improvements and fixes.Eduardo Julian3-8/+8
2018-08-03Moved "Array" type back into "lux/data/collection/array".Eduardo Julian1-1/+1
2018-08-02Replace the error-prone "n/range" calls with "indices".Eduardo Julian1-1/+1
2018-08-02Moved statement phase into stdlib.Eduardo Julian1-5/+8
2018-08-02Cleared out "lux/compiler/default" module off its contents to re-use the spac...Eduardo Julian4-43/+37
2018-07-31Now implementing array functionality in stdlib instead of the compiler.Eduardo Julian1-75/+0
2018-07-31Now implementing process functionality in stdlib instead of the compiler.Eduardo Julian2-17/+3
2018-07-31Now implementing atom functionality in stdlib instead of the compiler.Eduardo Julian1-1/+1
2018-07-30Now implementing math functionality in stdlib instead of the compiler.Eduardo Julian2-38/+8
2018-07-30Updating new-luxc to latest Lux changes [Part 2].Eduardo Julian1-3/+3
2018-07-29Moved evaluation machinery from new-luxc to stdlib.Eduardo Julian1-0/+1
2018-07-28Covered some missing bits.Eduardo Julian1-3/+3
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian74-578/+578
2018-07-28Added "+" sign to positive Int.Eduardo Julian28-254/+254
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian74-578/+578
2018-07-21Re-named "seq" to "and" and "alt" to "or".Eduardo Julian14-47/+47
2018-07-21Re-named "name-for" to "name-of".Eduardo Julian1-8/+8
2018-07-21Re-named "Symbol" to "Identifier".Eduardo Julian7-25/+25
2018-07-21Got rid of Object-Oriented Programming modules.Eduardo Julian3-224/+1
2018-07-21Re-named "Ident" to "Name".Eduardo Julian9-143/+119
2018-07-21- Re-named "Compiler" to "Phase".Eduardo Julian12-160/+171