| #
2684d923 |
|
03-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: bulk rename stdgum to libgum in all places
|
| #
cbcb052f |
|
03-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: fix included datafiles
[skip ci]
|
| #
6bc7bf19 |
|
25-Mar-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: better error message
[skip ci][skip lemma]
|
| #
9efb00e4 |
|
20-Mar-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
autocorres: remove the submomdule and use the release
update readme, tests, etc. accordingly
|
| #
fd00617f |
|
30-Mar-2017 |
Zilin Chen <Zilin.Chen@nicta.com.au> |
regression: lemma and travis cover most tests (minus huge proofs)
* add some isabelle related tests back to lemma-regression
* update libgum typecheck test
* fix isabelle tests
* fix bilby build (fail due to kernel compatibility)
* other misc fixes to test script
|
| #
97727027 |
|
01-May-2016 |
Peter Chubb <peter.chubb@nicta.com.au> |
Initial Release
|