| Commit message (Expand) | Author | Age | Files | Lines |
* | - Correct failure signal (1) when tests fail. | Eduardo Julian | 2016-12-21 | 1 | -18/+39 |
* | - Can specify how many times a property-based/generative test is supposed to ... | Eduardo Julian | 2016-12-21 | 1 | -15/+25 |
* | - Updated tests for lux/data/struct/zipper and lux/math/complex. | Eduardo Julian | 2016-12-20 | 2 | -8/+8 |
* | - Updated tests and fixed code for lux/math/complex, lux/math/ratio. | Eduardo Julian | 2016-12-20 | 3 | -32/+54 |
* | - lux/test can now handle thrown exceptions better. | Eduardo Julian | 2016-12-20 | 2 | -21/+35 |
* | - Updated tests and fixed code for lux/codata/struct/stream, lux/concurrency/... | Eduardo Julian | 2016-12-20 | 7 | -67/+80 |
* | - Fixed a bug in Frac encoding, where the prefix dot was not being added for ... | Eduardo Julian | 2016-12-20 | 1 | -5/+7 |
* | - Improved tests (and added fixes) for lux/data/struct/vector, lux/type and l... | Eduardo Julian | 2016-12-20 | 4 | -22/+42 |
* | - Improved tests for lux/data/char, lux/host, lux/type/check. | Eduardo Julian | 2016-12-19 | 4 | -44/+71 |
* | - Fixed a bug when updating the value of a STM var. | Eduardo Julian | 2016-12-19 | 2 | -61/+40 |
* | - Refactored the tests for lux/regex to avoid a truncated-class error when co... | Eduardo Julian | 2016-12-19 | 1 | -5/+11 |
* | - Improved the way tests are run. | Eduardo Julian | 2016-12-19 | 3 | -35/+52 |
* | - Better error messages when analysing classes, interfaces and anonymous cla... | Eduardo Julian | 2016-12-18 | 1 | -9/+12 |
* | - Added tests for the monad transformers for Error, Maybe, State, List and Env. | Eduardo Julian | 2016-12-18 | 10 | -9/+81 |
* | - Fixed a bug when adjusting types during pattern-matching analysis. | Eduardo Julian | 2016-12-18 | 2 | -31/+45 |
* | - Better formatting for types and lists. | Eduardo Julian | 2016-12-18 | 2 | -8/+13 |
* | - Tested monad transformer for Error. | Eduardo Julian | 2016-12-18 | 2 | -2/+14 |
* | - Fixed a bug in the way effect-handling worked. | Eduardo Julian | 2016-12-18 | 3 | -26/+110 |
* | - Bug fixes and refactorings for algebraic effects. | Eduardo Julian | 2016-12-18 | 3 | -45/+81 |
* | - Fixed a bug in a test that was (sometimes) causing division-by-zero. | Eduardo Julian | 2016-12-18 | 1 | -1/+1 |
* | - Added tests for lux/macro/poly/* | Eduardo Julian | 2016-12-17 | 10 | -119/+376 |
* | - Added the type-of macro. | Eduardo Julian | 2016-12-17 | 1 | -14/+24 |
* | - Some small refactorings. | Eduardo Julian | 2016-12-17 | 2 | -54/+103 |
* | - Added tests for lux/codata/cont. | Eduardo Julian | 2016-12-15 | 2 | -5/+51 |
* | - Updated tests for lux/type. | Eduardo Julian | 2016-12-15 | 10 | -81/+427 |
* | - Updated tests for lux/macro/ast and lux/macro/syntax. | Eduardo Julian | 2016-12-14 | 5 | -200/+318 |
* | - Updated lux/pipe, lux/lexer and lux/regex tests. | Eduardo Julian | 2016-12-14 | 9 | -389/+599 |
* | - No longer using record syntax in certain macros. | Eduardo Julian | 2016-12-12 | 27 | -120/+120 |
* | - Renamed "==" function to "is". | Eduardo Julian | 2016-12-12 | 11 | -43/+42 |
* | - Small fixes, refactorings and expansions. | Eduardo Julian | 2016-12-12 | 13 | -111/+236 |
* | - Added tests for lux/math/ratio and lux/math/simple. | Eduardo Julian | 2016-12-12 | 19 | -147/+349 |
* | - Updates lux/math tests. | Eduardo Julian | 2016-12-11 | 6 | -131/+408 |
* | - Updated & expanded lux/concurrency/* tests. | Eduardo Julian | 2016-12-08 | 7 | -187/+383 |
* | - Removed some comments that slipped in with the code. | Eduardo Julian | 2016-12-07 | 1 | -14/+0 |
* | - Updated lux/host tests. | Eduardo Julian | 2016-12-06 | 6 | -63/+158 |
* | - Updated tests in the lux/codata branch. | Eduardo Julian | 2016-12-05 | 7 | -115/+170 |
* | - Fixed a bug wherein aliased definitions where getting assigned non-type val... | Eduardo Julian | 2016-12-04 | 2 | -6/+8 |
* | - Removed "monitorenter" and "monitorexit" procedures. | Eduardo Julian | 2016-12-04 | 2 | -35/+0 |
* | - No longer adding the LUX_JAR attribute to compiled JARs. | Eduardo Julian | 2016-12-04 | 1 | -1/+0 |
* | - Minor refactorings and expansions. | Eduardo Julian | 2016-12-04 | 14 | -141/+184 |
* | - Added Number implementation for Frac. | Eduardo Julian | 2016-12-02 | 1 | -0/+13 |
* | - Implemented macros for using math functions in an easier (unprefixed) way. | Eduardo Julian | 2016-12-02 | 2 | -48/+378 |
* | - gcd and lcm functions now work on Nat, instead of Int. | Eduardo Julian | 2016-12-02 | 2 | -13/+10 |
* | - Fixed a bug that was causing compilation & testing to be done more than nec... | Eduardo Julian | 2016-12-02 | 5 | -15/+26 |
* | - Changed the names of math op functions to make them more consistent and sim... | Eduardo Julian | 2016-12-02 | 69 | -990/+938 |
* | - Updated lux/cli tests. | Eduardo Julian | 2016-12-02 | 3 | -90/+103 |
* | - Bug fixes, refactorings and minor expansions. | Eduardo Julian | 2016-12-01 | 12 | -434/+308 |
* | - lux-lein can now watch source-code directories to automatically build and t... | Eduardo Julian | 2016-12-01 | 3 | -9/+56 |
* | - Logging test errors with one less newline afterwards. | Eduardo Julian | 2016-12-01 | 1 | -1/+1 |
* | - Improved the implementation of vector equality. | Eduardo Julian | 2016-12-01 | 1 | -1/+17 |