21 Commits

Author	SHA1	Message	Date
Yen-Sheng Ho	16fda0bd24	added a simple example; edited hgignore	2017-02-18 09:10:45 -08:00
Baruch Sterin	a07c08551d	.hgignore: add .rej, .orig files	2015-10-21 22:56:15 -07:00
Baruch Sterin	9b3a358e6f	Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute 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.	2015-10-21 22:56:15 -07:00
Alan Mishchenko	34fa6addc9	More tuning in &nf.	2015-09-06 16:37:02 -07:00
Alan Mishchenko	9b1de5b166	Compiler warnings.	2015-06-24 12:31:43 -07:00
Alan Mishchenko	228dbcc51e	Adding code of MiniSAT 2.2.	2014-10-21 19:45:52 -07:00
Alan Mishchenko	a9317eac75	Preparing to work with C++ code.	2014-10-21 19:37:33 -07:00
Alan Mishchenko	9055265394	Bug fix in &fraig -L <num>.	2014-08-12 16:23:52 -07:00
Alan Mishchenko	9cbe102b52	Uploading pthread library for Windows.	2012-10-09 09:43:40 -07:00
Alan Mishchenko	b8088b901d	Misc changes.	2012-04-22 23:33:50 -07:00
Alan Mishchenko	aeedc6ace5	Exploration of ISO and minor changes.	2012-03-13 16:12:16 -07:00
Baruch Sterin	88dd9d619f	add arch_flags to .hgignore	2012-01-21 18:22:04 -08:00
Alan Mishchenko	c1edeccc60	64-bit portability changes.	2011-09-17 16:24:40 -07:00
Alan Mishchenko	57daeee997	Updated technology mapping.	2011-05-08 00:22:32 -07:00
Alan Mishchenko	b8b75cf14f	Improvements in sequential verification.	2011-05-07 18:21:50 -07:00
Alan Mishchenko	affb43e2a3	Added switch to control duplication of logic after mapping.	2011-04-24 10:43:24 -07:00
Alan Mishchenko	a28fe0d324	Unsuccessful attempt to improve PDR and a few minor changes.	2011-04-07 13:49:03 -07:00
Alan Mishchenko	1794bd37cd	Made gate library package Mio independent of CUDD.	2011-03-30 21:02:29 -07:00
Alan Mishchenko	d4291dab37	Cumulative changes of the last two weeks.	2011-02-01 15:47:55 -08:00
Baruch Sterin	c85a763444	pyabc: make the SIGINT signal handler clean up by sending SIGINT to child processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked	2011-01-13 22:11:37 +02:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00