22 Commits

Author	SHA1	Message	Date
Clifford Wolf	e3b11ea2d6	Fixed bug in freduce command	2014-03-07 18:44:23 +01:00
Clifford Wolf	6f8865d81a	Some minor code cleanups in freduce command	2014-03-07 18:29:04 +01:00
Clifford Wolf	54d74cf616	Added freduce -dump	2014-03-06 22:06:58 +01:00
Clifford Wolf	da5859a674	Added freduce -stop	2014-03-06 18:14:26 +01:00
Clifford Wolf	96e753041d	fixed freduce for Minisat::SimpSolver: use frozen_literal()	2014-03-03 02:14:27 +01:00
Clifford Wolf	bc541b47ea	Improved performance of freduce input cone reduction	2014-01-04 13:10:51 +01:00
Clifford Wolf	b791af174e	Improved freduce performance on const signals	2014-01-04 00:06:36 +01:00
Clifford Wolf	10f45b8c8e	Performance improvements in freduce pass	2014-01-03 21:29:28 +01:00
Clifford Wolf	c44e1bec6d	More freduce cleanups	2014-01-03 18:17:28 +01:00
Clifford Wolf	03f0ab9de2	Cleanups in freduce command	2014-01-03 17:50:39 +01:00
Clifford Wolf	bf5e5429c1	Use selection in freduce command	2014-01-03 13:15:11 +01:00
Clifford Wolf	c3e9f0712f	Another small freduce cleanup/bugfix	2014-01-03 12:34:18 +01:00
Clifford Wolf	67d155078d	More freduce cleanups and bugfixes	2014-01-03 02:44:05 +01:00
Clifford Wolf	536e20bde1	Fixed more complex undef cases in freduce	2014-01-02 23:40:20 +01:00
Clifford Wolf	0759c97748	More "freduce" related fixes and improvements	2014-01-02 19:37:34 +01:00
Clifford Wolf	c6b33f81eb	Some cleanups in freduce -inv mode (and switched from -noinv to -inv)	2014-01-02 18:11:01 +01:00
Clifford Wolf	249ef8695a	Major rewrite of "freduce" command	2014-01-02 16:52:33 +01:00
Clifford Wolf	6068b8902f	freduce performance fix	2013-08-10 15:03:13 +02:00
Clifford Wolf	6a40e46a04	Added -try option to freduce pass	2013-08-08 10:56:27 +02:00
Clifford Wolf	56e01ce389	Fixed topological ordering in freduce pass	2013-08-07 19:38:19 +02:00
Clifford Wolf	653750faac	Small bugfixes in freduce pass	2013-08-06 15:53:09 +02:00
Clifford Wolf	6efca9ea5a	Added freduce command	2013-08-06 15:04:52 +02:00