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

5220 Commits

Author SHA1 Message Date
Alan Mishchenko 55aba1731c Fixing a typo. 2023-09-08 19:57:45 +07:00
Alan Mishchenko f844fb1057 Command to add one flop to the design. 2023-09-08 16:46:14 +07:00
Alan Mishchenko 0c719ab69e Adding procedure to merge two libraries. 2023-09-08 14:23:14 +07:00
alanminko 00fa1e3714
Merge pull request #241 from wjrforcyber/typo 
Refactor(Typo):Typo currently exists
 2023-09-05 14:09:40 +07:00
alanminko 1f0c51533f
Merge pull request #232 from phsauter/fix-retime-segfault 
fix Segfault in retime command
 2023-09-05 14:09:13 +07:00
alanminko 4c718f7b50
Merge pull request #218 from seccipon/master 
1. Fix bug (using pDesign without check if == NULL) 2. Switch type of variables containing file size to (int => long)
 2023-09-05 14:08:51 +07:00
alanminko 7f22cc07b8
Merge pull request #194 from jamesjer/badfile 
Do not pass NULL to fprintf
 2023-09-05 14:07:35 +07:00
alanminko e3feb5c44a
Merge pull request #183 from j2kun/patch-1 
typo: Libery -> Liberty
 2023-09-05 14:06:53 +07:00
alanminko 0e88e2739f
Merge pull request #177 from mmicko/fix_large_liberty 
Enable loading of large liberty files
 2023-09-05 14:06:07 +07:00
alanminko 1cd5a2ce04
Merge pull request #156 from Teemperor/FixMemoryLeak 
Fix some memory leaks
 2023-09-05 14:05:09 +07:00
alanminko 3daa630a03
Merge pull request #242 from DanielG/spelling-fixes 
treewide: Fix spelling mistakes
 2023-09-05 13:31:50 +07:00
Alan Mishchenko 7df17e3c5e Experiments with the SAT sweeper. 2023-09-05 11:13:08 +07:00
Alan Mishchenko 167fceac37 Enabling command history on Linux. 2023-09-05 11:11:18 +07:00
Alan Mishchenko 301469432d Experiments with the SAT sweeper. 2023-09-04 19:58:31 +07:00
Alan Mishchenko a13dae7a4a Corner-case bug in truth table reading. 2023-09-04 08:18:02 +07:00
Alan Mishchenko 1cdb2dacee Problem fix: <unistd.h> is not properly defined. 2023-09-04 08:13:00 +07:00
wjrforcyber 1a525c57a6 Merge remote-tracking branch 'upstream/master' into typo 2023-08-29 10:57:06 +08:00
wjrforcyber b8f5708ec1 Refactor(Typo):Expends->Expands 2023-08-29 10:46:57 +08:00
Cunxi Yu 3488a35472
Merge branch 'berkeley-abc:master' into master 2023-08-27 10:21:43 -07:00
CUNXI YU 855976c61d correct the naming of augmentation 2023-08-27 11:19:26 -06:00
CUNXI YU 0fe977a33c correct the naming of augmentation 2023-08-27 11:18:35 -06:00
Daniel Gröber b7d1435db1 treewide: Fix spelling mistakes 
A particularly pedantic set of changes currently used in Debian

Authored-By: Ruben Undheim <ruben.undheim@gmail.com>
 2023-08-27 14:13:20 +02:00
