rely/guarantee for external library functions#148

Merged

l-kent merged 8 commits intomainfrom procedure-rg

Jan 22, 2024

+1,571-1,945

Commits on Dec 20, 2023

rely/guarantee for external library functions
l-kent
committed

Commits on Jan 15, 2024

change spec to verify
ailrst
committed

Commits on Jan 19, 2024

fix issue for subroutines without rely/guaratee
l-kent
committed

Commits on Jan 22, 2024

transitivity check for inv, and G_f ==> G_c check but there might be issues
l-kent
committed
update example
ailrst
committed
fix bug with procedure call lhs variables not being declared
l-kent
committed
Merge branch 'main' into procedure-rg
l-kent
committed
update expected
l-kent
committed