index
:
lux
master
fork of https://github.com/LuxLang/lux for my bookshelf
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
stdlib
/
test
(
unfollow
)
Commit message (
Collapse
)
Author
Files
Lines
2019-02-05
Integrated tests into normal source code.
Eduardo Julian
95
-9581
/
+0
2019-02-04
Added library for generating Markdown code.
Eduardo Julian
1
-1
/
+2
2019-02-04
Converted tests for "lux/control/exception" to new format.
Eduardo Julian
4
-49
/
+47
2019-02-04
Ported "lux/io" module to new test format.
Eduardo Julian
6
-24
/
+220
2019-02-04
Changed the naming style for structures.
Eduardo Julian
82
-668
/
+670
2019-02-03
Some refactoring around the identity function.
Eduardo Julian
1
-2
/
+3
2019-02-03
Added "forge" and "use" functions for working with capabilities.
Eduardo Julian
1
-2
/
+4
2019-02-03
Improved syntax for domains/parallel-import-trees.
Eduardo Julian
5
-15
/
+18
2019-02-03
Relative imports can now alter the start of a path.
Eduardo Julian
4
-70
/
+80
2019-02-02
Ported some old tests to the new format.
Eduardo Julian
5
-152
/
+163
2019-01-30
Tests are now first class.
Eduardo Julian
2
-204
/
+238
2019-01-24
Added dynamic typing.
Eduardo Julian
2
-72
/
+103
2019-01-22
Re-structured the l10n/i18n machinery.
Eduardo Julian
1
-0
/
+3
2019-01-22
- WIP: Expansion of CSS machinery.
Eduardo Julian
1
-0
/
+8
- Expansion of l10n/i18n machinery.
2019-01-11
Re-named "lux/control/security/taint" to "lux/control/security/integrity".
Eduardo Julian
4
-176
/
+184
2018-12-28
Added equivalences.
Eduardo Julian
1
-27
/
+28
2018-12-28
Re-organized the class machinery.
Eduardo Julian
1
-13
/
+13
2018-12-28
Added machinery for methods.
Eduardo Julian
1
-9
/
+14
2018-12-26
Tests for bytecode generation.
Eduardo Julian
1
-0
/
+79
2018-12-15
Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.
Eduardo Julian
1
-89
/
+20
2018-12-15
Separated reading promises and writing to promises.
Eduardo Julian
1
-4
/
+0
2018-12-15
Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.
Eduardo Julian
1
-4
/
+4
2018-12-15
Re-named the "Error" tag to "Failure".
Eduardo Julian
19
-122
/
+143
2018-12-15
Moved the "lux/concurrency" modules under "lux/control".
Eduardo Julian
7
-168
/
+168
2018-12-15
Removed sessions for the moment.
Eduardo Julian
1
-139
/
+0
They will be revisited in future work.
2018-12-10
Slight improvement to tests.
Eduardo Julian
1
-15
/
+15
2018-12-09
Improved test for recursion in complex sessions.
Eduardo Julian
1
-27
/
+38
2018-12-09
Working session recursion.
Eduardo Julian
1
-44
/
+94
2018-12-09
Basic implementation for sessions.
Eduardo Julian
1
-0
/
+78
2018-12-06
Adapted other world signatures to the capability model.
Eduardo Julian
1
-2
/
+2
2018-12-06
- Added basic support for capability-based security.
Eduardo Julian
1
-112
/
+116
- Re-designed the file-system signatures to be capability-based.
2018-12-05
Now tainting values coming from the outside world.
Eduardo Julian
4
-153
/
+180
2018-12-05
Made some improvements to value taining, and added some tests.
Eduardo Julian
1
-0
/
+49
2018-12-05
Some small improvements.
Eduardo Julian
1
-25
/
+30
2018-12-05
Added privacy typing for information-flow control.
Eduardo Julian
1
-0
/
+80
2018-12-04
Some refactoring and small fixes.
Eduardo Julian
1
-3
/
+3
2018-12-04
Restored the "encode" function for duration, to correct for overkill when ↵
Eduardo Julian
1
-5
/
+6
removing contributor code.
2018-12-03
Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34
Eduardo Julian
1
-27
/
+1
2018-12-03
Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35
Eduardo Julian
1
-10
/
+1
2018-08-29
Method imports are now done as macros instead of functions.
Eduardo Julian
2
-18
/
+21
2018-08-26
Micro-optimizations.
Eduardo Julian
2
-14
/
+18
2018-08-23
"lux text char" is now unsafe/optimized.
Eduardo Julian
1
-1
/
+1
2018-08-23
Optimized text clipping.
Eduardo Julian
2
-11
/
+11
2018-08-23
No more escaping of back-slash.
Eduardo Julian
1
-51
/
+51
2018-08-23
No more escaping of new-line.
Eduardo Julian
2
-5
/
+5
2018-08-23
No more escaping of double-quotes.
Eduardo Julian
4
-46
/
+7
2018-08-22
No more escaping of unicode.
Eduardo Julian
2
-8
/
+9
2018-08-22
No more escaping of vertical-tab.
Eduardo Julian
1
-1
/
+1
2018-08-22
No more escaping of carriage-return.
Eduardo Julian
1
-1
/
+1
2018-08-22
No more escaping of form-feed.
Eduardo Julian
1
-1
/
+1
[next]