Commits on Source (343)
Showing
- .gitignore 2 additions, 0 deletions.gitignore
- .gitlab-ci.yml 11 additions, 11 deletions.gitlab-ci.yml
- CHANGELOG.md 270 additions, 7 deletionsCHANGELOG.md
- Makefile 6 additions, 0 deletionsMakefile
- Makefile.coq.local 13 additions, 11 deletionsMakefile.coq.local
- ProofMode.md 0 additions, 1 deletionProofMode.md
- README.md 1 addition, 1 deletionREADME.md
- _CoqProject 8 additions, 5 deletions_CoqProject
- benchmark/.gitignore 0 additions, 3 deletionsbenchmark/.gitignore
- benchmark/export.py 0 additions, 50 deletionsbenchmark/export.py
- benchmark/gitlab-extract.py 0 additions, 118 deletionsbenchmark/gitlab-extract.py
- benchmark/parse_log.py 0 additions, 60 deletionsbenchmark/parse_log.py
- benchmark/visualize.py 0 additions, 40 deletionsbenchmark/visualize.py
- coq-iris.opam 2 additions, 2 deletionscoq-iris.opam
- docs/dune.md 47 additions, 0 deletionsdocs/dune.md
- docs/editor.md 5 additions, 5 deletionsdocs/editor.md
- docs/heap_lang.md 2 additions, 2 deletionsdocs/heap_lang.md
- docs/proof_guide.md 1 addition, 2 deletionsdocs/proof_guide.md
- docs/proof_mode.md 20 additions, 8 deletionsdocs/proof_mode.md
- docs/resource_algebras.md 11 additions, 12 deletionsdocs/resource_algebras.md
ProofMode.md
deleted
100644 → 0
benchmark/.gitignore
deleted
100644 → 0
benchmark/export.py
deleted
100755 → 0
benchmark/gitlab-extract.py
deleted
100755 → 0
benchmark/parse_log.py
deleted
100644 → 0
benchmark/visualize.py
deleted
100755 → 0
docs/dune.md
0 → 100644