Giters

GaloisInc / pate

Patches Assured up to Trace Equivalence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Review and update README requirements

thebendavis opened this issue · comments

commented
  • update recommended GHC version
  • suggest recommended cabal version
  • 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)