iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fixed &reachy to perform reparametrization in case reachability is disabled.	Alan Mishchenko	2011-11-03	1	-2/+2
*	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	Alan Mishchenko	2011-10-31	4	-22/+12
*	Fixed minor issues having to do with the number of BDD vars used.	Alan Mishchenko	2011-09-18	1	-1/+7
*	64-bit portability changes.	Alan Mishchenko	2011-09-17	1	-1/+1
*	Making 'reconcile' ignore the difference in flop count.	Alan Mishchenko	2011-08-29	1	-1/+5
*	Making sure reconcile does not change the PO number.	Alan Mishchenko	2011-08-20	3	-6/+16
*	Changing the ordering of arguments in two iterators.	Alan Mishchenko	2011-08-01	4	-7/+7
*	Fixing mismatch in reconcile.	Alan Mishchenko	2011-05-13	1	-1/+11
*	Improvements to timeout.	Alan Mishchenko	2011-05-11	1	-10/+13
*	Fixing c++ portability issues.	Alan Mishchenko	2011-04-20	1	-1/+1
*	Fixing c++ portability issues.	Alan Mishchenko	2011-04-20	4	-4/+8
*	Improvements to BDD reachability.	Alan Mishchenko	2011-04-18	1	-0/+588
*	Improvements to BDD reachability.	Alan Mishchenko	2011-04-18	5	-23/+38
*	Added command 'reconcile'.	Alan Mishchenko	2011-04-16	4	-203/+364
*	Added cex generation for clustered reachability.	Alan Mishchenko	2011-04-16	5	-37/+292
*	Forgot to update project file.	Alan Mishchenko	2011-04-15	1	-0/+1
*	Further improvements to reachability.	Alan Mishchenko	2011-04-15	4	-52/+191
*	Experiments with reachability.	Alan Mishchenko	2011-04-14	4	-13/+450
*	Minor improvements to reachability.	Alan Mishchenko	2011-04-13	1	-1/+1
*	Enabled new BDD-based reachability engine 'reachy'.	Alan Mishchenko	2011-04-13	5	-2/+1819
*	Fixing timeout in reachability engines.	Alan Mishchenko	2011-03-17	5	-6/+38
*	Fixing bugs in the new procedures added to the library.	Alan Mishchenko	2011-03-05	1	-0/+5
*	Cumulative update to BDD-based reachability, speeding up &reachm and other ch...	Alan Mishchenko	2011-02-28	3	-124/+277
*	Added generation of counter-examples in &reachm.	Alan Mishchenko	2011-02-27	4	-59/+262
*	Improved timeout in the BDD reachability engines.	Alan Mishchenko	2011-02-13	7	-39/+179
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	2	-6/+5
*	Changes to enable C++ compilation after recent modifications.	Alan Mishchenko	2011-02-13	6	-13/+13
*	Improved timeout in &reachp.	Alan Mishchenko	2011-02-08	4	-33/+150
*	Improved timeout in &reachm.	Alan Mishchenko	2011-02-08	1	-20/+81
*	Modificationd to CUDD to enable runtime-limit in variable reordering.	Alan Mishchenko	2011-02-08	1	-0/+4
*	Yet another update to the runtime control in BDD operations.	Alan Mishchenko	2011-02-07	1	-4/+21
*	Added handling runtime limit inside And and AndExist.	Alan Mishchenko	2011-02-07	3	-19/+28
*	Added timeout to &reachn.	Alan Mishchenko	2011-02-04	6	-1505/+114
*	Minor changes while improving BDD-based reachability.	Alan Mishchenko	2011-02-03	2	-45/+82
*	Minor changes to hash table and utilSignal.c.	Alan Mishchenko	2011-02-01	1	-39/+30
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	24	-766/+6108
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	2	-2/+2
*	initial commit of public abc	Alan Mishchenko	2010-11-01	16	-0/+4351