| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding command to check resub problem solution. | Alan Mishchenko | 2022-06-10 | 4 | -0/+568 |
| | | |||||
| * | Bug fix by Ai Quoc Dao. | Alan Mishchenko | 2022-06-08 | 1 | -1/+1 |
| | | |||||
| * | Renaming switch '-i' into '-c' in %collapse. | Alan Mishchenko | 2022-06-05 | 1 | -4/+4 |
| | | |||||
| * | Enabling support for reading AIGs with XOR gates. | Alan Mishchenko | 2022-06-05 | 3 | -5/+92 |
| | | |||||
| * | Integrated Kissat, by Armin Biere, as an external binary. | Alan Mishchenko | 2022-06-02 | 2 | -0/+191 |
| | | |||||
| * | Supporting new resub problem format. | Alan Mishchenko | 2022-06-02 | 6 | -2/+200 |
| | | |||||
| * | 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 | 10 | -14/+3782 |
| | | |||||
| * | 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(). | ||||
| * | | | 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 |
| | | | | |||||
| * | | | 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 | 7 | -224/+562 |
| | | | |||||
| * | | 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 |
| | | | |||||
| * | | Suggested bug fix. | Alan Mishchenko | 2022-01-22 | 1 | -1/+1 |
| | | | |||||
| * | | Move CI to GitHub Actions. | Baruch Sterin | 2022-01-22 | 4 | -8/+8 |
| | | | | | | | | | Also, a few minor changes that are required to compile ABC under moder compilers. | ||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |