9 Commits

Author	SHA1	Message	Date
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
Alan Mishchenko	158a76721e	Added 'src/mem' as an additition include directory in Python interface.	2011-03-04 18:17:09 -08: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	811f5631a8	pyabc: reorganize supporting python scripts	2011-01-13 22:12:37 +02: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