9 commits

Author	SHA1	Message	Date
whitequark	c38ea9ae65	equiv_opt: new command, for verifying optimization passes.	2018-12-07 17:20:34 +00:00
Clifford Wolf	4cec1c058d	Added equiv_mark command	2015-10-23 23:56:58 +02:00
Clifford Wolf	84a07ffb8a	Added equiv_purge	2015-10-22 15:40:27 +02:00
Clifford Wolf	00e05b1310	Added equiv_struct command	2015-10-21 17:12:35 +02:00
Clifford Wolf	5170b86108	Added equiv_add	2015-02-08 11:59:38 +01:00
Clifford Wolf	acfaeb8d34	Added equiv_remove	2015-01-25 14:20:22 +01:00
Clifford Wolf	66a6b86daa	Added equiv_miter	2015-01-25 14:00:49 +01:00
Clifford Wolf	f6d94e8720	Added equiv_induct	2015-01-22 14:03:18 +01:00
Clifford Wolf	0a225f8b27	Moved equiv stuff to passes/equiv/	2015-01-22 12:03:15 +01:00