| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Bug fix in 'blockpo'. | Alan Mishchenko | 2013-04-11 | 1 | -3/+3 |
| * | Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode. | Alan Mishchenko | 2013-04-09 | 5 | -23/+51 |
| * | New MFS package. | Alan Mishchenko | 2013-04-03 | 1 | -2/+2 |
| * | New MFS package. | Alan Mishchenko | 2013-04-03 | 1 | -3/+3 |
| * | New MFS package. | Alan Mishchenko | 2013-04-03 | 4 | -8/+145 |
| * | Fixing the format mismatch in writing mapped GIA. | Alan Mishchenko | 2013-04-02 | 2 | -5/+66 |
| * | New MFS package. | Alan Mishchenko | 2013-04-02 | 10 | -1/+542 |
| * | Cleaning up abc.rc file. | Alan Mishchenko | 2013-04-02 | 1 | -64/+2 |
| * | Small changes to LMS code. | Alan Mishchenko | 2013-04-01 | 2 | -3/+5 |
| * | Shrink for 6-LUTs. | Alan Mishchenko | 2013-04-01 | 4 | -5/+5 |
| * | Shrink for 6-LUTs. | Alan Mishchenko | 2013-04-01 | 3 | -10/+31 |
| * | Updating 'sim3' to move the design into the last rare state. | Alan Mishchenko | 2013-04-01 | 2 | -3/+1 |
| * | Updating 'sim3' to move the design into the last rare state. | Alan Mishchenko | 2013-04-01 | 4 | -29/+69 |
| * | Compiler warnings. | Alan Mishchenko | 2013-03-31 | 2 | -5/+1 |
| * | Shrink for 6-LUTs. | Alan Mishchenko | 2013-03-31 | 13 | -7/+1642 |
| * | Updating bmc3 printout to show the number of failed outputs. | Alan Mishchenko | 2013-03-30 | 1 | -14/+12 |
| * | Bug fix in the printout of &popart. | Alan Mishchenko | 2013-03-30 | 1 | -15/+13 |
| * | Bug fix in the printout of &popart. | Alan Mishchenko | 2013-03-30 | 1 | -4/+6 |
| * | Improving verbose printout of 'sim3' when solving multiple outputs. | Alan Mishchenko | 2013-03-30 | 2 | -9/+17 |
| * | Updating 'pdr' to report the number of failed POs. | Alan Mishchenko | 2013-03-30 | 2 | -1/+3 |
| * | Compiler warnings. | Alan Mishchenko | 2013-03-30 | 2 | -4/+1 |
| * | Compiler warnings. | Alan Mishchenko | 2013-03-30 | 1 | -26/+10 |
| * | Improved 'trim' and added 'dropsat' to replace sat POs by constant 0. | Alan Mishchenko | 2013-03-30 | 1 | -69/+144 |
| * | Updating bmc3 printout to show the number of failed outputs. | Alan Mishchenko | 2013-03-30 | 2 | -10/+18 |
| * | Compiler warnings. | Alan Mishchenko | 2013-03-30 | 1 | -1/+2 |
| * | Compiler warnings. | Alan Mishchenko | 2013-03-30 | 3 | -5/+4 |
| * | Updating bmc3 printout to show the number of failed outputs. | Alan Mishchenko | 2013-03-30 | 1 | -4/+6 |
| * | Added dumping QDIMACS files in command 'qbf'. | Alan Mishchenko | 2013-03-28 | 1 | -9/+11 |
| * | Changed to 'print_level' to be less verbose by default. | Alan Mishchenko | 2013-03-28 | 3 | -16/+25 |
| * | Adding command &miter2 to derive a specified sequential miter. | Alan Mishchenko | 2013-03-28 | 5 | -42/+96 |
| * | Added dumping QDIMACS files in command 'qbf'. | Alan Mishchenko | 2013-03-27 | 5 | -13/+82 |
| * | Removing hard-coded limit on the number of solving iterations in command 'qbf'. | Alan Mishchenko | 2013-03-27 | 2 | -6/+6 |
| * | Adding command &miter2 to derive a specified sequential miter. | Alan Mishchenko | 2013-03-27 | 5 | -1/+263 |
| * | Modified SCL gate library to read/write gate formula. | Alan Mishchenko | 2013-03-26 | 6 | -15/+159 |
| * | Fixing the dump of SAT solver into a CNF file. | Alan Mishchenko | 2013-03-26 | 4 | -19/+30 |
| * | The result of merging. | Alan Mishchenko | 2013-03-26 | 2 | -18/+18 |
| |\ |
|
| | * | Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining ... | Alan Mishchenko | 2013-03-26 | 1 | -9/+10 |
| | * | Fixing a bug in &cycle, which could generate an unreachable state. | Alan Mishchenko | 2013-03-26 | 1 | -9/+8 |
| * | | Commenting out undesirable warnings/assertions. | Alan Mishchenko | 2013-03-26 | 2 | -4/+3 |
| |/ |
|
| * | Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax(). | Alan Mishchenko | 2013-03-19 | 1 | -5/+5 |
| * | Commenting out assertion that fails in 'dch', not sure why. | Alan Mishchenko | 2013-03-14 | 1 | -1/+1 |
| * | Fixing gap timeout in 'bmc3'. | Alan Mishchenko | 2013-03-13 | 1 | -6/+40 |
| * | Handling special case in 'fold' when the network is combinational. | Alan Mishchenko | 2013-03-13 | 2 | -15/+24 |
| * | PO partitioning algorithm. | Alan Mishchenko | 2013-03-09 | 1 | -1/+1 |
| * | PO partitioning algorithm. | Alan Mishchenko | 2013-03-09 | 2 | -15/+56 |
| * | PO partitioning algorithm. | Alan Mishchenko | 2013-03-09 | 1 | -5/+5 |
| * | Modified Python API iso_eq_classes to be eq_classes. | Alan Mishchenko | 2013-03-09 | 1 | -2/+2 |
| * | PO partitioning algorithm. | Alan Mishchenko | 2013-03-09 | 3 | -22/+468 |
| * | Integrating box library. | Alan Mishchenko | 2013-03-08 | 3 | -0/+34 |
| * | Making 'bmc3' with switch '-a' not save CEXes. | Alan Mishchenko | 2013-03-07 | 1 | -13/+13 |
