make calls extensible
Merge request reports
Activity
Filter activity
added 12 commits
-
92b98099...b6d3ff70 - 3 commits from branch
master
- 869827f0 - make calls extensible
- e1493550 - add list of types to call
- baceff23 - make statement postcondition more generic
- 1931d451 - add introduce_typed_stmt
- 44bbe38e - make copy alloc id a function
- 5e9bba9e - more proofs
- 933a11b6 - hack printing of filenames
- d246eada - fix admitted
- 144ccd62 - let binding for return
Toggle commit list-
92b98099...b6d3ff70 - 3 commits from branch
added 2 commits
- c94c8a77 - New rc::inlined annotation.
- 4667031d - Use relative paths whenever possible in code.
added 1 commit
- 78bc8731 - Do not record proof files for inlined functions.
added 14 commits
-
dda74daa - 1 commit from branch
master
- 92e2c3c9 - make calls extensible
- 80067ab2 - add list of types to call
- 64e3cbcd - make statement postcondition more generic
- 373db575 - add introduce_typed_stmt
- 9e63503b - make copy alloc id a function
- 05373a5a - more proofs
- 11f0042d - hack printing of filenames
- 79000110 - fix admitted
- e372bfbc - let binding for return
- 8e757d16 - New rc::inlined annotation.
- 22cf0ce5 - Use relative paths whenever possible in code.
- 9f39921a - Do not record proof files for inlined functions.
- 178a517c - add small testcase for inline code
Toggle commit list-
dda74daa - 1 commit from branch
added 1 commit
- 5c183939 - change spec such that the example should work
added 3 commits
-
94db47f0...ef38ef58 - 2 commits from branch
master
- 5f7b2cce - make calls extensible and add rc::inlined
-
94db47f0...ef38ef58 - 2 commits from branch
Please register or sign in to reply