Alan Mishchenko 3309ccabd4 Cleaning up AIG output in EQN format. 2023-08-26 17:12:50 +07:00
Alan Mishchenko 750f8f174e Extending &ps -n NPN profile to use cut pairs. 2023-08-24 21:44:38 +07:00
Cunxi Yu 01f4eb9b43
Merge branch 'berkeley-abc:master' into master 2023-08-23 20:24:33 -06:00
Alan Mishchenko 756e21a81d Problem fix: <unistd.h> is not properly defined. 2023-08-20 15:50:59 +07:00
wjrforcyber 0971429b56 Refactor(Typo):rec_add2 is no longer exist 2023-08-18 12:42:13 +08:00
Ethan Mahintorabi aae3a39914
map: Fixes windows fnmatch build issue 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2023-08-15 19:10:42 +00:00
Ethan Mahintorabi 503c4a34b0
map: Adds a user configurable dont_use flag to liberty 
This flag (-X <glob>) will allow a user to set this flag
multiple times with a glob pattern to exclude cells that
user doesn't want to show up in a mapped netlist.

Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2023-08-14 18:19:20 +00:00
lyj1201 0fab82384a add AIG random synthesis based RTL argumentation; command = aigarg 2023-08-14 12:04:33 -06:00
Alan Mishchenko c4839c92a8 Fixing 'read_truth' to read a constant truth table 2023-08-14 21:21:02 +07:00
Alan Mishchenko c2517679d6 Code to compute CNF of a cardinality constraint. 2023-08-14 20:59:32 +07:00
Alan Mishchenko 42683a7370 Fixed performance bug in Feb 28 commit (0d0063f). 2023-08-12 16:36:18 +07:00
Alan Mishchenko a7aa3deac9 Fixed a corner-case bug in Aug 5 commit (3daecc0). 2023-08-12 16:32:56 +07:00
Alan Mishchenko a603186d8e "Fixing usage message of &ps." 2023-08-11 07:14:11 +07:00
Philippe Sauter 0fa51fd627
Merge branch 'berkeley-abc:master' into fix-retime-segfault 2023-08-10 13:56:20 +02:00
alanminko e387ddf849
Merge pull request #236 from MyskYko/fix_rwr 
update reverse level when co is replaced
 2023-08-06 08:52:20 +07:00
MyskYko 3daecc0ea8 update reverse level when co is replaced 2023-08-05 13:35:41 -07:00
Alan Mishchenko 039f05cb56 Adding preprocessing to command &splitsat. 2023-07-27 20:50:02 -07:00
Alan Mishchenko 74157fc0ab New command &splitsat. 2023-07-27 16:00:17 -07:00
Alan edb7fb100d Removing checking for the binary in the current dir. 2023-07-26 20:27:17 -07:00
Alan Mishchenko c51c081d90 Changing default time counting from thread time to wall time. 2023-07-25 12:54:22 -07:00
Alan Mishchenko a3942996e7 Bug fix in &splitprove. 2023-07-25 12:53:50 -07:00
Alan Mishchenko d9f6af51af Experiment with CNF cofactoring. 2023-07-24 16:21:42 -07:00
Alan Mishchenko 19eaa55c2a Experiments with cube ordering. 2023-07-23 10:14:35 -07:00
Alan Mishchenko 683882f2bb Experiments with stochastic synthesis. 2023-07-22 22:18:28 -07:00
Alan Mishchenko 0108175c6c Bug fix in 'dsd'. 2023-07-22 17:08:01 -07:00
Alan Mishchenko a620c09c40 Adding functional comparison to &compare. 2023-07-22 16:44:33 -07:00
phsauter 0f7d05d531 fix Segfault in retime command 2023-07-22 21:20:09 +02:00
Alan Mishchenko 3592078ddb Partitioned &scorr. 2023-07-21 18:49:06 -07:00
Alan Mishchenko 55ed1e6698 Changing command &permute to generate random NPNP transformations. 2023-07-21 16:15:34 -07:00
Alan Mishchenko 623d0f3c9f Change in how signal names are printing in 'print_level'. 2023-07-18 21:00:13 -07:00
Alan Mishchenko 0828ac28a0 Bug fix in Verilog writer. 2023-07-18 15:53:20 -07:00
alanminko 354d302fef
Merge pull request #231 from salfter/c++17-fix 
fix errors when compiling within Yosys: "ISO C++17 does not allow 'register' storage class specifier"
 2023-07-18 11:33:57 -07:00
