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

5878 Commits

Author SHA1 Message Date
alanminko 84b78d570c
Merge pull request #498 from petterreinholdtsen/mach-only-apple 
Corrected #ifdef for mach based Apple builds in cadical_file.cpp.
 2026-05-02 21:21:43 -07:00
alanminko 6d9c88d7e8
Merge pull request #499 from petterreinholdtsen/missing-path-max 
Provide replacement value for PATH_MAX on platforms without it.
 2026-05-02 21:20:38 -07:00
alanminko 298bcee98a
Merge pull request #505 from gigeresk/lutpack_assert_fix 
Fix intermittent assert failures in lutpack functions
 2026-05-02 21:20:01 -07:00
alanminko 5611ca0bbb
Merge pull request #503 from AdvaySingh1/ISSUE-479 
Added fix for write_cnf adding extra clauses on direct PI-PO
 2026-05-02 21:19:31 -07:00
alanminko ec4faae74a
Merge pull request #501 from petterreinholdtsen/writepla-assert-relaxed 
Relaxed assert in Io_WritePla() to avoid failure with too shallow network.
 2026-05-02 21:16:35 -07:00
Fred Tombs db8e5d9988 Apply same assert fix to l144 2026-05-02 16:15:00 -04:00
Alan Mishchenko ff00f67063 Updating verilog writer. 2026-05-02 08:22:59 -07:00
Fred Tombs 60e091d993 Replace failing assert in lutpack with non-failing version 2026-05-02 10:09:50 -04:00
Alan Mishchenko d07ce81c91 Bug fixes. 2026-04-30 23:38:51 -07:00
Alan Mishchenko 153d6b7f82 Fix out-of-bound bug in &glucose 2026-04-30 18:04:04 -07:00
Alan Mishchenko b413eb90de Fix windows build. 2026-04-25 22:41:26 -07:00
Alan Mishchenko b2a0cabf29 Updates to &sprove. 2026-04-25 22:32:27 -07:00
Alan Mishchenko c20832627f Extending &sprove interface 2026-04-25 17:45:55 -07:00
Alan Mishchenko 8e6b287674 Improving callbacks in &bmcG 2026-04-25 17:42:06 -07:00
Alan Mishchenko 1056de3239 High memory use fix in &scorr -Z 2026-04-24 18:57:29 -07:00
Advay Singh d74b33eba6 Added fix for write_cnf adding extra clauses on direct PI-PO 2026-04-23 13:09:26 -05:00
Petter Reinholdtsen 2b9920e6a5 Relaxed assert in Io_WritePla() to avoid failure with too shallow network. 
Otherwise the abc will refuse to output trivial functions(constant 1 or 0).

The issue was originally submitted to
<URL: https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command >,
now available via
<URL: https://web.archive.org/web/20200621081236/https://bitbucket.org/alanmi/abc/issues/27/assertion-failure-in-write_pla-command >.
Sadly the example demonstrated the problem was not archived.

This issue was also reported as <URL: https://bugs.debian.org/780450 >.
 2026-04-23 12:55:49 +02:00
Petter Reinholdtsen 1ddb7a2352 Provide replacement value for PATH_MAX on platforms without it. 
The buffer length is used in a static array returned from
Extra_FileNameGenericAppend(), used many places in the code, and a
more dynamic approach would require a huge refactoring.  There is no
guarantee that the 4096 value picked is large enough, but it matches
common values found on Linux.
 2026-04-19 07:20:30 +02:00
Petter Reinholdtsen fa042e42ed Corrected #ifdef for mach based Apple builds in cadical_file.cpp. 
Bring test in line with all other tests for mach based MacOS builds,
and ensure the code in question is not enabled with mach on GNU Hurd.
 2026-04-18 10:25:11 +02:00
alanminko 8762d6c667
Merge pull request #496 from zxxr1113/fix-ssw-timing 
fix timing inconsistency in calculating the "timeOther" in Ssw_ManPrintStats in sswMan.c
 2026-04-14 10:02:22 -07:00
