Improved verific command (added support for some operators)
authorClifford Wolf <clifford@clifford.at>
Mon, 10 Mar 2014 11:06:57 +0000 (12:06 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 10 Mar 2014 11:06:57 +0000 (12:06 +0100)
commit5a15539c9b4280b1ed3a77a131f3197a1127404f
tree12292ab37fe12c2355b2a4ab91cd1e2de270553a
parentc71791a1ffa566585317a01becd5c33ad452fe57
Improved verific command (added support for some operators)
frontends/verific/verific.cc