summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
Commit message (Collapse)AuthorAgeFilesLines
* Fix compile error on targets with unsigned charAnton Blanchard2022-02-181-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 Mishchenko2021-09-261-1/+4
|
* Various changes.Alan Mishchenko2021-09-041-5/+8
|
* Various changes.Alan Mishchenko2021-09-022-1/+11
|
* Compiler warnings.Alan Mishchenko2020-12-211-1/+1
|
* Various changes.Alan Mishchenko2020-03-281-5/+5
|
* Experiments with simulation-based engines.Alan Mishchenko2020-03-222-60/+56
|
* Adding macro to disable bridge output and APIs by popular demand.Alan Mishchenko2019-11-091-0/+144
|
* Changes to the interface of &cfs.Alan Mishchenko2019-05-211-1/+1
|
* Changes to the interface of &cfs.Alan Mishchenko2019-05-151-1/+1
|
* Modifying 'write_truth' to dump truth table in hex.Alan Mishchenko2019-05-072-0/+19
|
* Extending generic simulation APIs.Alan Mishchenko2019-04-091-1/+1
|
* Extending simulation interface.Alan Mishchenko2019-03-281-1/+1
|
* Adding new command line args.Alan Mishchenko2019-03-131-1/+1
|
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-051-3/+3
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-053-4/+4
| | | | memcpy, etc.
* Adding new switch to simulation.Alan Mishchenko2019-01-292-2/+2
|
* Adding new switch to simulation.Alan Mishchenko2019-01-291-1/+1
|
* Changing default parameter values in the AIG generation code.Alan Mishchenko2019-01-181-1/+1
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-151-1/+1
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-154-3/+121
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-091-0/+1
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-092-21/+66
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-082-0/+302
|
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-2/+2
|
* extraUtilPerm: Abc_ZddDiff.Heinz Riener2018-10-211-1/+1
|
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-071-1/+1
|
* Updating command 'majgen'.Alan Mishchenko2018-07-041-13/+15
|
* Updating command 'majgen'.Alan Mishchenko2018-07-041-72/+21
|
* Adding command 'majgen'.Alan Mishchenko2018-07-044-0/+454
|
* Path enumeration using SAT.Alan Mishchenko2018-06-201-0/+84
|
* Experiments with path enumeration.Alan Mishchenko2018-06-101-5/+413
|
* Experiments with path enumeration.Alan Mishchenko2018-06-062-0/+116
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+395
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+1
|
* Handling corner cases in TT print-out.Alan Mishchenko2017-07-211-0/+4
|
* Experiments with support minimization.Alan Mishchenko2017-04-272-4/+4
|
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-22/+32
|
* Moving BDD-based threshold function detection to the BDD part of the code.Alan Mishchenko2015-10-162-694/+0
|
* Threshold logic checking code by Augusto Neutzling and Jody Matos.Alan Mishchenko2015-09-231-231/+591
|
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+6
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-249-10275/+0
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-9/+1
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+1
|
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
|
* Procedure to dump ZDD representing a set of cubes into a PLA file.Alan Mishchenko2015-04-102-0/+40
|
* Important corner-case bug in SOP computation (recently introduced).Alan Mishchenko2015-04-011-0/+3
|
* Experiments with cube hashing.Alan Mishchenko2015-02-271-154/+340
|
* Experiments with cube hashing.Alan Mishchenko2015-02-201-1/+292
|
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-183-24/+24
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 00:08:29 +0000