Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | 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 |
| | | |||||
| * | Integrating mfs2 package to work with boxes. | Alan Mishchenko | 2014-11-17 | 5 | -31/+41 |
| | | |||||
| * | Integrating mfs2 package to work with boxes. | Alan Mishchenko | 2014-11-16 | 14 | -259/+617 |
| | | |||||
* | | AND/OR bug in the UIF computation. | Alan Mishchenko | 2014-11-17 | 1 | -1/+1 |
|/ | |||||
* | Improvements to word-level network package. | Alan Mishchenko | 2014-11-14 | 1 | -2/+2 |
| | |||||
* | Improvements to word-level network package. | Alan Mishchenko | 2014-11-14 | 1 | -2/+2 |
| | |||||
* | Improvements to word-level network package. | Alan Mishchenko | 2014-11-14 | 9 | -128/+480 |
| | |||||
* | Enabling AIGs with boxes for word-level and sequential designs. | Alan Mishchenko | 2014-11-14 | 4 | -38/+41 |
| | |||||
* | Enabling AIGs with boxes for word-level and sequential designs. | Alan Mishchenko | 2014-11-13 | 12 | -252/+496 |
| | |||||
* | Generation of barrier-buffers for hierarchical design. | Alan Mishchenko | 2014-11-11 | 4 | -15/+153 |
| |