luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
5,062 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

5062 Commits

Author SHA1 Message Date
Miodrag Milanovic f159bef6c3 Prevent types from stdint to be defined under abc namespace 2022-07-04 16:11:23 +02:00
Miodrag Milanovic 163af36fee Merge remote-tracking branch 'upstream/master' into yosys-experimental 2022-07-04 16:02:44 +02:00
Jannis Harder 1863430528
Merge pull request #16 from jix/read_cex_chagnes 
read_cex: Allow reading cex that has extra registers
 2022-07-01 16:21:56 +02:00
Jannis Harder 69ffaa0912 read_cex: Allow reading cex that has extra registers 2022-07-01 16:00:05 +02:00
Alan Mishchenko c23cd0a7c5 Commenting out unimportant assertion. 2022-06-27 09:53:17 -07:00
Alan Mishchenko adcc398bc3 Dumping equivalences after SAT sweeping. 2022-06-26 19:45:03 -07:00
Alan Mishchenko 8cf3f54208 Experiments with technology mapping. 2022-06-25 19:44:30 -07:00
Alan Mishchenko 25455d358f Making command &kissat not look for the binary in the current dir. 2022-06-23 08:04:34 -07:00
Alan Mishchenko 8888e8e82e Experiments with the mapper. 2022-06-23 07:48:10 -07:00
Alan Mishchenko 8eb651c3d3 Adding command to check resub problem solution. 2022-06-10 16:55:12 -07:00
Alan Mishchenko ae0f03f4a9 Adding command to check resub problem solution. 2022-06-10 14:06:23 -07:00
Alan Mishchenko 3241a595ba Bug fix by Ai Quoc Dao. 2022-06-08 08:50:37 -07:00
Alan Mishchenko 7bda1d4bfb Renaming switch '-i' into '-c' in %collapse. 2022-06-05 18:28:51 -07:00
Alan Mishchenko 617eb759ae Enabling support for reading AIGs with XOR gates. 2022-06-05 18:27:40 -07:00
Alan Mishchenko aebf1e7b9c Integrated Kissat, by Armin Biere, as an external binary. 2022-06-02 09:35:06 -07:00
Alan Mishchenko 94ab17c39e Supporting new resub problem format. 2022-06-02 07:47:33 -07:00
Alan Mishchenko 5a3e0a1f15 Improvements to MiniAIG. 2022-05-22 19:47:13 -07:00
Alan Mishchenko 4f7bf91003 Adding new switch to &cec. 2022-05-20 12:53:12 -07:00
Alan Mishchenko 21922e3e9f Adding switch to dsd_match to skip small functions. 2022-05-18 10:43:07 -07:00
Alan Mishchenko 67247b7209 One less line printed out in the batch mode. 2022-05-18 10:42:37 -07:00
Alan Mishchenko 3d19d411b2 Improvements to MiniAIG. 2022-05-18 10:41:39 -07:00
Miodrag Milanovic 09a7e6dac7 distinquish between old and new format as well 2022-05-06 15:49:42 +02:00
Miodrag Milanovic 6234e18df7 Give more reasonable error on read_cex and handle status 2022-05-06 15:41:34 +02:00
Yuri Victorovich c84323b5a5 Add missing class names in FreeBSD-ifdefed code. 2022-05-06 08:00:29 +02:00
Alan Mishchenko 61f2f3db6f Removing equivalence classes when they are not properly refined. 2022-04-28 15:41:02 -07:00
Alan Mishchenko f6758079f7 Removing equivalence classes when they are not properly refined. 2022-04-27 20:54:04 -07:00
Alan Mishchenko daa4eaf2af Removing duplicated command. 2022-04-26 18:54:12 -07:00
Alan Mishchenko 5999b5a516 Adding switch -c to &cone. 2022-04-26 17:49:39 -07:00
Alan Mishchenko 0fc56e7199 Experiments with word-level data structures. 2022-04-26 10:39:54 -07:00
Alan Mishchenko c68fcae445 A trivial changeset. 2022-04-24 20:57:41 -07:00
Alan Mishchenko 9e164ec52d Adding a switch to complement outputs after collapsing. 2022-04-24 20:15:15 -07:00
Alan Mishchenko 7693ce6a6c Bug fix in &uif. 2022-04-24 19:15:22 -07:00
Alan Mishchenko dd81af8170 Supporting multiple box types in &uif. 2022-04-24 14:37:46 -07:00
Alan Mishchenko ca6dd4ed17 Bug fix in &uif. 2022-04-24 13:56:19 -07:00
Alan Mishchenko 1abd0457ab Experiments with SAT sweeping. 2022-04-24 10:25:46 -07:00
Alan Mishchenko cb30ea0516 Experiments with SAT sweeping. 2022-04-24 09:59:22 -07:00
Alan Mishchenko 1f56f20e1b Experiments with SAT sweeping. 2022-04-24 09:29:52 -07:00
Alan Mishchenko 8e13245ed0 Adding switch to stop scorr if refinement is too slow. 2022-04-24 08:53:57 -07:00
Alan Mishchenko b79f37ae57 Experiments with word-level data structures. 2022-04-22 15:18:49 -07:00
Miodrag Milanović 3da935785f
Merge pull request #14 from YosysHQ/micko/read_cex_fix 
Make read_cex able to append if some latches are missing
 2022-04-18 09:24:59 +02:00
Miodrag Milanovic 43a15df951 Fix for unhandled aiw file commands 2022-04-15 11:42:56 +02:00
Miodrag Milanovic b29e8a777b Make read_cex able to append if some latches are missing 2022-04-13 18:54:55 +02:00
alanminko fdf08d2aad
Merge pull request #160 from antonblanchard/signed-char 
Fix compile error on targets with unsigned char
 2022-04-06 18:10:37 -07:00
Alan Mishchenko e5e5e3545b Added a switch to &dfs to perform levelized ordering. 2022-04-04 22:12:58 -07:00
Alan Mishchenko 7ad8f9548c Experiments with word-level data structures. 2022-04-04 22:08:53 -07:00
alanminko 547de09670
Merge pull request #145 from QuantamHD/fix_internal_pins 
Fixes internal pin parsing error in ASAP7 liberty file.
 2022-04-04 12:55:49 -07:00
Alan Mishchenko 5405003a5e Suggested changes to properly initialize the variable array for Cudd_bddVectorCompose(). 2022-04-02 23:44:57 -07:00
alanminko 480aaa6464
Merge pull request #157 from sarnold/gh-windows-fix 
fix windows CI => project file integration broken on windows-latest
 2022-03-30 14:48:31 -07:00
Alan Mishchenko a24b15d03a Suggested changes for the case when the file begings with a new line. 2022-03-29 15:31:13 -07:00
Stephen L Arnold 4f2cd590bc fix windows CI => project file integration broken on windows-latest 
* use windows-2019 until updated project files are usable on 2022

Signed-off-by: Stephen L Arnold <nerdboy@gentoo.org>
 2022-03-27 12:45:13 -07:00