summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Investigating complex miters.Alan Mishchenko2022-08-034-8/+185
|
* New switch in command &st for adding buffers.Alan Mishchenko2022-07-312-5/+38
|
* Constructing boolean relation.Alan Mishchenko2022-07-301-0/+156
|
* Various changes.Alan Mishchenko2022-07-308-2/+181
|
* Commenting out unimportant assertion.Alan Mishchenko2022-06-271-1/+1
|
* Dumping equivalences after SAT sweeping.Alan Mishchenko2022-06-265-6/+172
|
* Experiments with technology mapping.Alan Mishchenko2022-06-255-0/+330
|
* 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-238-1/+119
|
* Adding command to check resub problem solution.Alan Mishchenko2022-06-102-7/+91
|
* Adding command to check resub problem solution.Alan Mishchenko2022-06-105-0/+572
|
* 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
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 04:42:26 +0000