aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-12-30Added HTTP abstractions.Eduardo Julian6-0/+324
2018-12-30Added library for handling identities for values in foreign data-stores.Eduardo Julian1-0/+53
2018-12-30WIP: Added JDBC library.Eduardo Julian3-0/+468
2018-12-30WIP: Added SQL library.Eduardo Julian1-0/+475
2018-12-29Expanded the number of constants that can be created (; but still missing some).Eduardo Julian2-18/+99
2018-12-28Added equivalences.Eduardo Julian9-35/+130
2018-12-28Fixed bug when parsing blobs.Eduardo Julian1-1/+1
2018-12-28Re-organized the class machinery.Eduardo Julian4-127/+118
2018-12-28Added machinery for methods.Eduardo Julian4-59/+87
2018-12-28The (class)loader machinery is now JVM-only.Eduardo Julian1-0/+0
2018-12-28Added machinery for fields.Eduardo Julian7-65/+178
2018-12-28Added machinery for descriptors.Eduardo Julian2-1/+94
2018-12-27- Some improvements to Index.Eduardo Julian5-96/+149
- Some improvements to Constant. - Some improvements to Pool. - WIP: Attribute
2018-12-27Improved machinery for working with constant pools.Eduardo Julian1-0/+68
2018-12-26Small refactoring for JVM names.Eduardo Julian2-8/+10
2018-12-26Tests for bytecode generation.Eduardo Julian1-0/+79
2018-12-26ClassLoader machinery.Eduardo Julian1-0/+124
2018-12-26Expanded the set of available modifiers.Eduardo Julian7-61/+190
2018-12-26Added support for interfaces in classes.Eduardo Julian2-21/+47
2018-12-26Utility functions for getting files and directories.Eduardo Julian1-0/+18
2018-12-26WIP: JVM bytecode generation in pure Lux.Eduardo Julian10-27/+406
2018-12-26Expansion for binary format.Eduardo Julian1-124/+220
2018-12-26Some refactoring & minor additions.Eduardo Julian10-90/+118
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:31:34 +0000