Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
* | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 3 | -2/+5 |
* | Included copyright statement into 'main.c'. | Alan Mishchenko | 2012-05-11 | 1 | -0/+27 |
* | Misc changes. | Alan Mishchenko | 2012-05-01 | 1 | -2/+2 |
* | Misc changes. | Alan Mishchenko | 2012-04-27 | 2 | -38/+44 |
* | Updating the counter of finished frames when dumping intermediate abstraction... | Alan Mishchenko | 2012-04-27 | 2 | -4/+6 |
* | Better interface with the new code. | Alan Mishchenko | 2012-04-06 | 1 | -2/+7 |
* | Bug fix to prevent crashing when Abc_Print() is called while ABC is not initi... | Alan Mishchenko | 2012-03-20 | 1 | -2/+2 |
* | Exploration of ISO and minor changes. | Alan Mishchenko | 2012-03-13 | 1 | -0/+4 |
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -1/+1 |
* | Adding features related to the communication bridge. | Alan Mishchenko | 2012-03-02 | 5 | -3/+20 |
* | Added a way to disable support for dynamic linking. | Alan Mishchenko | 2012-02-24 | 1 | -0/+3 |
* | Silenced a gcc warning. | Alan Mishchenko | 2012-02-23 | 1 | -1/+0 |
* | pyabc: silnce more warnings | Baruch Sterin | 2012-02-23 | 1 | -4/+3 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-17 | 3 | -17/+22 |
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 9 | -39/+34 |
* | Added support for generating a library of real-life truth-tables. | Alan Mishchenko | 2011-12-09 | 1 | -2/+2 |
* | Added API to access the CEX vector. | Alan Mishchenko | 2011-08-02 | 2 | -0/+2 |
* | Enabled saving vector of counter-examples in the ABC framework. | Alan Mishchenko | 2011-08-02 | 1 | -0/+1 |
* | Improvements to timeout. | Alan Mishchenko | 2011-05-11 | 1 | -2/+4 |
* | Fixing compilation problem which resulting from defining 'int c' as 'char c'. | Alan Mishchenko | 2011-04-19 | 1 | -2/+2 |
* | Added test package. | Alan Mishchenko | 2011-03-29 | 2 | -1/+7 |
* | Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFr... | Alan Mishchenko | 2011-02-19 | 2 | -3/+6 |
* | pyabc: make the SIGINT signal handler clean up by sending SIGINT to child pro... | Baruch Sterin | 2011-01-13 | 1 | -1/+8 |
* | Fixing memory leak in LTL property handling code | Alan Mishchenko | 2010-12-02 | 1 | -0/+1 |
* | Rearranging data members in the structure (not a bug) | Alan Mishchenko | 2010-11-29 | 1 | -2/+2 |
* | Added API Abc_FrameReadGia | Alan Mishchenko | 2010-11-29 | 2 | -0/+18 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 10 | -133/+350 |
* | Version abc90807 | Alan Mishchenko | 2015-06-22 | 1 | -1/+1 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 3 | -123/+73 |
* | Version abc90528 | Alan Mishchenko | 2015-06-22 | 1 | -0/+124 |
* | Version abc90313 | Alan Mishchenko | 2009-03-13 | 1 | -2/+2 |
* | Version abc90311 | Alan Mishchenko | 2009-03-11 | 1 | -0/+1 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 6 | -59/+38 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 4 | -11/+18 |
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -0/+4 |
* | Version abc81014 | Alan Mishchenko | 2008-10-14 | 1 | -1/+1 |
* | Version abc81004 | Alan Mishchenko | 2008-10-04 | 1 | -3/+15 |
* | Version abc80918 | Alan Mishchenko | 2008-09-18 | 2 | -0/+16 |
* | Version abc80718 | Alan Mishchenko | 2008-07-18 | 1 | -6/+2 |
* | Version abc80717 | Alan Mishchenko | 2008-07-17 | 3 | -7/+7 |
* | Version abc80705 | Alan Mishchenko | 2008-07-05 | 1 | -2/+2 |
* | Version abc80702 | Alan Mishchenko | 2008-07-02 | 1 | -4/+8 |
* | Version abc80610 | Alan Mishchenko | 2008-06-10 | 1 | -24/+75 |
* | Version abc80527 | Alan Mishchenko | 2008-05-27 | 1 | -0/+147 |
* | Version abc80516 | Alan Mishchenko | 2008-05-16 | 2 | -50/+70 |
* | Version abc80512 | Alan Mishchenko | 2008-05-12 | 1 | -1/+1 |
* | Version abc80508 | Alan Mishchenko | 2008-05-08 | 1 | -1/+1 |
* | Version abc80507 | Alan Mishchenko | 2008-05-07 | 1 | -1/+1 |
* | Version abc80502 | Alan Mishchenko | 2008-05-02 | 1 | -1/+1 |