Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 24 | -837/+3294 |
| | |||||
* | 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 |
| | |||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 3 | -13/+13 |
| | |||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 3 | -16/+31 |
| | |||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 1 | -1/+7 |
| | |||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 1 | -6/+8 |
| | |||||
* | Experiments with hierarchy representation. | Alan Mishchenko | 2014-11-20 | 1 | -0/+741 |
| | |||||
* | Extending &fadds to support artificial chains. New command &setregnum. | Alan Mishchenko | 2014-11-20 | 2 | -31/+234 |
| | |||||
* | Extending &fadds to support artificial chains. | Alan Mishchenko | 2014-11-19 | 4 | -40/+354 |
| | |||||
* | Added check if a given command exists. | Alan Mishchenko | 2014-11-18 | 2 | -0/+17 |
| | |||||
* | Merging two branches. | Alan Mishchenko | 2014-11-17 | 18 | -264/+639 |
|\ | |||||
| * | Printout in mfs2. | Alan Mishchenko | 2014-11-17 | 1 | -2/+7 |
| | | |||||
| * | Bug fix in abstracting boxes. | Alan Mishchenko | 2014-11-17 | 2 | -1/+3 |
| | |