| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Add an option to use C99 stdint.h | Robert Ou | 2018-03-26 | 2 | -0/+56 | |
| | | | | | | | | If ABC_HAVE_STDINT_H is defined, standard C99 headers will be used to define all of the platform-dependent types required. arch_flags will also no longer be required. This new define is optional and must be manually enabled by setting ARCHFLAGS. | |||||
| * | 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 | |
| | | | | | ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages | |||||
| * | 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 | |
| | | ||||||
| * | Factoring out library preprocessing code in &nf and putting it elsewhere. | Alan Mishchenko | 2016-05-16 | 1 | -0/+2 | |
| | | ||||||
| * | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -0/+27 | |
| | | ||||||
| * | Suggested bug fix in st__strhash(). | Alan Mishchenko | 2016-04-30 | 1 | -7/+6 | |
| | | ||||||
| * | Experiments with arithmetic circuits. | Alan Mishchenko | 2016-04-28 | 1 | -0/+7 | |
| | | ||||||
| * | Command &esop to convert AIG into ESOP. | Alan Mishchenko | 2016-04-09 | 2 | -0/+40 | |
| | | ||||||
| * | Compiler warning. | Alan Mishchenko | 2015-12-16 | 1 | -7/+0 | |
| | | ||||||
| * | add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using ↵ | Baruch Sterin | 2015-11-20 | 1 | -0/+3 | |
| | | | | | decelaration when needed | |||||
| * | move namespace logic into a separate file. It is useful for users of ABC ↵ | Baruch Sterin | 2015-11-20 | 2 | -27/+56 | |
| | | | | | that need to use symbols without the entire baggage of including abc_global.h | |||||
| * | Improvements to storing and reusing simulation info. | Alan Mishchenko | 2015-11-05 | 2 | -2/+59 | |
| | | ||||||
| * | pyabc: remove python integration from abc, it is moved to a separate extension | Baruch Sterin | 2015-11-05 | 1 | -4/+0 | |
| | | ||||||
| * | Compiler warnings. | Alan Mishchenko | 2015-10-25 | 1 | -14/+3 | |
| | | ||||||
| * | Extending library handling to 8 inputs. | Alan Mishchenko | 2015-10-25 | 1 | -5/+30 | |
| | | ||||||
| * | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 1 | -1/+1 | |
| | | ||||||
| * | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 1 | -1/+1 | |
| | | ||||||
| * | Fix to the #include <stdlib.h> problem for Debug version on Window. | Alan Mishchenko | 2015-10-16 | 1 | -8/+8 | |
| | | ||||||
| * | Moving BDD-based threshold function detection to the BDD part of the code. | Alan Mishchenko | 2015-10-16 | 2 | -694/+0 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |