Add Verific fairness/liveness support
authorClifford Wolf <clifford@clifford.at>
Thu, 12 Oct 2017 09:59:11 +0000 (11:59 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 12 Oct 2017 10:00:09 +0000 (12:00 +0200)
commitbc5cc4e103bf59711c339719d6aabbc3d4b655a4
tree6129905e0609d5c645a7992b9482401ab4003379
parent2b03a73a460a2033f8944c7c85623cef11600024
Add Verific fairness/liveness support
frontends/verific/verific.cc