Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | pyabc: replace 'bool' with 'int' as it was removed from the rest of ABC | Baruch Sterin | 2012-02-11 | 1 | -8/+8 |
| | |||||
* | pyabc: adapt build to recent changes in the rest of ABC | Baruch Sterin | 2012-01-21 | 2 | -22/+3 |
| | |||||
* | pyabc: rearrange files and locations | Baruch Sterin | 2011-10-24 | 4 | -5/+114 |
| | |||||
* | pyabc: fix command line parser in reachx_cmx.py and abcpy_test.py | Baruch Sterin | 2011-10-24 | 1 | -1/+1 |
| | |||||
* | pyabc: fix callbacks into python to work correctly by moving to ↵ | Baruch Sterin | 2011-09-29 | 1 | -17/+23 |
| | | | | PyGILEState_Ensure/Release APIs | ||||
* | pyabc: fix indentation in pyabc.i | Baruch Sterin | 2011-10-24 | 1 | -12/+12 |
| | |||||
* | added support for getting a cex vector | Baruch Sterin | 2011-08-02 | 1 | -1/+50 |
| | |||||
* | Added 'src/mem' as an additition include directory in Python interface. | Alan Mishchenko | 2011-03-04 | 1 | -0/+1 |
| | |||||
* | fixes to pyabc kill mechanism | Baruch Sterin | 2011-02-27 | 3 | -97/+731 |
| | |||||
* | 1. Replace system() with a function that responds to SIGINT. 2. Add ↵ | Baruch Sterin | 2011-02-01 | 2 | -29/+42 |
| | | | | functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling. | ||||
* | pyabc: reorganize supporting python scripts | Baruch Sterin | 2011-01-13 | 4 | -1/+477 |
| | |||||
* | pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵ | Baruch Sterin | 2011-01-13 | 2 | -61/+113 |
| | | | | 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 | 7 | -0/+746 |