Use PKL when verifying DCPs.
authorCarl Hetherington <cth@carlh.net>
Thu, 16 Aug 2018 23:45:59 +0000 (00:45 +0100)
committerCarl Hetherington <cth@carlh.net>
Thu, 16 Aug 2018 23:46:19 +0000 (00:46 +0100)
commit01e08cb5fef34a33524e404ae8e2ad7d029d0a22
treeb2512bdbb9376cf95b233ab58d0ecd25a86a55f1
parent2f6087e528c1a48fed0ac7166b1ff8704684c87a
Use PKL when verifying DCPs.
src/pkl.cc
src/pkl.h
src/verify.cc
test/verify_test.cc