summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |
* | Compiler warnings.Alan Mishchenko2022-02-021-2/+2
| |
* | Experiments with word-level data structures.Alan Mishchenko2022-02-024-33/+440
| |
* | Adding option to dump CNF after preprocessing in &glucose.Alan Mishchenko2022-02-026-8/+22
| |
* | Suggested bug fix.Alan Mishchenko2022-01-221-1/+1
| |
* | Move CI to GitHub Actions.Baruch Sterin2022-01-224-8/+8
| | | | | | | | Also, a few minor changes that are required to compile ABC under moder compilers.
* | Suggested bug fixes in the old code.Alan Mishchenko2022-01-216-9/+8
| |
* | Compiler warnings.Alan Mishchenko2022-01-211-6/+6
| |
* | Experiments with word-level data structures.Alan Mishchenko2022-01-2110-155/+2379
| |
* | Missing class name in the FreeBSD code.Alan Mishchenko2021-12-292-2/+2
| |
* | Changes to pattern generation.Alan Mishchenko2021-12-261-32/+63
|/
* Adding new command &icec.Alan Mishchenko2021-12-175-8/+265
|
* Fixing a rare problem with choice nodes.Alan Mishchenko2021-12-161-0/+26
|
* Compiler warning.Alan Mishchenko2021-12-161-8/+7
|
* Adding new command %yosys.Alan Mishchenko2021-12-163-0/+284
|
* Outputting the constant node in 'write_gml'.Alan Mishchenko2021-12-061-0/+12
|
* Adding command-line switch 'testnpn -A 12' for P-only canonical form ↵Alan Mishchenko2021-12-033-2/+16
| | | | computation.
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 14:55:20 +0000