Add assert/assume support to verific front-end
authorClifford Wolf <clifford@clifford.at>
Sat, 4 Feb 2017 12:36:00 +0000 (13:36 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 4 Feb 2017 12:36:00 +0000 (13:36 +0100)
commit911c44d164e04026bd3a3a2eb1bf0c5d9cca5c19
treec6fcc7b6750a31ad8fb237b670d3115924b0fa15
parent249ddbc16cca88f0ac7942526f0189c56ace93f9
Add assert/assume support to verific front-end
frontends/verific/build_amd64.txt
frontends/verific/verific.cc