| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Small bug fix in printing DSD for Boolean functions. | Alan Mishchenko | 2012-01-14 | 1 | -1/+1 |
| * | Changes to the lazy man's synthesis code. | Alan Mishchenko | 2012-01-11 | 1 | -0/+1 |
| * | Added support for generating a library of real-life truth-tables. | Alan Mishchenko | 2011-12-09 | 2 | -0/+103 |
| * | Added recording of AIG subgraphs. | Alan Mishchenko | 2011-12-06 | 1 | -10/+9 |
| * | Experiments with variable permutation. | Alan Mishchenko | 2011-11-06 | 1 | -2/+2 |
| * | Experiments with variable permutation. | Alan Mishchenko | 2011-11-06 | 1 | -1/+55 |
| * | Removed some recently added file, which broke compilation. | Alan Mishchenko | 2011-10-27 | 1 | -1/+0 |
| * | New truth table permutation procedure. | Alan Mishchenko | 2011-10-26 | 2 | -0/+302 |
| * | Fixing built-in resource limit when converting truth-tables to AIGs. | Alan Mishchenko | 2011-10-08 | 2 | -1/+6 |
| * | Fixed the problem in mapping with the new check. | Alan Mishchenko | 2011-06-26 | 3 | -3/+3 |
| * | Added new procedure and other small changes. | Alan Mishchenko | 2011-03-16 | 2 | -0/+128 |
| |\ | |||||
| * | | Several bug fixes and other improvements. | Alan Mishchenko | 2011-03-12 | 1 | -13/+14 |
| |/ | |||||
| * | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 16 | -83/+1309 |
| * | Version abc90408 | Alan Mishchenko | 2009-04-08 | 1 | -2/+2 |
| * | Version abc90215 | Alan Mishchenko | 2009-02-15 | 7 | -106/+64 |
| * | Version abc90118 | Alan Mishchenko | 2009-01-18 | 3 | -37/+230 |
| * | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -1/+12 |
| * | Version abc80702 | Alan Mishchenko | 2008-07-02 | 5 | -12/+24 |
| * | Version abc80429 | Alan Mishchenko | 2008-04-29 | 3 | -0/+60 |
| * | Version abc80413 | Alan Mishchenko | 2008-04-13 | 3 | -0/+315 |
| * | Version abc80402 | Alan Mishchenko | 2008-04-02 | 1 | -2/+2 |
| * | Version abc80314 | Alan Mishchenko | 2008-03-14 | 2 | -0/+59 |
| * | Version abc80307 | Alan Mishchenko | 2008-03-07 | 2 | -40/+38 |
| * | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 15 | -0/+8747 |
| * | Version abc80130 | Alan Mishchenko | 2008-01-30 | 15 | -8747/+0 |
| * | Version abc71216 | Alan Mishchenko | 2007-12-16 | 1 | -1/+1 |
| * | Version abc71001 | Alan Mishchenko | 2007-10-01 | 15 | -0/+8747 |
| * | Version abc70930 | Alan Mishchenko | 2007-09-30 | 15 | -8752/+0 |
| * | Version abc70926 | Alan Mishchenko | 2007-09-26 | 5 | -33/+182 |
| * | Version abc70911 | Alan Mishchenko | 2007-09-11 | 1 | -1/+1 |
| * | Version abc70909 | Alan Mishchenko | 2007-09-09 | 7 | -27/+1929 |
| * | Version abc70906 | Alan Mishchenko | 2007-09-06 | 4 | -31/+258 |
| * | Version abc70831 | Alan Mishchenko | 2007-08-31 | 2 | -8/+81 |
| * | Version abc70723 | Alan Mishchenko | 2007-07-23 | 1 | -0/+1 |
| * | Version abc70712 | Alan Mishchenko | 2007-07-12 | 11 | -0/+6400 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |