| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Organizing commands for barbuf-aware flow. | Alan Mishchenko | 2015-01-16 | 11 | -163/+606 |
| | | |||||
| * | Various transformations of Cba_Ntk_t. | Alan Mishchenko | 2015-01-15 | 5 | -32/+59 |
| | | |||||
| * | 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 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |