I

Iris

Project ID: 1213

0

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

Forked from Iris / Iris

History Find file

Merge branch 'ralf/eq' into 'master' · 6e79f000

Ralf Jung authored Jul 01, 2019

heap_lang: Make binary "=" operator partial, to sync with CmpXchg

Closes #248

See merge request iris/iris!283

6e79f000

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...