summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Dumping equivalences after SAT sweeping.Alan Mishchenko2022-06-265-6/+172
|
* Experiments with technology mapping.Alan Mishchenko2022-06-253-0/+322
|
* Making command &kissat not look for the binary in the current dir.Alan Mishchenko2022-06-231-2/+9
|
* Experiments with the mapper.Alan Mishchenko2022-06-237-1/+117
|
* Adding command to check resub problem solution.Alan Mishchenko2022-06-102-7/+91
|
* Adding command to check resub problem solution.Alan Mishchenko2022-06-104-0/+568
|
* 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-2410-14/+3782
|
* 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().
* | | 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
| | |
* | | 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-167-224/+562
| |
* | Improving truth table handling.Alan Mishchenko2022-02-163-2/+27
| |
* | Improving truth table handling.Alan Mishchenko2022-02-035-21/+166
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-10 03:44:52 +0000