aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-02-04Ported "lux/io" module to new test format.Eduardo Julian6-24/+220
2019-02-04Changed the naming style for structures.Eduardo Julian82-668/+670
2019-02-03Some refactoring around the identity function.Eduardo Julian1-2/+3
2019-02-03Added "forge" and "use" functions for working with capabilities.Eduardo Julian1-2/+4
2019-02-03Improved syntax for domains/parallel-import-trees.Eduardo Julian5-15/+18
2019-02-03Relative imports can now alter the start of a path.Eduardo Julian4-70/+80
2019-02-02Ported some old tests to the new format.Eduardo Julian5-152/+163
2019-01-30Tests are now first class.Eduardo Julian2-204/+238
2019-01-24Added dynamic typing.Eduardo Julian2-72/+103
2019-01-22Re-structured the l10n/i18n machinery.Eduardo Julian1-0/+3
2019-01-22- WIP: Expansion of CSS machinery.Eduardo Julian1-0/+8
- Expansion of l10n/i18n machinery.
2019-01-11Re-named "lux/control/security/taint" to "lux/control/security/integrity".Eduardo Julian4-176/+184
2018-12-28Added equivalences.Eduardo Julian1-27/+28
2018-12-28Re-organized the class machinery.Eduardo Julian1-13/+13
2018-12-28Added machinery for methods.Eduardo Julian1-9/+14
2018-12-26Tests for bytecode generation.Eduardo Julian1-0/+79
2018-12-15Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.Eduardo Julian1-89/+20
2018-12-15Separated reading promises and writing to promises.Eduardo Julian1-4/+0
2018-12-15Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.Eduardo Julian1-4/+4
2018-12-15Re-named the "Error" tag to "Failure".Eduardo Julian19-122/+143
2018-12-15Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian7-168/+168
2018-12-15Removed sessions for the moment.Eduardo Julian1-139/+0
They will be revisited in future work.
2018-12-10Slight improvement to tests.Eduardo Julian1-15/+15
2018-12-09Improved test for recursion in complex sessions.Eduardo Julian1-27/+38
2018-12-09Working session recursion.Eduardo Julian1-44/+94
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
- Re-designed the file-system signatures to be capability-based.
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 ↵Eduardo Julian1-5/+6
removing contributor code.
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
- Removed ratio syntax for Frac.
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 08:30:04 +0000