Improve Verific SVA importer
authorClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 08:39:39 +0000 (10:39 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 08:39:39 +0000 (10:39 +0200)
commit147ff96ba372c9dda7e4e662d02760c797ca5b68
tree01be0cec2ccbb263abfb785f6189dcd73f852d05
parent649bb9374f84d653bc724a53fa631ff334861cd0
Improve Verific SVA importer
frontends/verific/verific.cc