CHANGELOG.md · 62d6672255a8e7b5cbbe23bb1f57e68b18b9ccb0 · Yixuan Chen / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

3 years ago

Merge branch 'ralf/tc-weakestpre' into 'master' · 62d66722

Ralf Jung authored 3 years ago

don't tie bi.weakestpre to program_logic.language (full TC approach)

Closes #408

See merge request iris/iris!656

62d66722

Merge branch 'ralf/tc-weakestpre' into 'master'

Ralf Jung authored 3 years ago

don't tie bi.weakestpre to program_logic.language (full TC approach)

Closes #408

See merge request iris/iris!656

To find the state of this project's repository at the time of any of these versions, check out the tags.