aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Basic implementation for sessions.Eduardo Julian2018-12-091-0/+78
|
* Adapted other world signatures to the capability model.Eduardo Julian2018-12-061-2/+2
|
* - Added basic support for capability-based security.Eduardo Julian2018-12-061-112/+116
| | | - Re-designed the file-system signatures to be capability-based.
* Now tainting values coming from the outside world.Eduardo Julian2018-12-054-153/+180
|
* Made some improvements to value taining, and added some tests.Eduardo Julian2018-12-051-0/+49
|
* Some small improvements.Eduardo Julian2018-12-051-25/+30
|
* Added privacy typing for information-flow control.Eduardo Julian2018-12-051-0/+80
|
* Some refactoring and small fixes.Eduardo Julian2018-12-041-3/+3
|
* Restored the "encode" function for duration, to correct for overkill when ↵Eduardo Julian2018-12-041-5/+6
| | | | removing contributor code.
* Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34Eduardo Julian2018-12-031-27/+1
|
* Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35Eduardo Julian2018-12-031-10/+1
|
* Method imports are now done as macros instead of functions.Eduardo Julian2018-08-292-18/+21
|
* Micro-optimizations.Eduardo Julian2018-08-262-14/+18
|
* "lux text char" is now unsafe/optimized.Eduardo Julian2018-08-231-1/+1
|
* Optimized text clipping.Eduardo Julian2018-08-232-11/+11
|
* No more escaping of back-slash.Eduardo Julian2018-08-231-51/+51
|
* No more escaping of new-line.Eduardo Julian2018-08-232-5/+5
|
* No more escaping of double-quotes.Eduardo Julian2018-08-234-46/+7
|
* No more escaping of unicode.Eduardo Julian2018-08-222-8/+9
|
* No more escaping of vertical-tab.Eduardo Julian2018-08-221-1/+1
|
* No more escaping of carriage-return.Eduardo Julian2018-08-221-1/+1
|
* No more escaping of form-feed.Eduardo Julian2018-08-221-1/+1
|
* No more escaping of horizontal-tab.Eduardo Julian2018-08-222-4/+4
|
* No more multi-line comments.Eduardo Julian2018-08-221-32/+4
|
* - More minor optimizations.Eduardo Julian2018-08-201-36/+0
| | | - Removed ratio syntax for Frac.
* Fixed syntax bug.Eduardo Julian2018-08-201-2/+1
|
* Fixes for function synthesis.Eduardo Julian2018-08-154-15/+14
|
* - Fixed common translation tests for JVM.Eduardo Julian2018-08-111-4/+5
| | | | - Fixed a bug in "lux text <". - Small optimizations to old LuxC.
* Got stdlib tests to compile again.Eduardo Julian2018-08-116-52/+59
|
* Some small improvements and fixes.Eduardo Julian2018-08-053-8/+8
|
* Moved "Array" type back into "lux/data/collection/array".Eduardo Julian2018-08-031-1/+1
|
* Replace the error-prone "n/range" calls with "indices".Eduardo Julian2018-08-021-1/+1
|
* Moved statement phase into stdlib.Eduardo Julian2018-08-021-5/+8
|
* Cleared out "lux/compiler/default" module off its contents to re-use the ↵Eduardo Julian2018-08-024-43/+37
| | | | space for something else.
* Now implementing array functionality in stdlib instead of the compiler.Eduardo Julian2018-07-311-75/+0
|
* Now implementing process functionality in stdlib instead of the compiler.Eduardo Julian2018-07-312-17/+3
|
* Now implementing atom functionality in stdlib instead of the compiler.Eduardo Julian2018-07-311-1/+1
|
* Now implementing math functionality in stdlib instead of the compiler.Eduardo Julian2018-07-302-38/+8
|
* Updating new-luxc to latest Lux changes [Part 2].Eduardo Julian2018-07-301-3/+3
|
* Moved evaluation machinery from new-luxc to stdlib.Eduardo Julian2018-07-291-0/+1
|
* Covered some missing bits.Eduardo Julian2018-07-281-3/+3
|
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-2874-578/+578
|
* Added "+" sign to positive Int.Eduardo Julian2018-07-2828-254/+254
|
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-2874-578/+578
|
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-2114-47/+47
|
* Re-named "name-for" to "name-of".Eduardo Julian2018-07-211-8/+8
|
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-217-25/+25
|
* Got rid of Object-Oriented Programming modules.Eduardo Julian2018-07-213-224/+1
|
* Re-named "Ident" to "Name".Eduardo Julian2018-07-219-143/+119
|
* - Re-named "Compiler" to "Phase".Eduardo Julian2018-07-2112-160/+171
| | | - Re-structured the compiler infrastructure.
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-28 01:42:49 +0000