~cypheon/Idris2

5368eacb — Johann Rudloff 14 days ago master
Merge branch 'srht-ci'
58a8a5ab — Johann Rudloff 14 days ago
Skip racket/future001 test on FreeBSD
37ec2e92 — Johann Rudloff 14 days ago
Merge remote-tracking branch 'cypheon/fix-refc-clocks-per-nsec'
3095c096 — Johann Rudloff 14 days ago
[ fix ] Cast CLOCKS_PER_SEC to float before division

The cast to float needs to happen before the division, otherwise integer
division will be performed, and as a result `CLOCKS_PER_NSEC` will
always be 0 if `CLOCKS_PER_SEC` < `NSEC_PER_SEC`.
6df80ffe — Guillaume ALLAIS 15 days ago
[ cleanup ] tests/Main.idr import list
da4ee925 — Fabián Heredia Montiel 15 days ago
[ cleanup ] Remove unnecessary `Libraries.Utils.Either`
6f839240 — Guillaume ALLAIS 17 days ago
[ warn ] holes are not shadowed by implicits
eb044fcf — Zoe Stafford 17 days ago
Support `prim__codegen` on javascript
d69e35cb — G. Allais 17 days ago
[ re #1466 ] Actually error out with `-Werror` (#1474)

[ docs ] Build docs for the 'test' package
30c178c8 — Fabián Heredia Montiel 17 days ago
[ feature ] Implement `-Werror` (WarningsAsErrors) (#1466)

Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
0101db9e — Johann Rudloff 17 days ago
Merge branch 'srht-ci'
90f2d44d — Johann Rudloff 17 days ago srht-ci
sr.ht CI: Run tests non-interactively
1a25d6c4 — Johann Rudloff 17 days ago
Merge branch 'srht-ci'
791c6d80 — Johann Rudloff 17 days ago
Merge branch 'fix-nul-strings'
f467554c — Johann Rudloff 17 days ago fix-nul-strings
Re-add C:strlen as a fallback for refC codegen
55aab531 — Johann Rudloff 17 days ago
Merge remote-tracking branch 'origin/master'
b5cbf927 — Guillaume ALLAIS 17 days ago
[ test ] cosmetic improvements

Put the dependency checks in the banner, e.g.:

------------------------------------------------------------------------
Base library
✓ Found Chez at /usr/bin/chezscheme9.5
✓ Found node at /usr/bin/node
------------------------------------------------------------------------
1329e69b — Edwin Brady 17 days ago
Merge pull request #1469 from edwinb/issue1365

Cache intermediate results in totality checking
a9b754e9 — Edwin Brady 17 days ago
Remove whitespace again

Didn't I just do this? Grr.
Next