Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing a memory corruption problem accidentally introduced by fixing memory l... | Alan Mishchenko | 2020-11-21 | 1 | -2/+2 |
* | Memory leaks. | Alan Mishchenko | 2020-09-28 | 1 | -0/+3 |
* | Correctly handling transfer of additional AIG info when AIG has no internal n... | Alan Mishchenko | 2020-07-13 | 1 | -3/+15 |
* | Adding option to &flow2 to map using the library. | Alan Mishchenko | 2019-11-05 | 1 | -4/+14 |
* | Fixing some update gcc. | Alan Mishchenko | 2019-07-24 | 1 | -1/+1 |
* | Experiments with logic optimization. | Alan Mishchenko | 2017-07-21 | 1 | -0/+54 |
* | Several ongoing changes. | Alan Mishchenko | 2015-01-26 | 1 | -1/+1 |
* | Adding relax ratio to &synch2. | Alan Mishchenko | 2014-12-13 | 1 | -2/+2 |
* | Adding new mapping feature. | Alan Mishchenko | 2014-12-11 | 1 | -1/+3 |
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-11 | 1 | -14/+23 |
* | Converting AIG with MUXes into a logic network. | Alan Mishchenko | 2014-12-10 | 1 | -0/+103 |
* | Small changes. | Alan Mishchenko | 2014-10-08 | 1 | -8/+8 |
* | Updates to &flow and &flow2. | Alan Mishchenko | 2014-10-05 | 1 | -9/+9 |
* | Adding options to &flow. | Alan Mishchenko | 2014-09-29 | 1 | -8/+10 |
* | Adding options to &flow2. | Alan Mishchenko | 2014-09-29 | 1 | -4/+4 |
* | Adding options to &flow2. | Alan Mishchenko | 2014-09-29 | 1 | -5/+5 |
* | Adding options to &flow. | Alan Mishchenko | 2014-09-29 | 1 | -17/+17 |
* | Added switch -t to &flow2. | Alan Mishchenko | 2014-09-24 | 1 | -5/+5 |
* | Adding switch to enable SOP balancing in '&flow2'. | Alan Mishchenko | 2014-09-21 | 1 | -10/+21 |
* | Tuning the flow scripts. | Alan Mishchenko | 2014-09-20 | 1 | -1/+1 |
* | Tuning the flow scripts. | Alan Mishchenko | 2014-09-20 | 1 | -5/+69 |
* | Tuning the flow scripts. | Alan Mishchenko | 2014-09-20 | 1 | -124/+173 |
* | New choice computation. | Alan Mishchenko | 2014-09-16 | 1 | -3/+123 |
* | Code restructuring. | Alan Mishchenko | 2014-09-16 | 1 | -0/+369 |