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

5986 Commits

Author SHA1 Message Date
alanminko c8d4592453
Merge pull request #463 from dinoruic/patch-2 
Fix destructor rewireMiaig.h
 2025-12-24 07:24:24 -08:00
alanminko e57bd52127
Merge pull request #462 from YosysHQ/upstreaming 
Upstreaming YosysHQ changes
 2025-12-24 07:24:07 -08:00
alanminko bc0f65cbfc
Merge pull request #460 from calewis/fix_ub 
Make multiplications use unsigned to avoid UB on overflow
 2025-12-24 07:23:49 -08:00
alanminko 7a4d8ec907
Merge pull request #458 from jfkey/bug/level-update 
Fix assertion failure in `Abc_AigUpdateLevelR_int` during refactor/rewrite/resub
 2025-12-24 07:23:19 -08:00
Dino e7c304d3d1
Fix destructor rewireMiaig.h 
Pointers that are allocated with a C-style malloc should be deleted with free -- not with the C++-style delete.

Using delete here will trip up toolchains that enforce using free for memory allocated with malloc.
 2025-12-23 16:14:38 -08:00
Miodrag Milanovic 35d19a9f33 WASI build fix for solver command 2025-12-22 12:32:43 +01:00
Miodrag Milanovic 11732d3082 Fix WASI build 2025-12-22 12:02:13 +01:00
Martin Povišer 860b49dd80 Fix UB in `&mfs -r` print 2025-12-22 12:01:47 +01:00
Alan Mishchenko 64637b8395 Adding an option to &cec against a previous saved AIG. 2025-12-19 20:32:11 -08:00
Alan Mishchenko c327b83127 Command "solver". 2025-12-18 23:07:11 -08:00
Alan Mishchenko 99bde47c57 Adding callbacks to verification engines. 2025-12-18 21:54:22 -08:00
Alan Mishchenko 1e9cc528be Temporarily commenting out this line which causes BLIF reader to fail. 2025-12-18 16:41:25 -08:00
Drew Lewis 993f30ffae Make multiplications use unsigned to avoid UB on overflow 
Signed-off-by: Drew Lewis <cannada@google.com>
 2025-12-18 16:59:29 +00:00
Alan Mishchenko f8726e5e97 Fixing a compiler problem. 2025-12-17 15:06:20 -08:00
Alan Mishchenko 9a2cf907da Fix to the jsonc writer. 2025-12-17 15:05:12 -08:00
Alan Mishchenko 15abe445f4 Updates to the jsonc writer. 2025-12-15 17:15:46 -08:00
Alan Mishchenko ee04349aee Dumping symbol table when blasting by Yosys. 2025-12-14 23:06:33 -08:00
Alan Mishchenko a8a58c63ba Updateing "topoexact". 2025-12-14 22:54:25 -08:00
Alan Mishchenko 94d0b0dbbb Command "write_jsonc". 2025-12-12 20:35:42 -08:00
liujunfeng 85a0039b78 fix level update bug in rw rf and resub 2025-12-12 18:27:34 +08:00
Alan Mishchenko 362661f00d Command "genpop". 2025-12-10 14:12:22 -08:00
Alan Mishchenko e67af0ad9e Command "netexact". 2025-12-07 17:51:22 -08:00
Alan Mishchenko 33001946f0 Accidental bug. 2025-12-05 21:14:01 -08:00
Alan Mishchenko eaa204829c Compiler warning. 2025-12-05 20:50:53 -08:00
Alan Mishchenko e58a28b73b Command "topoexact". 2025-12-05 20:44:46 -08:00
Alan Mishchenko b7f8df0941 Command "andexact". 2025-12-03 13:39:13 -08:00
Alan Mishchenko 5e58e34f6c Extending "lutexact -k" to work with larger functions. 2025-11-30 19:51:05 -08:00
Alan Mishchenko c4b2b5c180 Adding extension "y" for obj ID mapping. 2025-11-29 17:30:23 -08:00
Alan Mishchenko 9b0786fe89 Experiments with multipliers. 2025-11-27 19:46:16 -08:00
alanminko 53edce3382
Merge pull request #447 from mmicko/mingw_wasi 
Fix compilation for mingw and wasi (up streaming YosysHQ changes)
 2025-11-27 08:28:01 -08:00
Alan Mishchenko b9074a754b Adding verbose mode to &permute. 2025-11-26 17:58:28 -08:00
Alan Mishchenko 7691e2ed3c Fixing a bug in &mfs when black boxes are present. 2025-11-26 17:57:16 -08:00
Alan Mishchenko ee899284b8 Updating printing APIs. 2025-11-24 19:37:26 -08:00
Alan Mishchenko 7f64516f23 Fix to maintain correct order of boxes after "&mfs". 2025-11-24 08:01:26 -08:00
Alan Mishchenko ba852596b4 Adduing supporrt for dumping binary file with matches. 2025-11-23 15:05:46 -08:00
Alan Mishchenko 845de6f368 Adding binary cut dump. 2025-11-23 13:18:01 -08:00
Alan Mishchenko 6d2bedd609 Adding command "cuts". 2025-11-23 11:58:34 -08:00
Alan Mishchenko c956f02eb0 Debug features. 2025-11-23 11:57:59 -08:00
Alan Mishchenko 148f0e9cac Temporarily undoing recent changes to arrival/required times. 2025-11-23 10:55:51 -08:00
Alan Mishchenko fade76f70b Updating how history is recorded. 2025-11-21 20:07:49 -08:00
Alan Mishchenko 48d09e7f93 Fixing a corner case crash. 2025-11-21 19:49:48 -08:00
Alan Mishchenko bde60f2a20 Update to "lutexact". 2025-11-21 00:49:36 -08:00
Alan Mishchenko 4bba0356fb Dumping partial products as an AIG. 2025-11-20 22:57:16 -08:00
Alan Mishchenko d72b93c168 Updating how history is recorded. 2025-11-20 22:56:32 -08:00
Alan Mishchenko 6aaca6a1af Fixing timeout in kissat. 2025-11-20 22:54:05 -08:00
Alan Mishchenko 51c5ff3b81 Updated to "lutexact". 2025-11-20 13:35:47 -08:00
Alan Mishchenko 6490bd7da3 Improving print-outs. 2025-11-18 20:16:44 -08:00
Alan Mishchenko bb52782941 New command "print_npn". 2025-11-18 19:41:10 -08:00
Alan Mishchenko 8c27e4bc90 Adding permutation printout in "lutexact". 2025-11-18 18:10:31 -08:00
Alan Mishchenko 281204f938 Renaming "read_dsd" into "read_function". 2025-11-18 12:12:09 -08:00