iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Changing switch -R <num> in &gla to mean the max allowed size of abstraction....	Alan Mishchenko	2013-09-23	2	-9/+10
*	Adding resource limit to stop &gla when the number of remaining objects is le...	Alan Mishchenko	2013-09-21	1	-0/+8
*	Adding switch to enable reuse of proof-obligations in the last timeframe.	Alan Mishchenko	2013-09-16	2	-1/+2
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	2	-3/+18
*	Bug fix in PDR.	Alan Mishchenko	2013-09-16	1	-1/+1
*	Fixing return value of 'pdr -a'.	Alan Mishchenko	2013-09-15	1	-1/+5
*	Handling the case when all outputs are undecided in 'pdr -a' with per-output ...	Alan Mishchenko	2013-09-14	2	-6/+3
*	Fixing several bugs, which led to unsound results produced by 'pdr -a' with p...	Alan Mishchenko	2013-09-13	3	-4/+15
*	Enabling additional printouts in 'pdr'.	Alan Mishchenko	2013-09-13	1	-2/+4
*	New API to return the set of all reachable states as an AIG.	Alan Mishchenko	2013-09-10	1	-1/+93
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	4	-11/+11
*	Adding procedures to specify permutations with unused flops.	Alan Mishchenko	2013-08-28	1	-3/+12
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	2	-1/+38
*	Experiment with 'pdr'.	Alan Mishchenko	2013-07-19	3	-34/+126
*	Small data-structure improvements in 'pdr'.	Alan Mishchenko	2013-07-19	3	-25/+33
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-08	1	-2/+0
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-07	1	-0/+12
*	Adding timeout to the interpolant computation procedure.	Alan Mishchenko	2013-06-28	1	-1/+3
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	2	-2/+2
*	Improving CEC (command 'dcec') by integrating XOR balancing.	Alan Mishchenko	2013-06-25	1	-1/+1
*	Improving CEC (command 'dcec') by integrating XOR balancing.	Alan Mishchenko	2013-06-25	1	-0/+35
*	Performance improvements in 'pdr'.	Alan Mishchenko	2013-06-18	2	-4/+10
*	Bug fixes in the implementation of varius resource limits in 'pdr'.	Alan Mishchenko	2013-06-18	1	-7/+18
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	102	-1090/+1090
*	Changing how often timeout is checked in the SAT solver and several applicati...	Alan Mishchenko	2013-05-27	2	-1/+19
*	g++ warnings.	Alan Mishchenko	2013-05-19	2	-2/+2
*	Potential improvement to &scorr.	Alan Mishchenko	2013-05-18	1	-0/+72
*	Fixed gap timeout in 'pdr'.	Alan Mishchenko	2013-05-18	1	-0/+4
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	3	-12/+15
*	Bug fix in the timeout mechanism of 'pdr'.	Alan Mishchenko	2013-05-17	1	-2/+2
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-12	1	-0/+3
*	Changing per-output runtime limit to be in miliseconds.	Alan Mishchenko	2013-05-09	2	-2/+2
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-08	1	-1/+3
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-07	1	-1/+3
*	SAT sweeping under constraints.	Alan Mishchenko	2013-05-06	4	-22/+200
*	Integration of the liveness property prover developed by Sayak Ray.	Alan Mishchenko	2013-05-05	7	-1/+3276
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-04	1	-6/+1
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	5	-4/+72
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	4	-14/+64
*	Added option 'int -I <filename>' to specify file names to dump invariants.	Alan Mishchenko	2013-04-28	3	-3/+7
*	Compiler warnings.	Alan Mishchenko	2013-04-28	1	-2/+2
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	4	-1/+120
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-27	5	-37/+95
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-27	5	-111/+518
*	New fast extract.	Alan Mishchenko	2013-04-27	2	-121/+0
*	Adding rollback for the other solver.	Alan Mishchenko	2013-04-25	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2013-04-25	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2013-04-25	1	-3/+3
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	8	-0/+1198