| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | Bug fix in delay-opt framework. | Alan Mishchenko | 2017-01-07 | 1 | -4/+4 | |
| | * | | | Adding an option to not add buffers to decouple COs driven by the same intern... | Alan Mishchenko | 2017-01-07 | 1 | -0/+7 | |
| | * | | | Compiler warnings. | Alan Mishchenko | 2017-01-07 | 8 | -31/+31 | |
| | * | | | Dealing wit COs driven by inverters in MiniLUT. | Alan Mishchenko | 2017-01-06 | 1 | -2/+38 | |
| | * | | | Creating file name from design name for PDR invariant. | Alan Mishchenko | 2017-01-06 | 1 | -1/+2 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-05 | 1 | -15/+17 | |
| | * | | | Adding two external APIs. | Alan Mishchenko | 2017-01-05 | 1 | -0/+2 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 2 | -10/+10 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -3/+20 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -16/+16 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -2/+4 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 7 | -30/+268 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 2 | -30/+31 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 4 | -1/+468 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 1 | -0/+2 | |
| | * | | | Compiler warnings. | Alan Mishchenko | 2017-01-01 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2017-01-01 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-31 | 1 | -1/+1 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-31 | 1 | -1/+1 | |
| | * | | | Compiler warnings. | Alan Mishchenko | 2016-12-31 | 6 | -15/+15 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-31 | 2 | -0/+12 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-31 | 9 | -198/+446 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-29 | 7 | -153/+196 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-29 | 4 | -39/+332 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-28 | 2 | -107/+239 | |
| | * | | | C++ compatibility fix. | Alan Mishchenko | 2016-12-28 | 1 | -0/+2 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-27 | 2 | -0/+618 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-27 | 2 | -3/+4 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-27 | 4 | -48/+254 | |
| | * | | | Updates to delay optimization project. | Alan Mishchenko | 2016-12-25 | 6 | -63/+551 | |
| | * | | | Correcting API names for inputing/outputing MiniLut. | Alan Mishchenko | 2016-12-23 | 1 | -3/+3 | |
| | * | | | Several changes in arithmetic circuit manipulation. | Alan Mishchenko | 2016-12-22 | 7 | -24/+426 | |
| | * | | | Converting some errors into warnings. | Alan Mishchenko | 2016-12-21 | 2 | -3/+3 | |
| * | | | | Fixes to make xSAT compile with old compilers. | Bruno Schmitt | 2016-12-13 | 8 | -136/+119 | |
| |/ / / | ||||||
| * | | | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 2 | -4/+3 | |
| * | | | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 10 | -116/+348 | |
| * | | | xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights... | Bruno Schmitt | 2016-12-12 | 14 | -99/+3391 | |
| * | | | Improvements to GIA visualization. | Alan Mishchenko | 2016-12-08 | 1 | -1/+0 | |
| * | | | Improvements to GIA visualization. | Alan Mishchenko | 2016-12-08 | 1 | -265/+505 | |
| | |/ |/| | ||||||
| * | | Adding support for minimalistic representation of LUT mapping. | Alan Mishchenko | 2016-12-05 | 2 | -1/+5 | |
| * | | Bug fix in Liberty parser. | Alan Mishchenko | 2016-12-05 | 1 | -0/+4 | |
| * | | Compiler warnings. | Alan Mishchenko | 2016-12-05 | 3 | -4/+4 | |
| * | | Adding support for minimalistic representation of LUT mapping. | Alan Mishchenko | 2016-12-05 | 6 | -11/+496 | |
| * | | New SAT-based optimization package. | Alan Mishchenko | 2016-12-04 | 6 | -39/+168 | |
| * | | Analysis of arithmetic logic cones. | Alan Mishchenko | 2016-12-04 | 6 | -26/+366 | |
| * | | New SAT-based optimization package. | Alan Mishchenko | 2016-12-03 | 2 | -123/+437 | |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |