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

5071 Commits

Author SHA1 Message Date
Jannis Harder 20f970f569 write_cex: Check for unsupported multi-PO SAT based minimization 
Running SAT-based CEX minimization with multiple POs runs into an
assertion. This makes it produce an error message instead.
 2022-08-05 15:12:00 +02:00
Jannis Harder feedbc7449 read_cex: Faster parsing and care bits for verification 2022-08-05 15:11:34 +02:00
Jannis Harder 8c923ad492 Add '-p' option to 'constr' to allow fully removing constraints 
Invoking 'constr -r' converts constraints into POs but does not fully
remove them. Now 'constr -pr' can be used to completely remove them,
leaving the set of non-constraint POs unchanged.
 2022-08-05 13:21:59 +02:00
Miodrag Milanović 7cc11f7f0c
Merge pull request #18 from josuah/yosys-experimental 
provide a fallback for systems without RLIMIT_AS
 2022-07-27 14:08:06 +02:00
Miodrag Milanovic 4e89fc7ccb Export version 2022-07-25 11:54:23 +02:00
Josuah Demangeon b6c0b36c8a do not include -lrt or -ldl on platform that do not support them 
Some platforms were already listed, this includes OpenBSD to the list
and makes it easier to add more.
 2022-07-15 14:34:10 +02:00
Miodrag Milanovic c95d9499d9 Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead." 
This reverts commit fd2c9b1c19.
 2022-07-15 12:46:01 +02:00
Catherine 8f5c823fa4
Merge pull request #17 from YosysHQ/wasi-wlnRtl 
Add support for WASI platform in Wln_ConvertToRtl
 2022-07-07 08:48:47 +00:00
Catherine 5f40c4704f Add support for WASI platform in Wln_ConvertToRtl. 2022-07-07 08:28:52 +00:00
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