HEAD | f3f6bc1 | Bump etc/coq-scripts from `3be05c7` to `d85c149` (#46) | 03 July 2022, 02:56:53 UTC |
refs/heads/ITP-2022-perf-data | 1787ab4 | Revert "Remake perf files without {Slow,VerySlow}" This reverts commit a9972c000bda4d8606fe572556d4256614e5f8f7. | 17 July 2021, 00:48:00 UTC |
refs/heads/PLDI-2020-perf-data | fdf45bb | Add perf data | 27 October 2019, 19:20:08 UTC |
refs/heads/POPL-2022-perf-data | c85e1c7 | Update perf txt/csv ``` time make COQBIN="$HOME/.local64/coq/coq-8.11.1/bin/" SKIP_BEDROCK2=1 TIMED=1 --output-sync perf-csv perf-txts ``` | 16 July 2021, 22:50:11 UTC |
refs/heads/PhD-Dissertation-2021-perf-data | fdf45bb | Add perf data | 27 October 2019, 19:20:08 UTC |
refs/heads/PhD-Dissertation-2021-perf-data-newer | 0160d22 | Add perf data From `make perf-Sanity perf-SuperFast perf-Fast perf-Medium; make perf-txts perf-csv perf-fits` | 16 January 2021, 22:35:51 UTC |
refs/heads/dependabot/submodules/etc/coq-scripts-5116cc9 | 1dcf60a | Bump etc/coq-scripts from `d85c149` to `5116cc9` Bumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d85c149` to `5116cc9`. - [Release notes](https://github.com/JasonGross/coq-scripts/releases) - [Commits](https://github.com/JasonGross/coq-scripts/compare/d85c1497e1d864b24f9503fe157418a084edfc05...5116cc9d4d564c7eeac2278d5a39b7fa665b4f76) --- updated-dependencies: - dependency-name: etc/coq-scripts dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com> | 04 July 2022, 16:05:12 UTC |
refs/heads/master | f3f6bc1 | Bump etc/coq-scripts from `3be05c7` to `d85c149` (#46) | 03 July 2022, 02:56:53 UTC |
refs/tags/v0.0.1 | ace6ea0 | Adapt to fixing dropped implicit arguments in Context. | 20 November 2020, 07:38:37 UTC |
refs/tags/v0.0.2 | 10c6a00 | Bump etc/coq-scripts from `3be05c7` to `7e68a28` (#39) | 17 March 2022, 22:03:44 UTC |
refs/tags/v0.0.3 | f18f187 | Bump etc/coq-scripts from `0ca86bb` to `d85c149` (#44) | 13 June 2022, 17:09:23 UTC |