Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-15 | 1 | -0/+12 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-14 | 2 | -0/+35 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2016-12-31 | 1 | -1/+1 |
| | |||||
* | Factoring out library preprocessing code in &nf and putting it elsewhere. | Alan Mishchenko | 2016-05-16 | 1 | -0/+2 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -0/+27 |
| | |||||
* | Experiments with arithmetic circuits. | Alan Mishchenko | 2016-04-28 | 1 | -0/+7 |
| | |||||
* | Command &esop to convert AIG into ESOP. | Alan Mishchenko | 2016-04-09 | 2 | -0/+40 |
| | |||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 1 | -1/+1 |
| | |||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 1 | -0/+40 |
| | |||||
* | Improvements to Scl_Lib/SC_Cell data-structure. | Alan Mishchenko | 2015-09-24 | 1 | -0/+8 |
| | |||||
* | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 1 | -0/+12 |
| | |||||
* | Bug fix in Vec_IntInsert() and a couple of new APIs. | Alan Mishchenko | 2015-08-26 | 2 | -1/+16 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 1 | -5/+18 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 1 | -2/+16 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 1 | -0/+41 |
| | |||||
* | Updates to the Cba data-structure. | Alan Mishchenko | 2015-07-25 | 1 | -1/+1 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+21 |
| | |||||
* | Print-out for char arrays. | Alan Mishchenko | 2015-07-12 | 1 | -2/+2 |
| | |||||
* | Print-out for char arrays. | Alan Mishchenko | 2015-07-12 | 1 | -0/+20 |
| | |||||
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-23 | 4 | -1/+79 |
| | |||||
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 1 | -0/+8 |
| | |||||
* | Improvements to the CBA package. | Alan Mishchenko | 2015-03-01 | 1 | -0/+33 |
| | |||||
* | Experiments with cube hashing. | Alan Mishchenko | 2015-02-27 | 1 | -0/+25 |
| | |||||
* | Adding binary dump to CBA. | Alan Mishchenko | 2015-02-05 | 1 | -0/+7 |
| | |||||
* | Major rehash of the CBA code. | Alan Mishchenko | 2015-01-31 | 2 | -1/+55 |
| | |||||
* | New assertions and bug fix in DSD balancing. | Alan Mishchenko | 2015-01-27 | 6 | -0/+60 |
| | |||||
* | Changing memory model of Cba_Ntk_t. | Alan Mishchenko | 2015-01-10 | 2 | -0/+22 |
| | |||||
* | Changes to the parser. | Alan Mishchenko | 2014-12-03 | 1 | -0/+12 |
| | |||||
* | New parser and framework. | Alan Mishchenko | 2014-11-29 | 1 | -0/+42 |
| | |||||
* | Improvements to word-level network package. | Alan Mishchenko | 2014-11-14 | 1 | -0/+8 |
| | |||||
* | Preparing to work with C++ code. | Alan Mishchenko | 2014-10-21 | 1 | -1/+1 |
| | |||||
* | Improved QBF solver. | Alan Mishchenko | 2014-10-18 | 1 | -0/+6 |
| | |||||
* | Bug fix in truth table computation. | Alan Mishchenko | 2014-10-15 | 1 | -0/+6 |
| | |||||
* | Recommended changes for portability. | Alan Mishchenko | 2014-10-12 | 1 | -2/+2 |
| | |||||
* | Suggested patch for type-punned warnings | Alan Mishchenko | 2014-10-10 | 1 | -1/+8 |
| | |||||
* | Tuning the flow scripts. | Alan Mishchenko | 2014-09-20 | 1 | -0/+1 |
| | |||||
* | Bug fix in &fraig -L <num>. | Alan Mishchenko | 2014-08-12 | 1 | -0/+11 |
| | |||||
* | Small changes in several packages. | Alan Mishchenko | 2014-07-17 | 1 | -0/+8 |
| | |||||
* | Changes and improvements to different packages. | Alan Mishchenko | 2014-06-26 | 1 | -4/+15 |
| | |||||
* | Experiments with MUX profiling. | Alan Mishchenko | 2014-06-19 | 2 | -2/+48 |
| | |||||
* | Various changes to enable better CNF generation. | Alan Mishchenko | 2014-06-17 | 2 | -12/+141 |
| | |||||
* | Various modifications. | Alan Mishchenko | 2014-06-10 | 2 | -3/+12 |
| | |||||
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-02 | 1 | -2/+5 |
| | |||||
* | Experiments with mapping. | Alan Mishchenko | 2014-03-22 | 2 | -0/+33 |
| | |||||
* | Adding barrier buffers. | Alan Mishchenko | 2014-03-18 | 1 | -0/+2 |
| | |||||
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-19 | 1 | -5/+6 |
| | |||||
* | Significant improvement to LUT mappers (if, &if). | Alan Mishchenko | 2014-02-16 | 1 | -0/+39 |
| | |||||
* | Structural mapper into structures. | Alan Mishchenko | 2013-11-12 | 1 | -0/+8 |
| | |||||
* | Changes to Liberty parser. | Alan Mishchenko | 2013-10-30 | 1 | -0/+22 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 1 | -4/+3 |
| |