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
Modify adequacy proof to not break the 'fancy update' abstraction. Modify fupd...
Joseph Tassarotti authored 
Modify adequacy proof to not break the 'fancy update' abstraction. Modify fupd plainly interface and add new derived results.
7c32c1ac
History
user avatar 7c32c1ac
History
Name Last commit Last update
..