aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Converted tests for "lux/control/exception" to new format.Eduardo Julian2019-02-044-49/+47
|
* Ported "lux/io" module to new test format.Eduardo Julian2019-02-046-24/+220
|
* Changed the naming style for structures.Eduardo Julian2019-02-0482-668/+670
|
* Some refactoring around the identity function.Eduardo Julian2019-02-031-2/+3
|
* Added "forge" and "use" functions for working with capabilities.Eduardo Julian2019-02-031-2/+4
|
* Improved syntax for domains/parallel-import-trees.Eduardo Julian2019-02-035-15/+18
|
* Relative imports can now alter the start of a path.Eduardo Julian2019-02-034-70/+80
|
* Ported some old tests to the new format.Eduardo Julian2019-02-025-152/+163
|
* Tests are now first class.Eduardo Julian2019-01-302-204/+238
|
* Added dynamic typing.Eduardo Julian2019-01-242-72/+103
|
* Re-structured the l10n/i18n machinery.Eduardo Julian2019-01-221-0/+3
|
* - WIP: Expansion of CSS machinery.Eduardo Julian2019-01-221-0/+8
| | | - Expansion of l10n/i18n machinery.
* Re-named "lux/control/security/taint" to "lux/control/security/integrity".Eduardo Julian2019-01-114-176/+184
|
* Added equivalences.Eduardo Julian2018-12-281-27/+28
|
* Re-organized the class machinery.Eduardo Julian2018-12-281-13/+13
|
* Added machinery for methods.Eduardo Julian2018-12-281-9/+14
|
* Tests for bytecode generation.Eduardo Julian2018-12-261-0/+79
|
* Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.Eduardo Julian2018-12-151-89/+20
|
* Separated reading promises and writing to promises.Eduardo Julian2018-12-151-4/+0
|
* Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.Eduardo Julian2018-12-151-4/+4
|
* Re-named the "Error" tag to "Failure".Eduardo Julian2018-12-1519-122/+143
|
* Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian2018-12-157-168/+168
|
* Removed sessions for the moment.Eduardo Julian2018-12-151-139/+0
| | | They will be revisited in future work.
* Slight improvement to tests.Eduardo Julian2018-12-101-15/+15
|
* Improved test for recursion in complex sessions.Eduardo Julian2018-12-091-27/+38
|
* Working session recursion.Eduardo Julian2018-12-091-44/+94
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 16:26:10 +0000