Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix compile error on targets with unsigned char | Anton Blanchard | 2022-02-18 | 1 | -1/+1 |
| | | | | | | | | abc is failing to compile on ppc64le because char is unsigned by default: src/misc/extra/extraUtilMisc.c: In function ‘void abc::Extra_TruthExpand(int, int, unsigned int*, unsigned int, unsigned int*)’: src/misc/extra/extraUtilMisc.c:1550:5: error: narrowing conversion of ‘-1’ from ‘int’ to ‘char’ inside { } [-Wnarrowing] | ||||
* | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -1/+4 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-04 | 1 | -5/+8 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-02 | 2 | -1/+11 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2020-12-21 | 1 | -1/+1 |
| | |||||
* | Various changes. | Alan Mishchenko | 2020-03-28 | 1 | -5/+5 |
| | |||||
* | Experiments with simulation-based engines. | Alan Mishchenko | 2020-03-22 | 2 | -60/+56 |
| | |||||
* | Adding macro to disable bridge output and APIs by popular demand. | Alan Mishchenko | 2019-11-09 | 1 | -0/+144 |
| | |||||
* | Changes to the interface of &cfs. | Alan Mishchenko | 2019-05-21 | 1 | -1/+1 |
| | |||||
* | Changes to the interface of &cfs. | Alan Mishchenko | 2019-05-15 | 1 | -1/+1 |
| | |||||
* | Modifying 'write_truth' to dump truth table in hex. | Alan Mishchenko | 2019-05-07 | 2 | -0/+19 |
| | |||||
* | Extending generic simulation APIs. | Alan Mishchenko | 2019-04-09 | 1 | -1/+1 |
| | |||||
* | Extending simulation interface. | Alan Mishchenko | 2019-03-28 | 1 | -1/+1 |
| | |||||
* | Adding new command line args. | Alan Mishchenko | 2019-03-13 | 1 | -1/+1 |
| | |||||
* | Fixing some more warnings by adding cast from 'int' to 'size_t'. | Alan Mishchenko | 2019-03-05 | 1 | -3/+3 |
| | |||||
* | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵ | Alan Mishchenko | 2019-03-05 | 3 | -4/+4 |
| | | | | memcpy, etc. | ||||
* | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 2 | -2/+2 |
| | |||||
* | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 1 | -1/+1 |
| | |||||
* | Changing default parameter values in the AIG generation code. | Alan Mishchenko | 2019-01-18 | 1 | -1/+1 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 4 | -3/+121 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 1 | -0/+1 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 2 | -21/+66 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-08 | 2 | -0/+302 |
| | |||||
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 1 | -2/+2 |
| | |||||
* | extraUtilPerm: Abc_ZddDiff. | Heinz Riener | 2018-10-21 | 1 | -1/+1 |
| | |||||
* | 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 | 4 | -0/+454 |
| | |||||
* | 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 |
| | |||||
* | Handling corner cases in TT print-out. | Alan Mishchenko | 2017-07-21 | 1 | -0/+4 |
| | |||||
* | Experiments with support minimization. | Alan Mishchenko | 2017-04-27 | 2 | -4/+4 |
| | |||||
* | Autotuner for 'satoko'. | Alan Mishchenko | 2017-02-08 | 1 | -22/+32 |
| | |||||
* | Moving BDD-based threshold function detection to the BDD part of the code. | Alan Mishchenko | 2015-10-16 | 2 | -694/+0 |
| | |||||
* | Threshold logic checking code by Augusto Neutzling and Jody Matos. | Alan Mishchenko | 2015-09-23 | 1 | -231/+591 |
| | |||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -1/+6 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 9 | -10275/+0 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -9/+1 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -0/+1 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| | |||||
* | Procedure to dump ZDD representing a set of cubes into a PLA file. | Alan Mishchenko | 2015-04-10 | 2 | -0/+40 |
| | |||||
* | Important corner-case bug in SOP computation (recently introduced). | Alan Mishchenko | 2015-04-01 | 1 | -0/+3 |
| | |||||
* | Experiments with cube hashing. | Alan Mishchenko | 2015-02-27 | 1 | -154/+340 |
| | |||||
* | Experiments with cube hashing. | Alan Mishchenko | 2015-02-20 | 1 | -1/+292 |
| | |||||
* | Changing semantics of switch -C in 'sop' to limit cubes at one node. | Alan Mishchenko | 2015-02-18 | 3 | -24/+24 |
| |