Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Various transformations of Cba_Ntk_t. | Alan Mishchenko | 2015-01-15 | 3 | -4/+1 | |
| | ||||||
* | Various transformations of Cba_Ntk_t. | Alan Mishchenko | 2015-01-15 | 7 | -442/+467 | |
| | ||||||
* | Various transformations of Cba_Ntk_t. | Alan Mishchenko | 2015-01-13 | 9 | -111/+178 | |
| | ||||||
* | Various transformations of Cba_Ntk_t. | Alan Mishchenko | 2015-01-13 | 6 | -111/+577 | |
| | ||||||
* | Various transformations of Cba_Ntk_t. | Alan Mishchenko | 2015-01-11 | 8 | -371/+692 | |
| | ||||||
* | Changing memory model of Cba_Ntk_t. | Alan Mishchenko | 2015-01-10 | 8 | -65/+75 | |
| | ||||||
* | Implementation of CE extraction for multiple MUXes driving D-inputs of FFs. | Alan Mishchenko | 2015-01-08 | 2 | -51/+51 | |
| | ||||||
* | Returning multiple counter-examples. | Alan Mishchenko | 2015-01-03 | 1 | -1/+2 | |
| | ||||||
* | Returning multiple counter-examples. | Alan Mishchenko | 2015-01-03 | 2 | -10/+45 | |
| | ||||||
* | Computing polynomials for AIGs representing arithmetic functions. | Alan Mishchenko | 2015-01-01 | 1 | -0/+227 | |
| | ||||||
* | Gate sizing with barrier buffers. | Alan Mishchenko | 2014-12-21 | 6 | -1/+123 | |
| | ||||||
* | Exprimental features in tech-mapping. | Alan Mishchenko | 2014-12-21 | 1 | -110/+142 | |
| | ||||||
* | Exprimental features in tech-mapping. | Alan Mishchenko | 2014-12-21 | 4 | -11/+71 | |
| | ||||||
* | Bug fix in reading box library. | Alan Mishchenko | 2014-12-20 | 1 | -1/+1 | |
| | ||||||
* | Simplifying AIG with barrier buffers. | Alan Mishchenko | 2014-12-19 | 4 | -6/+151 | |
| | ||||||
* | Bug fix in 'testcex' when flop count in the CEX is different from the ↵ | Alan Mishchenko | 2014-12-19 | 1 | -1/+1 | |
| | | | | network (say, after seq synthesis). | |||||
* | Bug fix in 'testcex' when flop count in the CEX is different from the ↵ | Alan Mishchenko | 2014-12-19 | 1 | -2/+3 | |
| | | | | network (say, after seq synthesis). | |||||
* | Incorrect assertion added by recent changes. | Alan Mishchenko | 2014-12-19 | 1 | -1/+1 | |
| | ||||||
* | Induced bug with in DFS computation. | Alan Mishchenko | 2014-12-16 | 1 | -1/+1 | |
| | ||||||
* | Commenting out assertions in the mapper, which do not work for barrier buffers. | Alan Mishchenko | 2014-12-14 | 1 | -4/+4 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-12-13 | 1 | -5/+5 | |
| | ||||||
* | Several additional files for source control. | Alan Mishchenko | 2014-12-13 | 3 | -10/+6539 | |
| | ||||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-13 | 4 | -17/+185 | |
| | ||||||
* | Adding relax ratio to &synch2. | Alan Mishchenko | 2014-12-13 | 2 | -6/+19 | |
| | ||||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-13 | 1 | -21/+124 | |
| | ||||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-13 | 7 | -11/+90 | |
| | ||||||
* | Adding new mapping feature. | Alan Mishchenko | 2014-12-11 | 7 | -20/+332 | |
| | ||||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-11 | 15 | -72/+160 | |
| | ||||||
* | Converting AIG with MUXes into a logic network. | Alan Mishchenko | 2014-12-10 | 3 | -16/+156 | |
| | ||||||
* | Bug fix in &fftest when used for ECO. | Alan Mishchenko | 2014-12-10 | 1 | -8/+39 | |
| | ||||||
* | New flavor of DSD-friendly 'eliminate'. | Alan Mishchenko | 2014-12-09 | 5 | -5/+161 | |
| | ||||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-08 | 21 | -43/+162 | |
| | ||||||
* | Changes to the parser. | Alan Mishchenko | 2014-12-04 | 7 | -283/+561 | |
| | ||||||
* | Changes to the parser. | Alan Mishchenko | 2014-12-03 | 8 | -187/+354 | |
| | ||||||
* | Added and verified bit-blasting of power operator. | Alan Mishchenko | 2014-11-30 | 1 | -0/+32 | |
| | ||||||
* | Changes to history recording and other small things. | Alan Mishchenko | 2014-11-30 | 1 | -1/+1 | |
| | ||||||
* | Changes to history recording and other small things. | Alan Mishchenko | 2014-11-30 | 3 | -6/+18 | |
| | ||||||
* | Induced bug fix in bitblasting of rotation operator. | Alan Mishchenko | 2014-11-29 | 2 | -2/+3 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-11-29 | 1 | -4/+0 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-11-29 | 3 | -3/+3 | |
| | ||||||
* | New parser and framework. | Alan Mishchenko | 2014-11-29 | 22 | -836/+3241 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-25 | 3 | -3/+5 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-25 | 5 | -6/+125 | |
| | ||||||
* | Adding integrity check for boxes and flops. | Alan Mishchenko | 2014-11-25 | 5 | -23/+115 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-25 | 1 | -1/+1 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-25 | 1 | -0/+3 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 3 | -33/+13 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 8 | -61/+162 | |
| | ||||||
* | Experiments with hierarchy representation. | Alan Mishchenko | 2014-11-24 | 1 | -1/+91 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 5 | -73/+319 | |
| |