Added equiv_mark command
authorClifford Wolf <clifford@clifford.at>
Fri, 23 Oct 2015 21:56:58 +0000 (23:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 23 Oct 2015 21:56:58 +0000 (23:56 +0200)
commit4cec1c058d5cef6960e12bc4d5371aa853cb72d9
tree30f032c797eed07fc03a5fc2034b9d711776cff4
parentc35db8c19e2d0c84e5947bc23345a87f3d4afd00
Added equiv_mark command
passes/equiv/Makefile.inc
passes/equiv/equiv_mark.cc [new file with mode: 0644]
passes/equiv/equiv_purge.cc