Scott Alfter 927b60b7a0 fix errors when compiling within Yosys: "ISO C++17 does not allow 'register' storage class specifier" 2023-07-18 09:17:58 -07:00
Alan Mishchenko 59cfcd2240 Compiler warnings. 2023-07-18 09:00:11 -07:00
Cunxi Yu 5bb7fb76a7 add orchestration function (local greedy); usage: orchestrate -h 2023-07-16 12:20:10 -06:00
Alan Mishchenko 766f64e221 Updating 'sim' command to print input patterns. 2023-07-14 20:23:56 -07:00
Alan Mishchenko c70de10002 Updating &saveaig command. 2023-07-14 20:06:22 -07:00
Alan Mishchenko e61194bbed Bug fix. 2023-07-08 10:18:18 -07:00
Alan Mishchenko a82bbaa91d Bug fix in equiv class filtering. 2023-07-07 14:03:35 -07:00
Alan Mishchenko 373c5eccf3 Experiment with multipliers. 2023-07-07 13:12:22 -07:00
Rajit Manohar 62b85322ea no need to call strlen on a constant 2023-06-24 12:34:24 -04:00
Rajit Manohar bbdfe37bf9 fix segv when obj is a primary input 2023-06-24 12:17:57 -04:00
alanminko a5a6254db1
Merge pull request #173 from mmicko/namespace_fix 
Prevent types from stdint to be defined under abc namespace
 2023-05-19 18:15:09 -07:00
alanminko cf25d25dd0
Merge pull request #195 from hzeller/20221121-fix-msan-issue 
Make sure all 32 bits of bit-field are initialized.
 2023-05-18 22:33:14 -07:00
alanminko ea40a95830
Merge pull request #196 from hzeller/20221121-fix-ub 
Fix undefined behavior in signed/unsigned shifting.
 2023-05-18 22:33:01 -07:00
alanminko 4f0cdd2167
Merge pull request #217 from hzeller/20230427-avoid-double-define 
Don't #define _DEFAULT_SOURCE if already defined.
 2023-05-18 22:32:48 -07:00
alanminko 80c1c01641
Merge pull request #225 from hzeller/20230515-fully-qualify-inserter 
Fully namespace-qualify std::inserter(); add missing include.
 2023-05-18 22:32:35 -07:00
Alan Mishchenko 5a9a902044 Bug fix in equivalence class handling (another try). 2023-05-17 10:34:14 -07:00
Henner Zeller ed7de06726 Fully namespace-qualify std::inserter(); add missing include. 
Signed-off-by: Henner Zeller <hzeller@google.com>
 2023-05-15 09:14:40 -07:00
alanminko 3d35624be6
Merge pull request #224 from MyskYko/transduction 
Transduction option fix and multi-threading
 2023-05-14 14:12:26 -07:00
Yukio Miyasaka 16894c56ee thread parallelism 2023-05-14 13:48:40 -07:00
Alan Mishchenko 96e1de436e Bug fix in equivalence class handling (another try). 2023-05-14 12:43:07 -07:00
Alan Mishchenko bb4378934d Removing a global variable in resub. 2023-05-13 13:53:59 -07:00
Yukio Miyasaka 3af039d7c3 zero cost hop 2023-05-12 22:10:40 -07:00
Yukio Miyasaka a3fb930e44 fix option 2023-05-12 21:44:29 -07:00
Alan Mishchenko 7e501b9b02 Bug fix in equivalence class handling. 2023-05-12 18:39:47 -07:00
alanminko 41a2b2a0ef
Merge pull request #223 from MyskYko/transduction 
transtoch with exdc
 2023-05-12 12:36:05 -07:00
MyskYko 1f16d8bc90 transtoch with exdc 2023-05-12 12:15:23 -07:00
Alan Mishchenko 26edc73b04 Bug fix in miter generation. 2023-05-11 19:20:27 -07:00
Alan Mishchenko 2c9937e0dd Small bug in managing AIG manager name. 2023-05-10 15:05:08 -07:00
Alan Mishchenko 7c04730a24 A minor change and adding ABC file markers. 2023-05-10 12:20:15 -07:00
alanminko 233680f286
Merge pull request #220 from MyskYko/transduction 
Stochastic Transduction Script
 2023-05-10 12:09:45 -07:00
