issues
search
GaloisInc
/
pate
Patches Assured up to Trace Equivalence
Other
15
stars
2
forks
source link
Review and update README requirements
#393
Closed
thebendavis
closed
1 month ago
thebendavis
commented
2 months ago
[x] update recommended GHC version
[x] we say we support yices, z3, and cvc4: confirm that we still do, and if so recommend versions for each. (see #167, perhaps we only wish to claim support for yices)