Update to latest Verific with extensions for initial assertions
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 9 Jul 2021 07:02:27 +0000 (09:02 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 9 Jul 2021 07:02:27 +0000 (09:02 +0200)
commit7a5ac909858c22f2daf2f7ca63869c554dc3b9b5
tree4c5e9c90348c05c9a508eb2922fdfdb4b367654a
parent4446cfa524cf06e84add450214f64b2de6e199c3
Update to latest Verific with extensions for initial assertions
Makefile
frontends/verific/verific.cc