summaryrefslogtreecommitdiffstats
path: root/src/python
Commit message (Collapse)AuthorAgeFilesLines
* pyabc changes for HWMCC13Baruch Sterin2013-10-085-46/+150
|
* 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
|
* fix pyabc to link correctly on some linux version, fixing problem caused by ↵Baruch Sterin2013-06-181-0/+1
| | | | the changeset named: Suggested changes to counting time in Abc_Clock()
* 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 ↵Alan Mishchenko2013-04-171-0/+22
| | | | indexes of disproved POs after handling SRM as a multi-output miter.
* 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-302-11/+83
|
* 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
| | | | network is an AIG and the given PO has const 0/1 function.
* 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-092-3/+3
|
* 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: python 2.6 compatibility fix for previous commit (which silenced ↵Baruch Sterin2012-02-231-1/+1
| | | | warnings)
* pyabc: silenced warnings in gccBaruch Sterin2012-02-232-7/+23
|
* pyabc: added a function pyabc.iso_eq_classes() that retrieves the results of ↵Baruch Sterin2012-02-231-0/+40
| | | | the "&iso" command
* 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-212-22/+3
|
* pyabc: rearrange files and locationsBaruch Sterin2011-10-244-5/+114
|
* pyabc: fix command line parser in reachx_cmx.py and abcpy_test.pyBaruch Sterin2011-10-241-1/+1
|
* pyabc: fix callbacks into python to work correctly by moving to ↵Baruch Sterin2011-09-291-17/+23
| | | | PyGILEState_Ensure/Release APIs
* pyabc: fix indentation in pyabc.iBaruch Sterin2011-10-241-12/+12
|
* added support for getting a cex vectorBaruch Sterin2011-08-021-1/+50
|
* Added 'src/mem' as an additition include directory in Python interface.Alan Mishchenko2011-03-041-0/+1
|
* fixes to pyabc kill mechanismBaruch Sterin2011-02-273-97/+731
|
* 1. Replace system() with a function that responds to SIGINT. 2. Add ↵Baruch Sterin2011-02-012-29/+42
| | | | functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
* pyabc: reorganize supporting python scriptsBaruch Sterin2011-01-134-1/+477
|
* pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵Baruch Sterin2011-01-132-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 abcAlan Mishchenko2010-11-017-0/+746
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-04 13:20:22 +0000