summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | |
* | | Adding option to dump CNF after preprocessing in &glucose.Alan Mishchenko2022-02-026-8/+22
| | |
* | | Merge pull request #151 from sterin/masteralanminko2022-01-225-5/+11
|\ \ \ | | | | | | | | Build CMake on GitHub Actions
| * | | Build CMake on GitHub ActionsBaruch Sterin2022-01-235-5/+11
|/ / / | | | | | | | | | | | | Also, resolve CMake build problems on macOS: Pass CMAKE_OSX_SYSROOT as an environment variable SDKROOT when buildind the arch_flags executable.
* | | Suggested bug fix.Alan Mishchenko2022-01-221-1/+1
| | |
* | | Merge pull request #150 from sterin/masteralanminko2022-01-2211-87/+184
|\ \ \ | | | | | | | | Move CI to GitHub Actions.
| * | | Build CMake on GitHub Actions 2Baruch Sterin2022-01-221-2/+2
| | | |
| * | | Build CMake on GitHub ActionsBaruch Sterin2022-01-223-0/+62
| | | |
| * | | Move CI to GitHub Actions.Baruch Sterin2022-01-2210-87/+122
|/ / / | | | | | | | | | 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-2111-155/+2387
| | |
* | | 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-164-0/+288
|
* 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.
* Bug fix in blasting word-level flops.Alan Mishchenko2021-12-022-3/+11
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 17:15:06 +0000