Added equiv_induct
authorClifford Wolf <clifford@clifford.at>
Thu, 22 Jan 2015 13:03:18 +0000 (14:03 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 22 Jan 2015 13:03:18 +0000 (14:03 +0100)
commitf6d94e87209103a6076bcef71235ac804ad32e86
treea5b07d219c9b9dee653c1e498d3d200c75022798
parenta6aa32e762d29f050d0b6d49e288514964a5aac5
Added equiv_induct
passes/equiv/Makefile.inc
passes/equiv/equiv_induct.cc [new file with mode: 0644]