Skip to content

Commit b01a9a6

Browse files
btjbtj
committed
VeriFast proofs: merge upstream changes
VeriFast now crashes on a newly introduced construct; I'm leaving that for a future commit.
1 parent fd04918 commit b01a9a6

3 files changed

Lines changed: 350 additions & 147 deletions

File tree

0 commit comments

Comments
 (0)