MyskYko 36b357175a stochastic script for transduction 2023-05-06 04:15:34 -07:00
Alan Mishchenko 875ef73275 Temporarily disabling &transduction for an old windows compiler. 2023-05-04 12:27:08 -07:00
alanminko 38cd47b46c
Merge pull request #219 from MyskYko/transduction 
Transduction method
 2023-05-04 14:20:34 -04:00
MyskYko 3b946e76e3 options 2023-05-04 02:12:58 -07:00
MyskYko 920f4dbb7d verbose 2023-05-04 01:49:30 -07:00
MyskYko ec626957b5 option change 2023-05-03 10:46:42 -07:00
MyskYko d1ceefee82 compiler warning 2023-05-02 18:17:46 -07:00
MyskYko 323229a438 fix build 2023-05-02 17:27:01 -07:00
MyskYko ce3843ec8c fix enum 2023-05-02 17:08:02 -07:00
MyskYko 13b0d17169 abc cxx namespace 2023-05-02 17:02:04 -07:00
MyskYko 6e985705fc transduction 2023-05-02 16:48:33 -07:00
Alan Mishchenko eff805a644 Bug fix in choice computation. 2023-04-28 08:02:04 -04:00
Andrey Rogov d785775f64 1. Fix bug (using pDesign without check if == NULL) 
2. Switch type of variables containing file size to (int => long)
 2023-04-28 01:52:01 +03:00
