tchajed/coq-record-update-plugin
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
31 commits 1 branch 0 tags 72 KiB
  • Rocq Prover 45.7%
  • OCaml 45.1%
  • sed 5.6%
  • Makefile 2.2%
  • Dune 1.4%
Find a file
Exact
Tej Chajed 658c136ecc
 Fix typo in error message
2021-11-19 08:52:29 -05:00
.github/workflows Mark incompatible with Coq 8.13 2021-10-07 10:28:57 -04:00
src Fix typo in error message 2021-11-19 08:52:29 -05:00
tests Fix typo in error message 2021-11-19 08:52:29 -05:00
theories Move demo to tests 2020-11-24 09:17:49 -06:00
.gitignore Ignore _build from dune 2021-11-19 08:52:01 -05:00
_CoqProject Move demo to tests 2020-11-24 09:17:49 -06:00
coq-record-update-plugin.opam Mark incompatible with Coq 8.13 2021-10-07 10:28:57 -04:00
dune Add coq-templates setup 2020-11-23 16:50:11 -06:00
dune-project Add coq-templates setup 2020-11-23 16:50:11 -06:00
Makefile Minimal project skeleton 2020-11-23 12:33:18 -06:00
Makefile.coq.local Add test normalization 2021-11-19 08:51:45 -05:00
meta.yml Switch to GitHub Actions 2020-11-29 18:37:45 -06:00
README.md Update CI config to Coq 8.13 2021-10-07 10:18:23 -04:00
test-normalizer.sed Add test normalization 2021-11-19 08:51:45 -05:00

README.md

Plugin for coq-record-update

CI

coq-record-update requires some boilerplate for each record, to tell the library what the fields of a record are. This plugin fixes that.

Huge thanks to Talia Ringer, who told me what arcane APIs to call while I typed them into an OCaml buffer.