Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-01-23 | cryptol: update 2.x branch to version 2.1.0 and remove broken 1.x build | Peter Simons | 1 | -119/+0 |
2014-12-26 | Change occurrences of gcc to the more general cc | John Wiegley | 1 | -5/+5 |
2014-08-22 | Fix various evaluation problems | Eelco Dolstra | 1 | -0/+2 |
2014-08-12 | Don't build broken Haskell packages on Hydra. | Peter Simons | 1 | -0/+2 |
2014-05-17 | cryptol: add a convenient clang/lss wrapper | Austin Seipp | 1 | -1/+4 |
2014-04-29 | cryptol: Replace URLs with something meaningful | Austin Seipp | 1 | -6/+6 |
2014-04-29 | cryptol: add 1.8.x expression | Austin Seipp | 1 | -0/+112 |