12 Commits

Author	SHA1	Message	Date
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