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
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2018-12-26
WIP: JVM bytecode generation in pure Lux.
Eduardo Julian
10
-27
/
+406
2018-12-26
Expansion for binary format.
Eduardo Julian
1
-124
/
+220
2018-12-26
Some refactoring & minor additions.
Eduardo Julian
10
-90
/
+118
2018-12-25
Added contravariant functors.
Eduardo Julian
6
-16
/
+57
2018-12-24
Some refactoring.
Eduardo Julian
3
-47
/
+52
2018-12-16
Improved how the "Source" type works.
Eduardo Julian
2
-75
/
+49
2018-12-15
Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.
Eduardo Julian
4
-192
/
+264
2018-12-15
Separated reading promises and writing to promises.
Eduardo Julian
5
-135
/
+165
2018-12-15
Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.
Eduardo Julian
2
-20
/
+29
2018-12-15
No longer relying on "signature:"'s and "structure:"'s internal macro-expansi...
Eduardo Julian
12
-154
/
+150
2018-12-15
Re-named the "Error" tag to "Failure".
Eduardo Julian
65
-640
/
+681
2018-12-15
Changed the licenses in the project.clj files.
Eduardo Julian
1
-2
/
+2
2018-12-15
Moved the "lux/concurrency" modules under "lux/control".
Eduardo Julian
21
-223
/
+223
2018-12-15
Small improvements.
Eduardo Julian
8
-101
/
+122
2018-12-15
Removed sessions for the moment.
Eduardo Julian
2
-367
/
+0
2018-12-10
Slight improvement.
Eduardo Julian
1
-10
/
+10
2018-12-10
Slight improvement to tests.
Eduardo Julian
1
-15
/
+15
2018-12-10
Fixed a bug in recursive sessions.
Eduardo Julian
1
-3
/
+5
2018-12-09
Improved test for recursion in complex sessions.
Eduardo Julian
1
-27
/
+38
2018-12-09
Working session recursion.
Eduardo Julian
2
-108
/
+176
2018-12-09
WIP: Session recursion.
Eduardo Julian
1
-1
/
+21
2018-12-09
- Some refactoring.
Eduardo Julian
1
-95
/
+72
2018-12-09
Basic implementation for sessions.
Eduardo Julian
3
-3
/
+296
2018-12-09
Added some missing/necessary documentation.
Eduardo Julian
3
-0
/
+14
2018-12-06
Adapted other world signatures to the capability model.
Eduardo Julian
5
-23
/
+45
2018-12-06
- Added basic support for capability-based security.
Eduardo Julian
4
-242
/
+363
2018-12-05
Now tainting values coming from the outside world.
Eduardo Julian
11
-368
/
+435
2018-12-05
Made some improvements to value taining, and added some tests.
Eduardo Julian
3
-28
/
+94
2018-12-05
Some small improvements.
Eduardo Julian
3
-48
/
+81
2018-12-05
Added privacy typing for information-flow control.
Eduardo Julian
2
-0
/
+149
2018-12-04
Some refactoring and small fixes.
Eduardo Julian
8
-17
/
+26
2018-12-04
Restored the "encode" function for duration, to correct for overkill when rem...
Eduardo Julian
4
-8
/
+39
2018-12-04
Some refactoring.
Eduardo Julian
7
-176
/
+201
2018-12-03
Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34
Eduardo Julian
2
-100
/
+1
2018-12-03
Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/33
Eduardo Julian
1
-1
/
+0
2018-12-03
Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35
Eduardo Julian
2
-31
/
+1
2018-10-29
Extracted "phase" from under "lux/platform/compiler/default".
Eduardo Julian
47
-29
/
+31
2018-10-29
Added "Char" type.
Eduardo Julian
1
-3
/
+5
2018-10-29
Nested the compiler and the interpreter under the lux/platform/* path.
Eduardo Julian
65
-9
/
+9
2018-10-29
Added a module for keyboard input.
Eduardo Julian
1
-0
/
+78
2018-10-29
Added a module for video display resolutions.
Eduardo Julian
1
-0
/
+30
2018-10-27
Some refactoring.
Eduardo Julian
12
-327
/
+373
2018-10-27
- Refactored macro-expansion code.
Eduardo Julian
3
-116
/
+155
2018-10-27
Split-out the lux/compiler/meta/archive module.
Eduardo Julian
5
-111
/
+152
2018-10-18
Slight improvements to "lux/data/color".
Eduardo Julian
1
-38
/
+82
2018-10-18
- Added "Alpha" abstraction.
Eduardo Julian
1
-6
/
+26
2018-10-13
Minor refactoring.
Eduardo Julian
5
-42
/
+64
2018-10-13
Introduced an explicit "Compiler" abstraction.
Eduardo Julian
4
-50
/
+69
2018-10-13
Turned the Archive into an abstract type for greater safety when operating on...
Eduardo Julian
1
-23
/
+29
2018-10-13
- Some refactoring.
Eduardo Julian
5
-130
/
+167
[prev]
[next]