Henner Zeller dfd8fabdd7 Don't #define _DEFAULT_SOURCE if already defined. 2023-04-27 13:44:13 -07:00
Alan Mishchenko cc6834d4cc Unifying random number generation. 2023-04-27 15:40:34 -04:00
Alan Mishchenko 65a756bf01 Command to write the network into an edgelist file, contributed by Cunxi Yu (University of Utah). 2023-04-25 12:58:59 -04:00
Alan Mishchenko 1a91797316 Trying to fix a spurious build error. 2023-04-22 19:17:56 -07:00
Alan Mishchenko 9f4ab5a2c1 Bug fix in SAT sweeping. 2023-04-22 18:37:21 -07:00
Alan Mishchenko b633363f06 Trying to fix a spurious build error. 2023-04-04 10:43:01 +08:00
Alan Mishchenko eaa9da53cd Various unrelated changes. 2023-04-04 10:28:07 +08:00
Alan Mishchenko 36a83acf3c Experiments with sequential mapping. 2023-03-31 19:52:46 +07:00
Alan Mishchenko 08d25f39f2 Various unrelated changes. 2023-03-26 08:15:45 +07:00
Alan Mishchenko 41c01e4fb7 Compiler warning. 2023-03-17 09:59:57 +07:00
Alan Mishchenko 6694add40f Compiler warning. 2023-03-17 09:54:46 +07:00
Alan Mishchenko 1229d1ff07 New options to print out sim info. 2023-03-16 13:03:07 +07:00
Alan Mishchenko a5f4841486 Adding BLIF dumping to MiniAIG. 2023-03-13 20:51:40 +07:00
Alan Mishchenko 6d9c8daece Fix duplicating invs/bufs driving primary outputs in 'write_verilog'. 2023-03-11 22:28:38 +07:00
Alan Mishchenko 8ffb7811c7 New options to print out sim info (warning). 2023-03-11 20:35:23 +07:00
Alan Mishchenko c1b2a64c2e Alternative binary name on Linux. 2023-03-11 20:29:04 +07:00
Alan Mishchenko 7bc6f3396e New options to print out sim info. 2023-03-11 20:25:11 +07:00
Alan Mishchenko 953970e73a Skipping zero partial products. 2023-03-05 11:42:26 +07:00
Alan Mishchenko 9d0e828b85 Fixing compiler error. 2023-03-01 19:12:06 +07:00
Alan Mishchenko 3370370101 Adding switch 'show -d' to keep (not delete) the .dot file after generating the .ps file. 2023-03-01 19:00:44 +07:00
Alan Mishchenko a79dc18eb2 Enabling generation of non-restoring divider. 2023-03-01 18:41:24 +07:00
Alan Mishchenko 8742534db8 More compiler warnings. 2023-03-01 01:12:36 -08:00
alanminko 91aaff2575 More compiler warnings. 2023-02-28 03:07:41 -08:00
Alan Mishchenko 667326b18e Compiler warnings. 2023-02-28 15:53:12 +07:00
Alan Mishchenko 622d142794 Compiler warnings. 2023-02-28 15:40:06 +07:00
Alan Mishchenko b57b546494 Compiler warnings. 2023-02-28 15:16:31 +07:00
Alan Mishchenko 0d0063f7de Experiment with cost functions. 2023-02-28 13:50:35 +07:00
Alan Mishchenko 581c58b9c4 Experiment with choice computation. 2023-02-16 07:14:18 +01:00
Alan Mishchenko 38ad178e9e Changes and bug fixes in exact synthesis. 2023-02-13 06:39:10 +01:00
Alan Mishchenko bbd0640db2 Enable 'scorr' when AIG has no internal nodes. 2023-02-09 16:15:48 -08:00
Alan Mishchenko 1aecc3373c New command to compute the range of output values. 2023-02-08 15:54:38 -08:00
Alan Mishchenko aa4cada268 Experiments with multiplier generation (linker problem). 2023-02-08 14:49:42 -08:00
Alan Mishchenko 688be5719e Experiments with multiplier generation. 2023-02-08 14:37:38 -08:00
Alan Mishchenko ea0f22de4d Bug fix in &mfs. 2023-02-08 00:25:17 -08:00
Alan Mishchenko 110bac4394 Improvement in truth table printout. 2023-02-08 00:24:43 -08:00
Alan Mishchenko c899a4cb3b Experiments with multipliers. 2023-02-08 00:24:04 -08:00
Alan Mishchenko fa58597321 Updating mfs2 and &mfs to work with larger nodes. 2023-02-05 14:44:44 -08:00
Alan Mishchenko e7ecaee92d Bug fix in supergate generation. 2023-02-05 14:41:18 -08:00
Alan Mishchenko 086321a232 Bug fix. 2023-02-02 09:28:51 -08:00
Alan Mishchenko acdb94d1d3 Interfacing SAT sweepers. 2023-02-02 09:15:42 -08:00
Alan Mishchenko 70a07869c6 Updating interface of scorr. 2023-01-28 09:31:13 -10:00
Alan Mishchenko 66a5fe7aec Experiments with exact synthesis. 2022-12-29 17:15:53 -08:00
Alan Mishchenko aefbac6b04 Adding printout of SOPs. 2022-12-19 10:37:22 -08:00
Alan Mishchenko 27b8cce3fe Experiments with precomputation. 2022-12-18 20:06:07 -08:00
Alan Mishchenko 091c589301 Unifying the use of random numbers. 2022-12-14 20:45:11 -08:00
Alan Mishchenko c20f1dcc73 Another way of dumping QBF problem into a file (bug fix). 2022-12-04 07:35:16 -08:00
Alan Mishchenko 6e6c728b65 Another way of dumping QBF problem into a file. 2022-12-03 20:29:06 -08:00
Alan Mishchenko 2c7a456c37 Suggested bug fix in 'resub' with ODCs. 2022-11-29 10:51:59 -08:00
Alan Mishchenko 3bcc4fc386 Other suggested changes. 2022-11-21 14:40:55 -08:00
Alan Mishchenko b0518173b1 Preventing underfined behavior following a github message suggestion. 2022-11-21 14:12:47 -08:00
Henner Zeller 74740dc894 Fix undefined behavior in signed/unsigned shifting. 
Discovered by UBSAN as invalid attempts at shifting signed integers.

Signed-off-by: Henner Zeller <hzeller@google.com>
 2022-11-21 12:36:41 -08:00
Henner Zeller 2f0f638007 Make sure all 32 bits of bit-field are initialized. 
Found with msan static analysis which noticed an
uninitialized bit.

Signed-off-by: Henner Zeller <hzeller@google.com>
 2022-11-21 12:23:11 -08:00
