I

Iris

Project ID: 118

7

The Coq development for Iris. [project website] [coqdoc]

History Find file

Merge branch 'reorder_requires' into 'master' · 708b8ac0
Jacques-Henri Jourdan authored Sep 13, 2019
```
Reorder Requires so that we do not depend of Export bugs.

See merge request !313
```
708b8ac0

Name	Last commit	Last update
.gitlab/issue_templates		Loading commit data...
benchmark		Loading commit data...
docs		Loading commit data...
tests		Loading commit data...
theories		Loading commit data...
.gitattributes		Loading commit data...
.gitignore		Loading commit data...
.gitlab-ci.yml		Loading commit data...
.gitmodules		Loading commit data...
CHANGELOG.md		Loading commit data...
CONTRIBUTING.md		Loading commit data...
Editor.md		Loading commit data...
HeapLang.md		Loading commit data...
LICENSE		Loading commit data...
LICENSE-CODE		Loading commit data...
LICENSE-DOCS		Loading commit data...
Makefile		Loading commit data...
Makefile.coq.local		Loading commit data...
ProofGuide.md		Loading commit data...
ProofMode.md		Loading commit data...
README.md		Loading commit data...
StyleGuide.md		Loading commit data...
_CoqProject		Loading commit data...
build-all		Loading commit data...
descr		Loading commit data...
opam		Loading commit data...
test-normalizer.sed		Loading commit data...