Skip to content
Snippets Groups Projects
Iris

Iris

Star 0
Project ID: 3075
Select Git revision
0 results
Forked from Iris / Iris
Loading
Robbert Krebbers's avatar
Merge branch 'robbert/tc_solve' into 'master'
Robbert Krebbers authored 
Add tactic `tc_solve`.

See merge request iris/stdpp!425
d4458085
History
Robbert Krebbers's avatar d4458085
History
Name Last commit Last update