aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-12-25Added contravariant functors.Eduardo Julian6-16/+57
2018-12-24Some refactoring.Eduardo Julian3-47/+52
2018-12-16Improved how the "Source" type works.Eduardo Julian2-75/+49
2018-12-15Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.Eduardo Julian4-192/+264
2018-12-15Separated reading promises and writing to promises.Eduardo Julian5-135/+165
2018-12-15Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.Eduardo Julian2-20/+29
2018-12-15No longer relying on "signature:"'s and "structure:"'s internal ↵Eduardo Julian12-154/+150
macro-expansion to handle the "do-template"s inside.
2018-12-15Re-named the "Error" tag to "Failure".Eduardo Julian65-640/+681
2018-12-15Changed the licenses in the project.clj files.Eduardo Julian1-2/+2
2018-12-15Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian21-223/+223
2018-12-15Small improvements.Eduardo Julian8-101/+122
2018-12-15Removed sessions for the moment.Eduardo Julian2-367/+0
They will be revisited in future work.
2018-12-10Slight improvement.Eduardo Julian1-10/+10
2018-12-10Slight improvement to tests.Eduardo Julian1-15/+15
2018-12-10Fixed a bug in recursive sessions.Eduardo Julian1-3/+5
2018-12-09Improved test for recursion in complex sessions.Eduardo Julian1-27/+38
2018-12-09Working session recursion.Eduardo Julian2-108/+176
2018-12-09WIP: Session recursion.Eduardo Julian1-1/+21
2018-12-09- Some refactoring.Eduardo Julian1-95/+72
- Eliminated "choice:" macro.
2018-12-09Basic implementation for sessions.Eduardo Julian3-3/+296
2018-12-09Added some missing/necessary documentation.Eduardo Julian3-0/+14
2018-12-06Adapted other world signatures to the capability model.Eduardo Julian5-23/+45
2018-12-06- Added basic support for capability-based security.Eduardo Julian4-242/+363
- Re-designed the file-system signatures to be capability-based.
2018-12-05Now tainting values coming from the outside world.Eduardo Julian11-368/+435
2018-12-05Made some improvements to value taining, and added some tests.Eduardo Julian3-28/+94
2018-12-05Some small improvements.Eduardo Julian3-48/+81
2018-12-05Added privacy typing for information-flow control.Eduardo Julian2-0/+149
2018-12-04Some refactoring and small fixes.Eduardo Julian8-17/+26
2018-12-04Restored the "encode" function for duration, to correct for overkill when ↵Eduardo Julian4-8/+39
removing contributor code.
2018-12-04Some refactoring.Eduardo Julian7-176/+201
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34Eduardo Julian2-100/+1
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/33Eduardo Julian1-1/+0
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35Eduardo Julian2-31/+1
2018-10-29Extracted "phase" from under "lux/platform/compiler/default".Eduardo Julian47-29/+31
2018-10-29Added "Char" type.Eduardo Julian1-3/+5
2018-10-29Nested the compiler and the interpreter under the lux/platform/* path.Eduardo Julian65-9/+9
2018-10-29Added a module for keyboard input.Eduardo Julian1-0/+78
2018-10-29Added a module for video display resolutions.Eduardo Julian1-0/+30
2018-10-27Some refactoring.Eduardo Julian12-327/+373
2018-10-27- Refactored macro-expansion code.Eduardo Julian3-116/+155
- Added extra functionality to lux/compiler/default/phase/analysis.
2018-10-27Split-out the lux/compiler/meta/archive module.Eduardo Julian5-111/+152
2018-10-18Slight improvements to "lux/data/color".Eduardo Julian1-38/+82
2018-10-18- Added "Alpha" abstraction.Eduardo Julian1-6/+26
- Added "Pigment" abstraction.
2018-10-13Minor refactoring.Eduardo Julian5-42/+64
2018-10-13Introduced an explicit "Compiler" abstraction.Eduardo Julian4-50/+69
2018-10-13Turned the Archive into an abstract type for greater safety when operating ↵Eduardo Julian1-23/+29
on it (cannot skip the abstraction by directly using the dictionary functions).
2018-10-13- Some refactoring.Eduardo Julian5-130/+167
- Small additions/features.
2018-10-13Removed timing/perf-logging.Eduardo Julian4-82/+89
2018-08-29Adapted new-luxc to latest stdlib changes.Eduardo Julian8-51/+46
2018-08-29Field imports are now done as macros instead of functions.Eduardo Julian2-65/+32
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 08:10:45 +0000