HEAD | 4b3148a | Update README: paper citation formatting | 23 August 2022, 18:34:33 UTC |
refs/heads/artefact | 672ba0d | Create LICENSE | 10 January 2020, 12:53:31 UTC |
refs/heads/artifact-2020 | 858b830 | Fix figure ref | 04 June 2021, 10:50:44 UTC |
refs/heads/ccs2022 | 93a7088 | Tweak doc style | 03 May 2022, 08:57:42 UTC |
refs/heads/coq-8.11 | 4723157 | Ignore files not used in build process (#186) | 01 July 2022, 10:46:10 UTC |
refs/heads/coq-8.14 | a16a251 | Fix stdlib url (#191) | 22 August 2022, 08:52:59 UTC |
refs/heads/coq-8.15 | 4b3148a | Update README: paper citation formatting | 23 August 2022, 18:34:33 UTC |
refs/heads/fmbc2022 | 3382e48 | Dexter1 tests (#171) | 24 May 2022, 20:50:09 UTC |
refs/heads/gh-pages | 932cb97 | Deploy to GitHub pages | 22 August 2022, 09:00:22 UTC |
refs/heads/itp2022 | 8228ffd | Update CameLIGOPretty.v (#137) | 09 February 2022, 06:19:01 UTC |
refs/heads/journal-2021 | 8afa834 | Switch to LIGO 0.34.0; uncomment extraction of CounterSubsetTypes | 25 February 2022, 11:56:07 UTC |
refs/heads/master | 4b3148a | Update README: paper citation formatting | 23 August 2022, 18:34:33 UTC |