| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 2 | -3/+3 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -0/+3 |
| * | extraUtilPerm: Abc_ZddDiff. | Heinz Riener | 2018-10-21 | 1 | -1/+1 |
| * | New APIs of the truth table package. | Alan Mishchenko | 2018-09-21 | 1 | -0/+28 |
| * | Hash table profiling. | Alan Mishchenko | 2018-09-08 | 1 | -0/+14 |
| * | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 1 | -1/+1 |
| * | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -13/+15 |
| * | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -72/+21 |
| * | Adding command 'majgen'. | Alan Mishchenko | 2018-07-04 | 5 | -0/+523 |
| * | Path enumeration using SAT. | Alan Mishchenko | 2018-06-20 | 1 | -0/+84 |
| * | Experiments with path enumeration. | Alan Mishchenko | 2018-06-10 | 1 | -5/+413 |
| * | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 2 | -0/+116 |
| * | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+395 |
| * | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+1 |
| * | Fix to prevent undefined behavior. | Alan Mishchenko | 2018-05-19 | 1 | -2/+2 |
| * | Rename new flag to ABC_USE_STDINT_H | Robert Ou | 2018-03-29 | 2 | -7/+7 |
| * | Add an option to use C99 stdint.h | Robert Ou | 2018-03-26 | 2 | -0/+56 |
| * | Updating &mfs to support hard objects. | Alan Mishchenko | 2018-03-23 | 1 | -0/+30 |
| * | C++ comaptibility: add namespace support to Glucose | Baruch Sterin | 2017-11-23 | 1 | -0/+6 |
| * | Supporting XOR in EQN parser. | Alan Mishchenko | 2017-11-03 | 1 | -2/+9 |
| * | Another variation on exact synthesis. | Alan Mishchenko | 2017-10-11 | 1 | -1/+1 |
| * | Improvements to truth table manipulation. | Alan Mishchenko | 2017-10-05 | 1 | -98/+37 |
| * | Updates and bug fixes. | Alan Mishchenko | 2017-10-04 | 1 | -0/+3 |
| * | Addressing recently reported Bitbucket Issue #72 and #73. | Alan Mishchenko | 2017-10-03 | 1 | -5/+5 |
| * | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -8/+32 |
| * | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -1/+214 |
| * | Maintenance and updates. | Alan Mishchenko | 2017-09-18 | 1 | -0/+82 |
| * | bridge relates: (1) fix netlist reader to read the latest version written by ... | Baruch Sterin | 2017-09-15 | 1 | -0/+11 |
| * | Handling corner cases in TT print-out. | Alan Mishchenko | 2017-07-21 | 1 | -0/+4 |
| * | Using arch macro for moderns compilers | Bruno Schmitt | 2017-07-04 | 1 | -5/+5 |
| * | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 1 | -4/+4 |
| * | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 2 | -4/+4 |
| * | Experiments with support minimization. | Alan Mishchenko | 2017-04-27 | 2 | -4/+4 |
| * | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 1 | -1/+8 |
| * | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -1/+45 |
| * | Experiments with hashing. | Alan Mishchenko | 2017-04-11 | 1 | -0/+135 |
| * | Experiments with hashing. | Alan Mishchenko | 2017-04-10 | 2 | -3/+23 |
| * | Experiments with hashing. | Alan Mishchenko | 2017-04-08 | 1 | -1/+18 |
| * | Bug fix in hashing. | Alan Mishchenko | 2017-03-31 | 1 | -1/+5 |
| * | Experiments with new network data-structure. | Alan Mishchenko | 2017-03-20 | 1 | -0/+2 |
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 1 | -0/+16 |
| * | Movinng custom floating-point implementations, etc. | Alan Mishchenko | 2017-02-11 | 3 | -0/+450 |
| * | Improving CEX minimization. | Alan Mishchenko | 2017-02-10 | 1 | -7/+18 |
| * | Autotuner for 'satoko'. | Alan Mishchenko | 2017-02-08 | 1 | -22/+32 |
| * | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-15 | 1 | -0/+12 |
| * | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-14 | 2 | -0/+35 |
| * | Compiler warnings. | Alan Mishchenko | 2017-01-01 | 1 | -1/+1 |
| * | Compiler warnings. | Alan Mishchenko | 2016-12-31 | 2 | -4/+4 |
| * | New SAT-based optimization package. | Alan Mishchenko | 2016-11-26 | 1 | -0/+28 |
| * | New SAT-based optimization package. | Alan Mishchenko | 2016-11-19 | 1 | -0/+8 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |