aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/equivalence.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2022-12-23Began work on C++ back-end.Eduardo Julian1-30/+0
2022-11-07Added support for inline testing.Eduardo Julian1-5/+10
2022-08-10Extracted property-based testing machinery into its own module.Eduardo Julian1-2/+3
2022-07-28Extracted unit-testing machinery into its own module.Eduardo Julian1-2/+2
2022-06-16De-sigil-ification: suffix : [Part 14]Eduardo Julian1-2/+2
2022-06-16De-sigil-ification: suffix : [Part 13]Eduardo Julian1-1/+1
2022-06-04Extensible import syntax [Part 6]Eduardo Julian1-1/+1
2022-06-03Extensible import syntax [Part 5]Eduardo Julian1-1/+1
2022-06-02Extensible import syntax [Part 3]Eduardo Julian1-1/+1
2022-06-01Extensible import syntax: Part 1Eduardo Julian1-4/+4
2022-04-09Better names for testing macros (plus better indentation).Eduardo Julian1-4/+4
2022-04-08De-sigil-ification: $Eduardo Julian1-5/+5
2022-03-15De-sigil-ification: ^Eduardo Julian1-1/+1
2022-01-06Small optimizations to JVM bytecode generation.Eduardo Julian1-16/+16
2021-09-15"module:" => "using"Eduardo Julian1-1/+1
2021-09-13Updated only/except import syntax to take into account record => variant synt...Eduardo Julian1-4/+4
2021-09-07De-taggification | part 4Eduardo Julian1-3/+3
2021-09-04De-taggification | part 2Eduardo Julian1-5/+5
2021-08-27Updates to the Ruby compiler.Eduardo Julian1-1/+1
2021-08-08No more #export magic syntax.Eduardo Julian1-1/+1
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-0/+0
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian1-7/+8
2021-07-12Better syntax for parallel-hierarchy imports.Eduardo Julian1-2/+2
2021-01-28Implemented arithmetic right-shift in terms of logic right-shift.Eduardo Julian1-3/+3
2020-12-10Re-named "with-cover" to "for".Eduardo Julian1-1/+1
2020-11-07Pure-Lux implementation for biggest and smallest Frac values.Eduardo Julian1-5/+5
2020-07-01Moved all spec(ifications) from under "test/" to under "spec/".Eduardo Julian1-0/+23
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 06:57:14 +0000