Jerry James 5a9f37cd93 Do not pass NULL to fprintf 2022-11-16 11:38:38 -07:00
Alan Mishchenko 70cb339f86 Bug fix in &dch -x. 2022-10-19 05:05:56 -07:00
Alan Mishchenko 336b41a063 Adding comment about dup cell name. 2022-10-11 09:36:15 -07:00
Alan Mishchenko 813a0f1ff1 Updating features of &if mapper. 2022-10-09 23:51:40 -07:00
Jeremy Kun 4f4bba2a47
typo: Libery -> Liberty 2022-09-30 09:17:32 -07:00
Yukio Miyasaka fdd5656599 fix compile warnings 2022-09-19 18:25:00 -07:00
Alan Mishchenko 1bd7550378 Compiler warnings. 2022-09-19 16:30:52 -07:00
Alan Mishchenko 6325e41681 Compiler warnings. 2022-09-19 16:13:54 -07:00
Alan Mishchenko 4d183efe48 Compiler warnings. 2022-09-19 16:07:29 -07:00
Alan Mishchenko 47c153629f Compiler warnings. 2022-09-19 15:57:48 -07:00
Yukio Miyasaka 124e750e9a fix compile errors and warnings 2022-09-19 14:51:34 -07:00
Alan Mishchenko 6c8c6aafc5 Temporarily disabling new code. 2022-09-19 12:41:19 -07:00
Alan Mishchenko 2df7443317 Temporarily disabling new code. 2022-09-19 12:33:45 -07:00
Alan Mishchenko a6c9e997bd Temporarily disabling &ttopt in the Windows version. 2022-09-19 11:17:15 -07:00
alanminko c65e08f9b5
Merge pull request #178 from MyskYko/ttopt 
Import ttopt
 2022-09-19 10:49:31 -07:00
Alan Mishchenko b69f439609 Adding args to command %yosys. 2022-09-19 10:48:41 -07:00
Yukio Miyasaka 96b9ef2ce5 import ttopt 2022-09-17 15:42:36 -07:00
Miodrag Milanovic 7543778f2c Enable loading of large liberty files 2022-09-07 11:45:30 +02:00
Alan Mishchenko 0ed81b34f1 Compiler warnings. 2022-08-30 13:28:59 -07:00
Alan Mishchenko 138c381f76 Testing utility code. 2022-08-30 13:19:14 -07:00
Alan Mishchenko 34d571a562 Various changes. 2022-08-30 12:30:15 -07:00
Alan Mishchenko c3c643820e Various changes. 2022-08-30 12:00:33 -07:00
Alan Mishchenko 1b0439d128 Changing 2:1 MUX fanin order to be (ctrl, data0, data1). 2022-08-11 20:19:37 -07:00
Alan Mishchenko af0ac88266 Improvements to command 'twoexact'. 2022-08-08 16:43:30 -07:00
Alan Mishchenko 1368a920b9 Improvements to command 'twoexact'. 2022-08-08 16:41:32 -07:00
Alan Mishchenko 99b33e5dbf Improvements to command 'twoexact'. 2022-08-07 12:56:37 -07:00
Alan Mishchenko 30ddf14c90 Improvements to command 'twoexact'. 2022-08-07 12:24:44 -07:00
Alan Mishchenko 21cccea072 Improvements to command 'twoexact'. 2022-08-04 21:08:11 -07:00
Alan Mishchenko 89e1ee8bc9 Improvements to command 'twoexact'. 2022-08-03 20:59:44 -07:00
Alan Mishchenko 132b893921 Investigating complex miters. 2022-08-03 10:09:44 -07:00
Alan Mishchenko a9237f50ea New switch in command &st for adding buffers. 2022-07-31 19:12:55 -07:00
Alan Mishchenko 66449e8033 Constructing boolean relation. 2022-07-30 20:38:33 -07:00
Alan Mishchenko ddb22f3bed Various changes. 2022-07-30 14:21:47 -07:00
Miodrag Milanovic 65590d0e17 Prevent types from stdint to be defined under abc namespace 2022-06-29 09:12:22 +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