| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Improvements to timeout. | Alan Mishchenko | 2011-05-11 | 1 | -2/+4 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-08 | 1 | -3/+2 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-07 | 1 | -3/+19 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-07 | 1 | -15/+15 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-06 | 2 | -11/+50 |
| * | Trying to fix a mysterious bug in reading the library files. | Alan Mishchenko | 2011-05-06 | 2 | -6/+6 |
| * | Updating testcext to ignore the diff in register count and other things. | Alan Mishchenko | 2011-05-01 | 1 | -11/+30 |
| * | Added new options to testcex. | Alan Mishchenko | 2011-04-28 | 2 | -50/+73 |
| * | Commented out debug messages. | Alan Mishchenko | 2011-04-26 | 2 | -3/+3 |
| * | Made testcex reset the number of the PO that failed. | Alan Mishchenko | 2011-04-25 | 1 | -4/+14 |
| * | Added support for AIG returned in the output file. | Alan Mishchenko | 2011-04-24 | 1 | -8/+34 |
| * | Added switch to control duplication of logic after mapping. | Alan Mishchenko | 2011-04-24 | 2 | -3/+7 |
| * | Bug fixes having to do with the use of chars. | Alan Mishchenko | 2011-04-20 | 1 | -0/+8 |
| * | Fixing c++ portability issues. | Alan Mishchenko | 2011-04-20 | 1 | -10/+2 |
| * | Fixing compilation problem which resulting from defining 'int c' as 'char c'. | Alan Mishchenko | 2011-04-19 | 1 | -2/+2 |
| * | Adding constant correspondence. | Alan Mishchenko | 2011-04-18 | 1 | -13/+34 |
| * | Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb... | Alan Mishchenko | 2011-04-17 | 1 | -1/+83 |
| * | Added command 'reconcile'. | Alan Mishchenko | 2011-04-16 | 1 | -2/+99 |
| * | Added cex generation for clustered reachability (forgot one file). | Alan Mishchenko | 2011-04-16 | 1 | -2/+2 |
| * | Added cex generation for clustered reachability. | Alan Mishchenko | 2011-04-16 | 1 | -0/+6 |
| * | Improving timeout in the interpolation package. | Alan Mishchenko | 2011-04-15 | 1 | -5/+0 |
| * | Further improvements to reachability. | Alan Mishchenko | 2011-04-15 | 1 | -7/+13 |
| * | Experiments with reachability. | Alan Mishchenko | 2011-04-14 | 1 | -6/+9 |
| * | Enabled new BDD-based reachability engine 'reachy'. | Alan Mishchenko | 2011-04-13 | 2 | -1/+140 |
| * | Added print-out of area in terms of LUT library. | Alan Mishchenko | 2011-04-13 | 1 | -1/+32 |
| * | Adding SAT-solver-level timeouts to the BMC engines. | Alan Mishchenko | 2011-04-08 | 1 | -26/+32 |
| * | Unsuccessful attempt to improve PDR and a few minor changes. | Alan Mishchenko | 2011-04-07 | 1 | -265/+58 |
| * | Made gate library package Mio independent of CUDD. | Alan Mishchenko | 2011-03-30 | 1 | -1/+7 |
| * | Added test package (new files). | Alan Mishchenko | 2011-03-29 | 3 | -1/+72 |
| * | Added test package. | Alan Mishchenko | 2011-03-29 | 3 | -3/+9 |
| * | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 17 | -13/+49 |
| * | C++ compilation fixes. | Alan Mishchenko | 2011-03-27 | 2 | -3/+3 |
| * | Improvements in Vec_Vec_t. | Alan Mishchenko | 2011-03-27 | 1 | -12/+18 |
| * | Fixed memory leak. | Alan Mishchenko | 2011-03-27 | 1 | -0/+1 |
| * | Added printing MFFC sizes and deriving TT from SOP. | Alan Mishchenko | 2011-03-18 | 4 | -8/+84 |
| * | Procedure to convert AIG into a netowrk of NAND gates. | Alan Mishchenko | 2011-03-17 | 1 | -0/+81 |
| * | Added new procedure and other small changes. | Alan Mishchenko | 2011-03-16 | 1 | -4/+10 |
| |\ |
|
| * | | Exploring fanout cofactoring ideas... | Alan Mishchenko | 2011-03-14 | 1 | -4/+16 |
| * | | Several bug fixes and other improvements. | Alan Mishchenko | 2011-03-12 | 12 | -117/+144 |
| * | | Exploration of Sasao's decomposition and minor improvements. | Alan Mishchenko | 2011-03-11 | 5 | -34/+874 |
| * | | Bug alert message in 'fraig'. | Alan Mishchenko | 2011-03-10 | 1 | -1/+2 |
| * | | Added generation of MFFC for the network (improvements). | Alan Mishchenko | 2011-03-09 | 2 | -25/+124 |
| * | | Added generation of MFFC for the network. | Alan Mishchenko | 2011-03-09 | 3 | -5/+694 |
| * | | Mffc-based structural decomposition of the network and bug fixes in reorderin... | Alan Mishchenko | 2011-03-08 | 2 | -3/+499 |
| * | | Improvements to the interpolation command 'int'; change of default switch -t. | Alan Mishchenko | 2011-03-08 | 1 | -7/+14 |
| * | | Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc. | Alan Mishchenko | 2011-03-08 | 1 | -1/+1 |
| * | | Fixing a corner case bug in 'enlarge'. | Alan Mishchenko | 2011-03-05 | 1 | -6/+6 |
| * | | Missing type cast after one of the previous changes. | Alan Mishchenko | 2011-03-04 | 1 | -1/+2 |
| * | | Improved the speed of refinement algorithm in &abs_refine. | Alan Mishchenko | 2011-03-04 | 1 | -5/+17 |
| * | | Made abc.h independent of CUDD and Extra. | Alan Mishchenko | 2011-03-03 | 59 | -366/+408 |
