iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \|	Updated read_status/write_status to correctly handle the case of seq cex ↵	Alan Mishchenko	2011-02-27	1	-14/+15
\| \| \| \| \| \| \| \|	without regs.
* \|	Replaced remove() by unlink() to compile on Windows.	Alan Mishchenko	2011-02-27	1	-2/+3
\| \|
* \|	fixes to pyabc kill mechanism	Baruch Sterin	2011-02-27	6	-585/+776
\| \|
* \|	Added generation of counter-examples in &reachm.	Alan Mishchenko	2011-02-27	4	-59/+262
\| \|
* \|	Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).	Alan Mishchenko	2011-02-22	2	-53/+102
\| \|
* \|	Fixed a critical bug in the previous update.	Alan Mishchenko	2011-02-21	1	-1/+1
\| \|
* \|	Implemented additional filtering of equivalences (&srm -sf).	Alan Mishchenko	2011-02-21	4	-32/+108
\| \|
* \|	Moved two new APIs for reading/writing CEX from/into ABC from abc.c to ↵	Alan Mishchenko	2011-02-19	3	-39/+6
\| \| \| \| \| \| \| \|	mainFrame.c.
* \|	Changes to support sequential verification with reduction without speculation.	Alan Mishchenko	2011-02-19	5	-421/+243
\| \|
* \|	Added two new APIs for reading/writing CEX from/into ABC.	Alan Mishchenko	2011-02-19	2	-12/+122
\| \|
* \|	Another corner-case bug in zeropo.	Alan Mishchenko	2011-02-19	1	-2/+3
\| \|
* \|	Adding one more control switch to CEC commands (i)prove.	Alan Mishchenko	2011-02-19	1	-4/+28
\| \|
* \|	Improvements to CEC command iprove.	Alan Mishchenko	2011-02-18	3	-10/+96
\| \|
* \|	Fixing the problem with writing/reading bug-free depth in status files.	Alan Mishchenko	2011-02-17	1	-6/+13
\| \|
* \|	Fixed Cudd_DumpDot() to not print leading zeros because of OS-dependent ↵	Alan Mishchenko	2011-02-16	1	-30/+15
\| \| \| \| \| \| \| \|	fprintf switch %p.
* \|	fixes for dumb erros in utilSignal.c/h	Baruch Sterin	2011-02-15	2	-22/+18
\| \|
* \|	Improved timeout in the BDD reachability engines.	Alan Mishchenko	2011-02-13	11	-39/+195
\| \|
* \|	Fixing g++ compilation issue for tmpFile().	Alan Mishchenko	2011-02-13	1	-44/+29
\| \|
* \|	Unified the use of counter-examples in three packages (additional files).	Alan Mishchenko	2011-02-13	2	-0/+275
\| \|
* \|	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	42	-818/+270
\| \|
* \|	Changes to enable C++ compilation after recent modifications.	Alan Mishchenko	2011-02-13	20	-96/+58
\| \|
* \|	Removing 1.txt, which was added by mistake.	Alan Mishchenko	2011-02-13	1	-68/+0
\| \|
* \|	Upgrade to the latest CUDD 2.4.2.	Alan Mishchenko	2011-02-13	67	-22151/+27049
\| \|
* \|	Portability changes to the st package.	Alan Mishchenko	2011-02-13	4	-41/+75
\| \|
* \|	Minor change to the project file.	Alan Mishchenko	2011-02-13	1	-0/+4
\| \|
* \|	Bug fix in setting the number of finished frames when reading a status file.	Alan Mishchenko	2011-02-11	1	-1/+1
\|/
*	LUT-size-based balancing (disabled by default).	Alan Mishchenko	2011-02-11	1	-1/+79
\|
*	Bug fix in zeropo.	Alan Mishchenko	2011-02-11	1	-0/+5
\|
*	Improved timeout in &reachp.	Alan Mishchenko	2011-02-08	4	-33/+150
\|
*	Additional change to enable runtime limit in CUDD in variable reordering.	Alan Mishchenko	2011-02-08	1	-0/+1
\|
*	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	5	-21/+33
\|
*	Yet another update to the runtime control in BDD operations.	Alan Mishchenko	2011-02-07	3	-8/+214
\|
*	Added handling runtime limit inside And and AndExist.	Alan Mishchenko	2011-02-07	7	-19/+521
\|
*	Added timeout to &reachn.	Alan Mishchenko	2011-02-04	6	-1505/+114
\|
*	Eneabled writing/reading pAbc->nFrames into/from status files.	Alan Mishchenko	2011-02-04	4	-21/+21
\|
*	Added writing signal names in AIGER writer for GIA package.	Alan Mishchenko	2011-02-03	1	-0/+16
\|
*	Make PDR return the number of completed frames.	Alan Mishchenko	2011-02-03	3	-25/+33
\|
*	Minor changes while improving BDD-based reachability.	Alan Mishchenko	2011-02-03	3	-48/+84
\|
*	Minor changes to hash table and utilSignal.c.	Alan Mishchenko	2011-02-01	4	-47/+41
\|
*	merge pyabc changes into mainline	Baruch Sterin	2011-02-01	51	-2806/+7884
\|\
\| *	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	51	-2804/+8242
\| \|
* \|	src/misc/util/utilSignal.c	Baruch Sterin	2011-02-01	2	-2/+3
\| \|
* \|	1. Replace system() with a function that responds to SIGINT. 2. Add ↵	Baruch Sterin	2011-02-01	9	-48/+1016
\|/ \| \| \|	functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
*	New code since Dec 2010.	Alan Mishchenko	2011-01-13	14	-0/+4387
\|
*	merge changes from main branch	Baruch Sterin	2011-01-13	55	-445/+1326
\|\
\| *	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	55	-445/+1326
\| \|
* \|	pyabc: reorganize supporting python scripts	Baruch Sterin	2011-01-13	4	-1/+346
\| \|
* \|	pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵	Baruch Sterin	2011-01-13	4	-63/+122
\|/ \| \| \|	processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked
*	Initial implementation of AnalyseFinal	Alan Mishchenko	2010-12-03	2	-1/+9
\|