summaryrefslogtreecommitdiffstats
path: root/src/python/pyabc.i
Commit message (Expand)AuthorAgeFilesLines
* pyabc: handle a few corner casesBaruch Sterin2014-10-281-2/+8
* Ternary simulation for multi-output miters.Alan Mishchenko2014-03-281-0/+10
* Adding Python API n_area() to report area after standard cell mapping.Alan Mishchenko2014-02-171-0/+14
* pyabc changes for HWMCC13Baruch Sterin2013-10-081-1/+8
* Compiler warning.Alan Mishchenko2013-10-051-1/+1
* Compiler errors in the Python interface code...Alan Mishchenko2013-10-031-2/+2
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-041-1/+1
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-041-1/+1
* Added Python API status_get_vector() similar to cex_get_vector().Alan Mishchenko2013-09-041-0/+32
* Moves the code of create_abc_array to line 724.Alan Mishchenko2013-04-171-4/+7
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-171-0/+22
* Modified Python API iso_eq_classes to be eq_classes.Alan Mishchenko2013-03-091-2/+2
* pyabc: allow returning large result from sub processesBaruch Sterin2013-01-301-0/+22
* pyabc: fix _cex_put to not call Abc_CexDup() twiceBaruch Sterin2013-01-251-20/+20
* pyabc: deal better with null counter examples and remove special case handlingBaruch Sterin2013-01-251-19/+7
* Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ...Alan Mishchenko2013-01-251-0/+7
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-0/+2
* Updated Python code to reflect change in include files.Alan Mishchenko2012-07-091-2/+2
* pyabc: minor fixes to make API changes workBaruch Sterin2012-04-201-1/+3
* Added Python APIs for node/level counts.Alan Mishchenko2012-04-201-3/+29
* pyabc: silenced warnings in gccBaruch Sterin2012-02-231-6/+4
* pyabc: added a function pyabc.iso_eq_classes() that retrieves the results of ...Baruch Sterin2012-02-231-0/+40
* pyabc: replace 'bool' with 'int' as it was removed from the rest of ABCBaruch Sterin2012-02-111-8/+8
* pyabc: adapt build to recent changes in the rest of ABCBaruch Sterin2012-01-211-2/+2
* pyabc: fix callbacks into python to work correctly by moving to PyGILEState_E...Baruch Sterin2011-09-291-17/+23
* pyabc: fix indentation in pyabc.iBaruch Sterin2011-10-241-12/+12
* added support for getting a cex vectorBaruch Sterin2011-08-021-1/+50
* fixes to pyabc kill mechanismBaruch Sterin2011-02-271-28/+691
* 1. Replace system() with a function that responds to SIGINT. 2. Add functions...Baruch Sterin2011-02-011-27/+15
* pyabc: make the SIGINT signal handler clean up by sending SIGINT to child pro...Baruch Sterin2011-01-131-61/+111
* initial commit of public abcAlan Mishchenko2010-11-011-0/+330