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