Add Verific fairness/liveness support
authorClifford Wolf <clifford@clifford.at>
Thu, 12 Oct 2017 09:59:11 +0000 (11:59 +0200)
committerKaj Tuomi <kaj.tuomi@siru.fi>
Thu, 12 Oct 2017 10:25:24 +0000 (13:25 +0300)
commit3efce9dea99d8b18e6e4694160b5348373afc175
tree92233bad61080460ecbd862a23e94e63904a3e86
parent90be0d800b350da12689c7943800e18420149eaa
Add Verific fairness/liveness support
frontends/verific/verific.cc