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

6024 Commits

Author SHA1 Message Date
Miodrag Milanovic 1b64948c9b fixes 2025-12-29 10:50:16 +01:00
Miodrag Milanovic cd0cb8d65d fixes 2025-12-29 10:35:54 +01:00
Miodrag Milanovic 19d22c55cd fix 2025-12-29 10:29:18 +01:00
Miodrag Milanovic 52ce2492f7 fix 2025-12-29 10:17:49 +01:00
Miodrag Milanovic 7d7d48e35e Fix dsp file 2025-12-29 10:12:51 +01:00
Miodrag Milanovic f29fe78731 Fix MSVC 2025-12-29 09:44:50 +01:00
Alan Mishchenko 91e806ffb6 Compiler fix. 2025-12-26 11:04:01 -08:00
Alan Mishchenko 1f13c88bfd Creating commands to match popular scripts. 2025-12-26 08:08:31 -08:00
Alan Mishchenko 291e0a2c83 Updating &write_ver. 2025-12-25 13:16:37 -08:00
Alan Mishchenko 8d3ba7bd7d Compiler problem. 2025-12-25 11:22:11 -08:00
Alan Mishchenko 0ff43a13cb Command "aigsim". 2025-12-25 11:13:38 -08:00
Alan Mishchenko 28cc76119c Fixing continues. 2025-12-24 22:45:37 -08:00
Alan Mishchenko 8b79876f17 Fixing continues. 2025-12-24 22:37:14 -08:00
Alan Mishchenko 8d42237589 Fixing continues. 2025-12-24 22:26:01 -08:00
Alan Mishchenko 99ca3e4428 Commenting out troublesome code. 2025-12-24 21:49:23 -08:00
Alan Mishchenko 95b8d57331 Updating declarations. 2025-12-24 21:34:38 -08:00
Alan Mishchenko 997619d33e Moving guards to proper places. 2025-12-24 21:08:18 -08:00
Alan Mishchenko 52741b9123 Adjusting guards to avoid compiler problems. 2025-12-24 21:02:20 -08:00
Alan Mishchenko 2accf61bcd Adding undefined procedure. 2025-12-24 20:49:55 -08:00
Alan Mishchenko d2c15a04db Commenting out conflicting declarations. 2025-12-24 20:38:07 -08:00
Alan Mishchenko 00cee5f2f5 Reordering includes. 2025-12-24 20:10:08 -08:00
Alan Mishchenko 645d8667c3 Fixing misplaced guard. 2025-12-24 19:59:20 -08:00
Alan Mishchenko a38d012563 Added proper guards to new files. 2025-12-24 19:47:46 -08:00
Alan Mishchenko 5cdded372a Command %ufar. 2025-12-24 19:06:29 -08:00
Alan Mishchenko 84fca2c3f0 Fixing misplaced declaration issue. 2025-12-24 17:52:20 -08:00
Alan Mishchenko 60f52cc082 Changes to "read_jsonc". 2025-12-24 17:45:00 -08:00
Alan Mishchenko 58023c97b7 Added counter-example printout to "&cec -t". 2025-12-24 15:57:57 -08:00
Alan Mishchenko c0ea0cf4d0 Printing counter-examples in "cec" and "&cec". 2025-12-24 15:36:42 -08:00
Alan Mishchenko 87395e54f5 Making sure "twoexact" works with functions up to 14 inputs. 2025-12-24 14:33:35 -08:00
Alan Mishchenko 6ff6a382df Extending %yosys to handle asynch and uninitilized flops. 2025-12-24 14:31:42 -08:00
Alan Mishchenko 050bab8314 Adding missing names in "undc". 2025-12-24 14:29:41 -08:00
Alan Mishchenko bd7fb12e18 Upgrading "lutexact -c" to be like "lutexact -k". 2025-12-24 13:37:06 -08:00
Alan Mishchenko 3d32b8b2ad Updating "lutexact -c" to fix the change in Cadical after upgrade. 2025-12-24 13:20:26 -08:00
Alan Mishchenko b822d47fcf Updating cofactoring procedure. 2025-12-24 13:12:10 -08:00
alanminko fd04a1c073
Merge pull request #465 from zeldin/flipvar5_fix 
Fix memory corruption in &mfs.
 2025-12-24 07:24:54 -08:00
alanminko f9e4430535
Merge pull request #464 from MyskYko/cadical-rel-2.2.0 
update cadical to 2.2.0
 2025-12-24 07:24:38 -08:00
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
Marcus Comstedt c0e252846e Fix memory corruption in &mfs. 2025-12-24 10:31:08 +01:00
MyskYko a625ef2edc update cadical to 2.2.0 2025-12-23 23:37:45 -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