Skip to content

Function Contracts: Support for defining and checking requires and ensures clauses#2655

Merged
JustusAdam merged 41 commits into
model-checking:mainfrom
JustusAdam:simple-contacts-checking
Sep 7, 2023
Merged

Function Contracts: Support for defining and checking requires and ensures clauses#2655
JustusAdam merged 41 commits into
model-checking:mainfrom
JustusAdam:simple-contacts-checking

Merge remote-tracking branch 'fork/main' into simple-contacts-checking

b5499f6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs