Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Mark `iAlways` as deprecated in the code.
Robbert Krebbers authored 
It was already marked as deprecated in `doc/proof_mode.md`.
ad7eeccc
History
user avatar ad7eeccc
History
Name Last commit Last update