program_logic/adequacy.v · cb16e4bd3c5b000e9774539541a52008cf8db751 · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
cb16e4bd
Fix compatibility with ssreflect 1.6 (which is used on the CI machine). · cb16e4bd
Robbert Krebbers authored 8 years ago
```
This is probably due to a bug in the rewrite of ssreflect 1.6 which has
been fixed in ssreflect master.
```
cb16e4bd

History
Fix compatibility with ssreflect 1.6 (which is used on the CI machine).
Robbert Krebbers authored 8 years ago
```
This is probably due to a bug in the rewrite of ssreflect 1.6 which has
been fixed in ssreflect master.
```