18 Commits

Author	SHA1	Message	Date
Baruch Sterin	aaacf57304	pyabc: fix _cex_put to not call Abc_CexDup() twice	2013-01-25 12:50:11 -08:00
Baruch Sterin	43d5435124	pyabc: deal better with null counter examples and remove special case handling	2013-01-25 03:36:57 -08:00
Alan Mishchenko	557448400e	Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current network is an AIG and the given PO has const 0/1 function.	2013-01-25 10:25:34 +07:00
Alan Mishchenko	4efc89d342	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	2013-01-23 16:50:45 +07:00
Alan Mishchenko	22dc498374	Updated Python code to reflect change in include files.	2012-07-09 17:04:10 -07:00
Baruch Sterin	c4911370bb	pyabc: minor fixes to make API changes work	2012-04-20 15:40:28 -07:00
Alan Mishchenko	e822a1f8c7	Added Python APIs for node/level counts.	2012-04-20 10:32:29 -07:00
Baruch Sterin	af51bdaf3e	pyabc: silenced warnings in gcc	2012-02-23 13:01:17 -08:00
Baruch Sterin	b879786e73	pyabc: added a function pyabc.iso_eq_classes() that retrieves the results of the "&iso" command	2012-02-23 11:09:57 -08:00
Baruch Sterin	33261c33cb	pyabc: replace 'bool' with 'int' as it was removed from the rest of ABC	2012-02-11 15:01:55 -08:00
Baruch Sterin	6e72e2fb35	pyabc: adapt build to recent changes in the rest of ABC	2012-01-21 18:21:03 -08:00
Baruch Sterin	16e12f1852	pyabc: fix callbacks into python to work correctly by moving to PyGILEState_Ensure/Release APIs	2011-09-29 17:34:05 -07:00
Baruch Sterin	9d652062b7	pyabc: fix indentation in pyabc.i	2011-10-24 15:21:08 -07:00
Baruch Sterin	825b0b5ee3	added support for getting a cex vector	2011-08-02 02:13:52 -04:00
Baruch Sterin	34d59b0b91	fixes to pyabc kill mechanism	2011-02-27 18:33:56 -08:00
Baruch Sterin	b538a5fad0	1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.	2011-02-01 11:13:53 -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