aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/concurrency/semaphore.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian1-173/+0
2021-02-04Updates for Lua compiler.Eduardo Julian1-64/+47
2020-12-29Moved "lux/data/number" to "lux/math/number".Eduardo Julian1-3/+4
2020-12-25Replaced kebab-case with snake_case for naming convention.Eduardo Julian1-38/+38
2020-12-02Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the con...Eduardo Julian1-2/+2
2020-10-25Some improvements to the Lux syntax parser.Eduardo Julian1-3/+3
2020-09-16Changed the format of project descriptor files.Eduardo Julian1-2/+1
2020-08-09"abstract:" macro now takes annotations after representation type.Eduardo Julian1-6/+6
2020-05-17Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian1-1/+1
2020-05-16Parallel compilation for the new compiler(s).Eduardo Julian1-56/+92
2019-07-26No more "n/"-prefixed functions.Eduardo Julian1-3/+6
2019-04-06Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".Eduardo Julian1-1/+2
2019-04-06Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian1-1/+2
2019-03-30Re-named "do-template" to "template".Eduardo Julian1-1/+1
2019-02-04Changed the naming style for structures.Eduardo Julian1-7/+7
2018-12-15Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian1-9/+9
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-9/+9
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-8/+8
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-4/+4
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-6/+6
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-1/+1
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-7/+9
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-4/+4
2018-07-09- Fixes: Part 1.Eduardo Julian1-1/+1
2018-07-03- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian1-8/+8
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-11/+11
2018-05-13- Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian1-5/+5
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian1-9/+9
2018-01-30- Implemented semaphores, mutexes and barriers.Eduardo Julian1-0/+147
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 14:17:51 +0000