Skip to content

414 Verify Level_repr.v (should replace MR 879)

pierrevial requested to merge 414-recover into master

compiles but some statements in Level_storage are now invalid because a predicate in Level_repr.v has changed

Addresses #414 (closed)

Merge request reports