Added "verific" command
authorClifford Wolf <clifford@clifford.at>
Sun, 9 Mar 2014 19:40:04 +0000 (20:40 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 9 Mar 2014 19:40:04 +0000 (20:40 +0100)
commit8d06f9f2fe19cc581e61ff66d0641bc03f815fb3
tree04770ed5e48a2038c0928ec255217dc403795f03
parentfcae92868de81de87079c1415d3d0123dce8d84c
Added "verific" command
Makefile
frontends/verific/Makefile.inc [new file with mode: 0644]
frontends/verific/verific.cc [new file with mode: 0644]