| Commit message (Expand) | Author | Age | Files | Lines |
* | Ternary simulation for multi-output miters. | Alan Mishchenko | 2014-03-28 | 1 | -0/+10 |
* | Adding Python API n_area() to report area after standard cell mapping. | Alan Mishchenko | 2014-02-17 | 1 | -0/+14 |
* | pyabc changes for HWMCC13 | Baruch Sterin | 2013-10-08 | 5 | -46/+150 |
* | Compiler warning. | Alan Mishchenko | 2013-10-05 | 1 | -1/+1 |
* | Compiler errors in the Python interface code... | Alan Mishchenko | 2013-10-03 | 1 | -2/+2 |
* | Added Python API status_get_vector() similar to cex_get_vector(). | Alan Mishchenko | 2013-09-04 | 1 | -1/+1 |
* | Added Python API status_get_vector() similar to cex_get_vector(). | Alan Mishchenko | 2013-09-04 | 1 | -1/+1 |
* | Added Python API status_get_vector() similar to cex_get_vector(). | Alan Mishchenko | 2013-09-04 | 1 | -0/+32 |
* | fix pyabc to link correctly on some linux version, fixing problem caused by t... | Baruch Sterin | 2013-06-18 | 1 | -0/+1 |
* | Moves the code of create_abc_array to line 724. | Alan Mishchenko | 2013-04-17 | 1 | -4/+7 |
* | Adding command &filter_equiv to filter candidate equivalence classes using in... | Alan Mishchenko | 2013-04-17 | 1 | -0/+22 |
* | Modified Python API iso_eq_classes to be eq_classes. | Alan Mishchenko | 2013-03-09 | 1 | -2/+2 |
* | pyabc: allow returning large result from sub processes | Baruch Sterin | 2013-01-30 | 2 | -11/+83 |
* | pyabc: fix _cex_put to not call Abc_CexDup() twice | Baruch Sterin | 2013-01-25 | 1 | -20/+20 |
* | pyabc: deal better with null counter examples and remove special case handling | Baruch Sterin | 2013-01-25 | 1 | -19/+7 |
* | Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ... | Alan Mishchenko | 2013-01-25 | 1 | -0/+7 |
* | Enabled detecting CEXes in multiple POs without stopping (sim3 -a). | Alan Mishchenko | 2013-01-23 | 1 | -0/+2 |
* | Updated Python code to reflect change in include files. | Alan Mishchenko | 2012-07-09 | 2 | -3/+3 |
* | pyabc: minor fixes to make API changes work | Baruch Sterin | 2012-04-20 | 1 | -1/+3 |
* | Added Python APIs for node/level counts. | Alan Mishchenko | 2012-04-20 | 1 | -3/+29 |
* | pyabc: python 2.6 compatibility fix for previous commit (which silenced warni... | Baruch Sterin | 2012-02-23 | 1 | -1/+1 |
* | pyabc: silenced warnings in gcc | Baruch Sterin | 2012-02-23 | 2 | -7/+23 |
* | pyabc: added a function pyabc.iso_eq_classes() that retrieves the results of ... | Baruch Sterin | 2012-02-23 | 1 | -0/+40 |
* | 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 PyGILEState_E... | Baruch Sterin | 2011-09-29 | 1 | -17/+23 |
* | 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 functions... | Baruch Sterin | 2011-02-01 | 2 | -29/+42 |
* | 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 pro... | Baruch Sterin | 2011-01-13 | 2 | -61/+113 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 7 | -0/+746 |