iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	.hgignore: add .rej, .orig files	Baruch Sterin	2015-10-21	1	-1/+3
\|
*	Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute ↵	Baruch Sterin	2015-10-21	1	-0/+3
\| \| \| \|	flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that.
*	More tuning in &nf.	Alan Mishchenko	2015-09-06	1	-10/+1
\|
*	Compiler warnings.	Alan Mishchenko	2015-06-24	1	-0/+1
\|
*	Adding code of MiniSAT 2.2.	Alan Mishchenko	2014-10-21	1	-1/+0
\|
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-1/+4
\|
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-0/+3
\|
*	Uploading pthread library for Windows.	Alan Mishchenko	2012-10-09	1	-1/+3
\|
*	Misc changes.	Alan Mishchenko	2012-04-22	1	-0/+1
\|
*	Exploration of ISO and minor changes.	Alan Mishchenko	2012-03-13	1	-0/+2
\|
*	add arch_flags to .hgignore	Baruch Sterin	2012-01-21	1	-0/+3
\|
*	64-bit portability changes.	Alan Mishchenko	2011-09-17	1	-0/+5
\|
*	Updated technology mapping.	Alan Mishchenko	2011-05-08	1	-2/+0
\|
*	Improvements in sequential verification.	Alan Mishchenko	2011-05-07	1	-0/+2
\|
*	Added switch to control duplication of logic after mapping.	Alan Mishchenko	2011-04-24	1	-0/+1
\|
*	Unsuccessful attempt to improve PDR and a few minor changes.	Alan Mishchenko	2011-04-07	1	-0/+1
\|
*	Made gate library package Mio independent of CUDD.	Alan Mishchenko	2011-03-30	1	-0/+1
\|
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	1	-0/+1
\|
*	pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵	Baruch Sterin	2011-01-13	1	-1/+1
\| \| \| \|	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 commit of public abc	Alan Mishchenko	2010-11-01	1	-0/+41