Skip to content
Snippets Groups Projects

cleanup logrel

Merged cleanup logrel
ci/amin/logrel-cleanup into master
Merged Amin Timany requested to merge ci/amin/logrel-cleanup into master
Compare
and
7 files
+ 352
− 435
Compare changes
  • Side-by-side
  • Inline
Files
7
theories/logrel/F_mu_ref_conc/binary/fundamental.v
+ 166
− 153

Files with large changes are collapsed by default.