Support for more Verific primitives (patch I got per email)
authorClifford Wolf <clifford@clifford.at>
Sat, 13 Feb 2016 07:19:30 +0000 (08:19 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 13 Feb 2016 07:19:30 +0000 (08:19 +0100)
commit7bd329afa07ad97969afa69faba925634b03252d
tree7086d7162fe922df0a614e5480554face0660605
parent840a6dc893221119a9aed52b8294445e48a964a9
Support for more Verific primitives (patch I got per email)
frontends/verific/verific.cc