Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improvements to MiniAIG. | Alan Mishchenko | 2022-05-22 | 1 | -3/+22 |
| | |||||
* | Adding new switch to &cec. | Alan Mishchenko | 2022-05-20 | 2 | -8/+35 |
| | |||||
* | Adding switch to dsd_match to skip small functions. | Alan Mishchenko | 2022-05-18 | 5 | -11/+22 |
| | |||||
* | One less line printed out in the batch mode. | Alan Mishchenko | 2022-05-18 | 1 | -1/+1 |
| | |||||
* | Improvements to MiniAIG. | Alan Mishchenko | 2022-05-18 | 2 | -13/+283 |
| | |||||
* | Removing equivalence classes when they are not properly refined. | Alan Mishchenko | 2022-04-28 | 1 | -0/+3 |
| | |||||
* | Removing equivalence classes when they are not properly refined. | Alan Mishchenko | 2022-04-27 | 1 | -0/+2 |
| | |||||
* | Removing duplicated command. | Alan Mishchenko | 2022-04-26 | 1 | -1/+1 |
| | |||||
* | Adding switch -c to &cone. | Alan Mishchenko | 2022-04-26 | 2 | -4/+15 |
| | |||||
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-04-26 | 2 | -65/+220 |
| | |||||
* | A trivial changeset. | Alan Mishchenko | 2022-04-24 | 1 | -1/+0 |
| | |||||
* | Adding a switch to complement outputs after collapsing. | Alan Mishchenko | 2022-04-24 | 1 | -3/+9 |
| | |||||
* | Bug fix in &uif. | Alan Mishchenko | 2022-04-24 | 1 | -2/+2 |
| | |||||
* | Supporting multiple box types in &uif. | Alan Mishchenko | 2022-04-24 | 1 | -17/+36 |
| | |||||
* | Bug fix in &uif. | Alan Mishchenko | 2022-04-24 | 5 | -20/+71 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2022-04-24 | 4 | -9/+22 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2022-04-24 | 1 | -2/+3 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2022-04-24 | 11 | -14/+3794 |
| | |||||
* | Adding switch to stop scorr if refinement is too slow. | Alan Mishchenko | 2022-04-24 | 6 | -18/+121 |
| | |||||
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-04-22 | 5 | -10/+667 |
| | |||||
* | Merge pull request #160 from antonblanchard/signed-char | alanminko | 2022-04-06 | 1 | -1/+1 |
|\ | | | | | Fix compile error on targets with unsigned char | ||||
| * | Fix compile error on targets with unsigned char | Anton Blanchard | 2022-02-18 | 1 | -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 Mishchenko | 2022-04-04 | 1 | -6/+13 |
| | | |||||
* | | Experiments with word-level data structures. | Alan Mishchenko | 2022-04-04 | 6 | -33/+241 |
| | | |||||
* | | Merge pull request #145 from QuantamHD/fix_internal_pins | alanminko | 2022-04-04 | 1 | -1/+5 |
|\ \ | | | | | | | Fixes internal pin parsing error in ASAP7 liberty file. | ||||
| * | | Fixes internal pin parsing error in ASAP7 liberty file. | QuantamHD | 2021-12-20 | 1 | -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 Mishchenko | 2022-04-02 | 1 | -5/+16 |
| | | | | | | | | | | | | Cudd_bddVectorCompose(). | ||||
* | | | Merge pull request #157 from sarnold/gh-windows-fix | alanminko | 2022-03-30 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | fix windows CI => project file integration broken on windows-latest | ||||
| * | | | fix windows CI => project file integration broken on windows-latest | Stephen L Arnold | 2022-03-27 | 1 | -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 Mishchenko | 2022-03-29 | 2 | -53/+74 |
|/ / / | |||||
* | | | Experiments with word-level data structures. | Alan Mishchenko | 2022-03-06 | 1 | -2/+2 |
| | | | |||||
* | | | Experiments with word-level data structures. | Alan Mishchenko | 2022-03-06 | 3 | -10/+107 |
| | | | |||||
* | | | Experiments with word-level data structures. | Alan Mishchenko | 2022-03-05 | 4 | -39/+194 |
| | | | |||||
* | | | Interleaved variable ordering during bit-blasting. | Alan Mishchenko | 2022-02-25 | 2 | -3/+60 |
| | | | |||||
* | | | Intersection a bug in rewrite/refactor. | Alan Mishchenko | 2022-02-23 | 1 | -1/+1 |
| | | | |||||
* | | | Intersection a bug in rewrite/refactor. | Alan Mishchenko | 2022-02-22 | 9 | -46/+84 |
| | | | |||||
* | | | Similar changes suggested in other places. | Alan Mishchenko | 2022-02-18 | 1 | -4/+4 |
| | | | |||||
* | | | Merge pull request #147 from yurivict/FreeBSD_fix | alanminko | 2022-02-18 | 0 | -0/+0 |
|\ \ \ | | | | | | | | | Add missing class names in FreeBSD-ifdefed code. | ||||
| * | | | Add missing class names in FreeBSD-ifdefed code. | Yuri Victorovich | 2021-12-29 | 2 | -2/+2 |
| | | | | |||||
* | | | | Suggested change to prevent ABC from crashing when compiled on Windows. | Alan Mishchenko | 2022-02-18 | 1 | -1/+2 |
| |_|/ |/| | | |||||
* | | | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-16 | 8 | -224/+570 |
| | | | |||||
* | | | Improving truth table handling. | Alan Mishchenko | 2022-02-16 | 3 | -2/+27 |
| | | | |||||
* | | | Improving truth table handling. | Alan Mishchenko | 2022-02-03 | 5 | -21/+166 |
| | | | |||||
* | | | Compiler warnings. | Alan Mishchenko | 2022-02-02 | 1 | -2/+2 |
| | | | |||||
* | | | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-02 | 4 | -33/+440 |
| | | | |||||
* | | | Adding option to dump CNF after preprocessing in &glucose. | Alan Mishchenko | 2022-02-02 | 6 | -8/+22 |
| | | | |||||
* | | | Merge pull request #151 from sterin/master | alanminko | 2022-01-22 | 5 | -5/+11 |
|\ \ \ | | | | | | | | | Build CMake on GitHub Actions | ||||
| * | | | Build CMake on GitHub Actions | Baruch Sterin | 2022-01-23 | 5 | -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 Mishchenko | 2022-01-22 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #150 from sterin/master | alanminko | 2022-01-22 | 11 | -87/+184 |
|\ \ \ | | | | | | | | | Move CI to GitHub Actions. |