Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Created new abstraction package from the code that was all over the place. | Alan Mishchenko | 2012-09-15 | 1 | -12/+1 |
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-02-11 | 1 | -0/+3 |
* | Generation of dual-rail miter. | Alan Mishchenko | 2012-01-28 | 1 | -0/+1 |
* | Integrated new proof-logging into proof-based gate-level abstraction. | Alan Mishchenko | 2011-12-08 | 1 | -0/+1 |
* | New proof-based abstraction code. | Alan Mishchenko | 2011-10-25 | 1 | -1/+2 |
* | New abstraction code. | Alan Mishchenko | 2011-10-14 | 1 | -0/+1 |
* | Changes to the matching procedure and new abstraction code. | Alan Mishchenko | 2011-09-27 | 1 | -0/+1 |
* | Changes to enable CEX minimization. | Alan Mishchenko | 2011-08-01 | 1 | -0/+1 |
* | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 1 | -2/+3 |
* | Adding procedures to find the care bits of a counter-example. | Alan Mishchenko | 2011-07-25 | 1 | -0/+1 |
* | Added new command 'outdec'. | Alan Mishchenko | 2011-05-19 | 1 | -0/+1 |
* | Improved the speed of refinement algorithm in &abs_refine. | Alan Mishchenko | 2011-03-04 | 1 | -0/+1 |
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 1 | -0/+1 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -0/+5 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 1 | -2/+8 |
* | Version abc81025 | Alan Mishchenko | 2008-10-25 | 1 | -0/+1 |
* | Version abc81013 | Alan Mishchenko | 2008-10-13 | 1 | -0/+1 |
* | Version abc80927 | Alan Mishchenko | 2008-09-27 | 1 | -1/+3 |
* | Version abc80919 | Alan Mishchenko | 2008-09-19 | 1 | -0/+1 |
* | Version abc80915 | Alan Mishchenko | 2008-09-15 | 1 | -0/+1 |
* | Version abc80725 | Alan Mishchenko | 2008-07-25 | 1 | -3/+1 |
* | Version abc80719 | Alan Mishchenko | 2008-07-19 | 1 | -1/+2 |
* | Version abc80610 | Alan Mishchenko | 2008-06-10 | 1 | -0/+1 |
* | Version abc80517 | Alan Mishchenko | 2008-05-17 | 1 | -0/+1 |
* | Version abc80516 | Alan Mishchenko | 2008-05-16 | 1 | -1/+3 |
* | Version abc80511 | Alan Mishchenko | 2008-05-11 | 1 | -1/+2 |
* | Version abc80510 | Alan Mishchenko | 2008-05-10 | 1 | -0/+1 |
* | Version abc80508 | Alan Mishchenko | 2008-05-08 | 1 | -0/+1 |
* | Version abc80430 | Alan Mishchenko | 2008-04-30 | 1 | -1/+3 |
* | Version abc80420 | Alan Mishchenko | 2008-04-20 | 1 | -0/+3 |