summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Bug fix by Ai Quoc Dao.Alan Mishchenko2022-06-081-1/+1
|
* Renaming switch '-i' into '-c' in %collapse.Alan Mishchenko2022-06-051-4/+4
|
* Enabling support for reading AIGs with XOR gates.Alan Mishchenko2022-06-053-5/+92
|
* Integrated Kissat, by Armin Biere, as an external binary.Alan Mishchenko2022-06-022-0/+191
|
* Supporting new resub problem format.Alan Mishchenko2022-06-026-2/+200
|
* Improvements to MiniAIG.Alan Mishchenko2022-05-221-3/+22
|
* Adding new switch to &cec.Alan Mishchenko2022-05-202-8/+35
|
* Adding switch to dsd_match to skip small functions.Alan Mishchenko2022-05-185-11/+22
|
* One less line printed out in the batch mode.Alan Mishchenko2022-05-181-1/+1
|
* Improvements to MiniAIG.Alan Mishchenko2022-05-182-13/+283
|
* Removing equivalence classes when they are not properly refined.Alan Mishchenko2022-04-281-0/+3
|
* Removing equivalence classes when they are not properly refined.Alan Mishchenko2022-04-271-0/+2
|
* Removing duplicated command.Alan Mishchenko2022-04-261-1/+1
|
* Adding switch -c to &cone.Alan Mishchenko2022-04-262-4/+15
|
* Experiments with word-level data structures.Alan Mishchenko2022-04-262-65/+220
|
* A trivial changeset.Alan Mishchenko2022-04-241-1/+0
|
* Adding a switch to complement outputs after collapsing.Alan Mishchenko2022-04-241-3/+9
|
* Bug fix in &uif.Alan Mishchenko2022-04-241-2/+2
|
* Supporting multiple box types in &uif.Alan Mishchenko2022-04-241-17/+36
|
* Bug fix in &uif.Alan Mishchenko2022-04-245-20/+71
|
* Experiments with SAT sweeping.Alan Mishchenko2022-04-244-9/+22
|
* Experiments with SAT sweeping.Alan Mishchenko2022-04-241-2/+3
|
* Experiments with SAT sweeping.Alan Mishchenko2022-04-2411-14/+3794
|
* Adding switch to stop scorr if refinement is too slow.Alan Mishchenko2022-04-246-18/+121
|
* Experiments with word-level data structures.Alan Mishchenko2022-04-225-10/+667
|
* Merge pull request #160 from antonblanchard/signed-charalanminko2022-04-061-1/+1
|\ | | | | Fix compile error on targets with unsigned char
| * 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]
* | Added a switch to &dfs to perform levelized ordering.Alan Mishchenko2022-04-041-6/+13
| |
* | Experiments with word-level data structures.Alan Mishchenko2022-04-046-33/+241
| |
* | Merge pull request #145 from QuantamHD/fix_internal_pinsalanminko2022-04-041-1/+5
|\ \ | | | | | | Fixes internal pin parsing error in ASAP7 liberty file.
| * | Fixes internal pin parsing error in ASAP7 liberty file.QuantamHD2021-12-201-1/+5
| | | | | | | | | | | | | | | | | | | | | This fix addresses an issue I saw with the ASAP7 liberty files and ABC. ASAP7 lists internal pins in its liberty file which ABC's liberty parser doesn't account for. This causes an assert to be triggered. This fix simply adds interal pins to the ignore list.
* | | Suggested changes to properly initialize the variable array for ↵Alan Mishchenko2022-04-021-5/+16
| | | | | | | | | | | | Cudd_bddVectorCompose().
* | | Merge pull request #157 from sarnold/gh-windows-fixalanminko2022-03-301-1/+1
|\ \ \ | | | | | | | | fix windows CI => project file integration broken on windows-latest
| * | | fix windows CI => project file integration broken on windows-latestStephen L Arnold2022-03-271-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | * use windows-2019 until updated project files are usable on 2022 Signed-off-by: Stephen L Arnold <nerdboy@gentoo.org>
* | | | Suggested changes for the case when the file begings with a new line.Alan Mishchenko2022-03-292-53/+74
|/ / /
* | | Experiments with word-level data structures.Alan Mishchenko2022-03-061-2/+2
| | |
* | | Experiments with word-level data structures.Alan Mishchenko2022-03-063-10/+107
| | |
* | | Experiments with word-level data structures.Alan Mishchenko2022-03-054-39/+194
| | |
* | | Interleaved variable ordering during bit-blasting.Alan Mishchenko2022-02-252-3/+60
| | |
* | | Intersection a bug in rewrite/refactor.Alan Mishchenko2022-02-231-1/+1
| | |
* | | Intersection a bug in rewrite/refactor.Alan Mishchenko2022-02-229-46/+84
| | |
* | | Similar changes suggested in other places.Alan Mishchenko2022-02-181-4/+4
| | |
* | | Merge pull request #147 from yurivict/FreeBSD_fixalanminko2022-02-180-0/+0
|\ \ \ | | | | | | | | Add missing class names in FreeBSD-ifdefed code.
| * | | Add missing class names in FreeBSD-ifdefed code.Yuri Victorovich2021-12-292-2/+2
| | | |
* | | | Suggested change to prevent ABC from crashing when compiled on Windows.Alan Mishchenko2022-02-181-1/+2
| |_|/ |/| |
* | | Experiments with word-level data structures.Alan Mishchenko2022-02-168-224/+570
| | |
* | | Improving truth table handling.Alan Mishchenko2022-02-163-2/+27
| | |
* | | Improving truth table handling.Alan Mishchenko2022-02-035-21/+166
| | |
* | | Compiler warnings.Alan Mishchenko2022-02-021-2/+2
| | |
* | | Experiments with word-level data structures.Alan Mishchenko2022-02-024-33/+440
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 02:35:34 +0000