Add PSL parser mode to verific front-end
authorClifford Wolf <clifford@clifford.at>
Wed, 8 Feb 2017 09:40:33 +0000 (10:40 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 8 Feb 2017 09:40:33 +0000 (10:40 +0100)
commit1d1f56a3617dcee6d856a29d1d8576969bf8dce5
tree8b4bf823ccd604f14556b9fe9b7518f183f4e77d
parent7e0b776a793f648bed3338dfbc6b25bc1c24e873
Add PSL parser mode to verific front-end
frontends/verific/verific.cc