Alan Mishchenko 3b30fb2a11 Multi-output property solver.		2013-10-26 23:05:13 -07:00
..
abs	Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.	2013-09-23 10:57:15 -07:00
bbr	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
cec	Extending truth table support in &jf for more than 6 inputs.	2013-10-10 14:45:19 -07:00
dch	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
fra	Improving CEC (command 'dcec') by integrating XOR balancing.	2013-06-25 12:13:32 -07:00
fraig	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
int	Adding timeout to AIG rewriting inside 'int'.	2013-07-08 00:18:21 -07:00
live	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
llb	Compiler warnings.	2013-10-17 18:04:07 -07:00
pdr	Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.	2013-10-15 09:04:27 -07:00
ssc	Unifying parameters for the &ps command.	2013-09-05 20:40:50 -07:00
ssw	Multi-output property solver.	2013-10-26 23:05:13 -07:00