Franz Reichl 0f6ca59029 Extend the eSLIM package 2026-04-14 15:33:57 +02:00
xiran 6a52468604 fix timing inconsistency in calculating other time in Ssw_ManPrintStats in sswMan.c 2026-04-12 14:18:52 -07:00
Alan Mishchenko 8aa7e12dab Adding trace logging to &sprove. 2026-04-11 21:14:19 -07:00
Alan Mishchenko 80c8a9a192 Bug fix in %blast. 2026-04-06 20:42:44 -07:00
Alan Mishchenko ca2a410095 Add log dump to %ufar. 2026-04-04 09:04:24 -07:00
Alan Mishchenko cd2998b5c7 Adding name-based input reordering in &cec. 2026-04-03 21:18:41 -07:00
Alan Mishchenko bef23270f8 Improvements to command "history". 2026-03-27 20:09:54 -07:00
Alan Mishchenko b8059c310a Add support for second Verilog files in %ysoys and &cec 2026-03-27 19:24:31 -07:00
Alan Mishchenko 6aaf0db1e1 Fixing the required time problem. 2026-03-25 10:03:26 -07:00
Alan Mishchenko 60e0303e3a Fix a mismatch in cut selection. 2026-03-24 20:16:09 -07:00
Alan Mishchenko 3881f2de37 Updated to &sprove. 2026-03-23 17:34:59 -07:00
Alan Mishchenko ceebb2d167 Updated to &sprove. 2026-03-23 14:55:27 -07:00
Alan Mishchenko 24917213df Updates to &if mapper. 2026-03-19 20:18:08 -07:00
Alan Mishchenko ca0fc3ed29 Adding support for Verilog dumping in "lutexact'. 2026-03-19 18:37:32 -07:00
Alan Mishchenko cf5aef3889 Fix compiler problems. 2026-03-10 22:26:43 -07:00
Alan Mishchenko fa5029da95 Updates to &if mapper. 2026-03-10 22:19:37 -07:00
Alan Mishchenko 7ae0f4966a Adding gla to sprove. 2026-03-08 12:04:38 -07:00
Alan Mishchenko a745d5ec81 Adding profiling to %ufar. 2026-03-08 10:27:12 -07:00
Alan Mishchenko ba69519d73 Adding command for calling external solvers. 2026-03-08 10:26:27 -07:00
Alan Mishchenko c92cfab80b Adding new line at the end of AIGER files. 2026-03-08 10:25:15 -07:00
alanminko 7553ef9760
Merge pull request #471 from phyzhenli/master 
Fix &synch2 crash with creating wrong mapping
 2026-03-07 06:54:56 -08:00
Drew Lewis ee40e40d09 Have the buffer grow with a 2x factor to avoid O(n^2) work when reading big files. 
Signed-off-by: Drew Lewis <cannada@google.com>
 2026-03-02 22:22:27 +00:00
Alan Mishchenko f3a17d343a Fixing assertion failure introduced by a recent PR. 2026-02-26 20:08:03 -08:00
Alan Mishchenko 4e5c5e62af Compiler problem. 2026-02-25 20:18:28 -08:00
Alan Mishchenko c1937d12ac Improvements to &sprove. 2026-02-25 20:00:57 -08:00
Alan Mishchenko d5c1f2cfe1 Adding callbacks to "scorr" and "&scorr". 2026-02-25 20:00:28 -08:00
Alan Mishchenko ef54c1daea Updating interface of &cec. 2026-02-24 14:59:13 -08:00
Jonathan Greene 3b5036a1e1 Fix required time handling for unconstrained POs, infinity arithmetic, and absDup cosmetic 
- Tim_ManInitPoRequiredAll: only overwrite PO required times when ALL are
  unconstrained; preserve user-specified constraints
- Gia_ObjPropagateRequired: propagate infinity unchanged through LUTs
- Tim_ManGetCoRequired: guard against infinity minus delay arithmetic
- Gia_ManDelayTraceLut: handle infinite required times in slack computation;
  allow negative slack to report timing violations
- Tim_ManCreate: fix required-time loading to address actual POs via
  Tim_ManForEachPo instead of p->pCos[] (wrong for designs with boxes)
- Tim_ManGetArrTimes/Tim_ManGetReqTimes: fix loop-exit detection using
  boolean flag instead of comparing iterator index against PO/PI count
- Gia_ManPrintFlopClasses: use Gia_ManRegBoxNum instead of Gia_ManRegNum

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
 2026-02-21 16:54:27 -08:00
Jonathan Greene 771e70381c Fix two bugs causing problems with &trace and boxes. 2026-02-20 11:51:16 -08:00
Jonathan Greene 71c24a4812 Fix backward required-time propagation through boxes 2026-02-19 13:24:41 -08:00