Commit Graph

Select branches

Hide Pull Requests

bump-240807

cmake_windows

codeql

eddie/fix_trace

emil/stdint

fix_pthread

imctk-sat-patches

master

msvc_fix

povik/fix-atomic_store-call

povik/fix-mfs-ub

povik/fix-transfer-timing

povik/merge-240807

povik/merge-241003

povik/revert-pdr

povik/rm-buffering-asserts

povik/yosyshq-build

povik/yosyshq-commands

read_cex_updates

remove-cadical

stage

test-darwin

update

upstream

upstreaming

wasi_upstream

yosys-experimental

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#34

#35

#36

#37

#38

#38

#39

#4

#40

#41

#5

#6

#7

#8

#9

v0.48

v0.49

v0.50

v0.51

v0.52

v0.53

v0.54

v0.55

v0.56

v0.57

v0.58

v0.59

v0.60

v0.61

v0.62

v0.63

v0.64

v0.65

v0.66

yosys-0.10

yosys-0.11

yosys-0.12

yosys-0.13

yosys-0.14

yosys-0.15

yosys-0.16

yosys-0.17

yosys-0.18

yosys-0.19

yosys-0.20

yosys-0.21

yosys-0.22

yosys-0.23

yosys-0.24

yosys-0.25

yosys-0.26

yosys-0.27

yosys-0.28

yosys-0.29

yosys-0.30

yosys-0.31

yosys-0.32

yosys-0.33

yosys-0.34

yosys-0.35

yosys-0.36

yosys-0.37

yosys-0.38

yosys-0.39

yosys-0.40

yosys-0.41

yosys-0.42

yosys-0.43

yosys-0.44

yosys-0.45

yosys-0.46

yosys-0.47

Mono Color

• 30c47da5c9 Merge remote-tracking branch 'upstream/master' into yosys-experimental yosys-experimental Miodrag Milanovic 2026-06-15 19:40:58 +0200
• 8783dcfd73
  Merge pull request #513 from maliberty/update-zlib master alanminko 2026-06-16 00:21:47 +0700
• f1ec6d32d8
  Merge pull request #512 from maliberty/update-bzip2 alanminko 2026-06-16 00:21:20 +0700
• cd9d9fcc13 Fix namespace build of zlib gzguts.h on macOS Matt Liberty 2026-06-15 17:12:13 +0000
• 1e130338f0 Make sure we detect these errors in future cmake_windows Miodrag Milanovic 2026-06-09 08:20:13 +0200
• 1e85fff18d Cleanup Miodrag Milanovic 2026-06-08 16:11:48 +0200
• 26ca14e4c6 Add missing includes for windows Miodrag Milanovic 2026-06-08 16:11:31 +0200
• d3d218eee2 Cleanup Miodrag Milanovic 2026-06-08 16:11:48 +0200
• b73fcb78ed Add missing includes for windows Miodrag Milanovic 2026-06-08 16:11:31 +0200
• 304481b68a Simplify internal AIG reading when %yosys is used. Alan Mishchenko 2026-06-08 18:05:22 +0700
• 3df13d9aad Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-06-08 12:54:10 +0200
• 59896d6ec8 Another bug fix in delay propagation. Alan Mishchenko 2026-06-08 17:45:17 +0700
• 9749046cd6 Bug fix in required time propagation. Alan Mishchenko 2026-06-08 17:05:54 +0700
• b7ee7a5f70 Fix a windows compile problem. Alan Mishchenko 2026-06-05 16:15:34 +0700
• cd33ba563f
  Merge pull request #514 from maliberty/fix-non-readline-prompt-pipe alanminko 2026-06-05 16:14:23 +0700
• 66f5d7c7a2 mainUtils: match readline behavior when ABC_USE_READLINE is undefined Matt Liberty 2026-06-05 06:05:32 +0000
• 21b2d8959a Add output name permutation in &cec. Alan Mishchenko 2026-06-04 21:05:04 +0700
• 749bc49826 Update zlib 1.2.5 to 1.3.2 Matt Liberty 2026-06-03 06:40:02 +0000
• 0497d4708a Update bzip2 from version 1.0.5 to 1.0.8 Matt Liberty 2026-06-02 21:29:57 +0000
• a917c1af9f
  Merge pull request #509 from fxreichl/master alanminko 2026-05-21 23:44:41 -0700
• cd6e9b582b Modify default intermediate AIGER file name. Alan Mishchenko 2026-05-21 23:41:12 -0700
• 70c42b7292 Add option for lut optimisation Franz Reichl 2026-05-21 11:58:13 +0200
• f4d870e109 Updating interface of "twoexaxct". Alan Mishchenko 2026-05-18 07:31:39 -0700
• ffb0ff63fc Updating interface of %yosys to take multiple Verilog files. Alan Mishchenko 2026-05-18 07:23:18 -0700
• 07e38ef030 Imrpovements in "twoexact". Alan Mishchenko 2026-05-17 18:51:49 -0700
• 7bf1177d39 Add MM-based adder generation to &genadder. Alan Mishchenko 2026-05-15 17:57:45 -0700
• 26567123a7 Fix warnings. Alan Mishchenko 2026-05-15 17:47:46 -0700
• 2827348459
  Merge pull request #507 from Meneya/bmc3c alanminko 2026-05-15 07:54:43 -0700
• 5d51a5e420 Merge remote-tracking branch 'upstream/master' into yosys-experimental v0.66 v0.65 Miodrag Milanovic 2026-05-12 08:17:36 +0200
• 3d2af6345c Reapply "Fixing the required time problem." Miodrag Milanovic 2026-05-12 08:15:31 +0200
• c61f1a04e9 Bug fix in handling ufar calls. Alan Mishchenko 2026-05-11 19:27:06 -0700
• 9d410e8163
  Merge pull request #506 from zxxr1113/incremental_scorr_clean alanminko 2026-05-11 14:36:23 -0700
• 97b15a29a0 Fix: fix the build bug in abclib.dsp by registering cecCorrIncr.c xiran 2026-05-11 14:02:23 -0700
• 8c9e66205e Bug fix in &sprove. Alan Mishchenko 2026-05-11 13:49:26 -0700
• 60b3991a0e Assume minimum required times when not given by the user. Alan Mishchenko 2026-05-11 12:18:15 -0700
• 98967c9f3a Revert "Fixing the required time problem." Miodrag Milanovic 2026-05-11 14:35:23 +0200
• d55ae1421c New feature: Add incremental refinement to &scorr command xiran 2026-05-10 12:21:02 -0700
• d54cbda229 Multi-output gate mapper. Alan Mishchenko 2026-05-10 09:52:16 -0700
• cf5da03652 Bug fix. Alan Mishchenko 2026-05-09 19:13:42 -0700
• f3157272ae Initial support of multi-output gates in sizing. Alan Mishchenko 2026-05-08 16:03:24 -0700
• eaa8496b42 Streamlining support for multi-output gates Alan Mishchenko 2026-05-08 00:45:46 -0700
• d217b35192 Only use __int128 on architectures where it is present. Petter Reinholdtsen 2026-05-05 13:04:37 +0200
• fc4cfc0c35 Extending support for sequential AIGs. Alan Mishchenko 2026-05-04 18:56:14 -0700
• 84b78d570c
  Merge pull request #498 from petterreinholdtsen/mach-only-apple alanminko 2026-05-02 21:21:43 -0700
• 6d9c88d7e8
  Merge pull request #499 from petterreinholdtsen/missing-path-max alanminko 2026-05-02 21:20:38 -0700
• 298bcee98a
  Merge pull request #505 from gigeresk/lutpack_assert_fix alanminko 2026-05-02 21:20:01 -0700
• 5611ca0bbb
  Merge pull request #503 from AdvaySingh1/ISSUE-479 alanminko 2026-05-02 21:19:31 -0700
• 9ac97c7c4c
  Merge pull request #502 from petterreinholdtsen/make-cppflags alanminko 2026-05-02 21:18:28 -0700
• ec4faae74a
  Merge pull request #501 from petterreinholdtsen/writepla-assert-relaxed alanminko 2026-05-02 21:16:35 -0700
• db8e5d9988 Apply same assert fix to l144 Fred Tombs 2026-05-02 16:15:00 -0400
• ff00f67063 Updating verilog writer. Alan Mishchenko 2026-05-02 08:22:59 -0700
• 60e091d993 Replace failing assert in lutpack with non-failing version Fred Tombs 2026-05-02 10:09:50 -0400
• d07ce81c91 Bug fixes. Alan Mishchenko 2026-04-30 23:38:51 -0700
• 153d6b7f82 Fix out-of-bound bug in &glucose Alan Mishchenko 2026-04-30 18:04:04 -0700
• b413eb90de Fix windows build. Alan Mishchenko 2026-04-25 22:41:26 -0700
• b2a0cabf29 Updates to &sprove. Alan Mishchenko 2026-04-25 22:32:27 -0700
• c20832627f Extending &sprove interface Alan Mishchenko 2026-04-25 17:45:55 -0700
• 8e6b287674 Improving callbacks in &bmcG Alan Mishchenko 2026-04-25 17:42:06 -0700
• 1056de3239 High memory use fix in &scorr -Z Alan Mishchenko 2026-04-24 18:57:29 -0700
• d74b33eba6 Added fix for write_cnf adding extra clauses on direct PI-PO Advay Singh 2026-04-23 13:09:26 -0500
• 817d542c45 Use CPPFLAGS alongside CFLAGS and CXXFLAGS during build. Petter Reinholdtsen 2026-04-23 14:52:54 +0200
• 2b9920e6a5 Relaxed assert in Io_WritePla() to avoid failure with too shallow network. Petter Reinholdtsen 2026-04-23 07:31:33 +0200
• 3660246ece Fix compile error in eSLIM when ABC_USE_PTHREADS is not used fix_pthread Miodrag Milanovic 2026-04-22 17:36:33 +0200
• 405511f850 Fix compile error in eSLIM when ABC_USE_PTHREADS is not used Miodrag Milanovic 2026-04-22 17:36:33 +0200
• ada8fb2e87 Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-04-22 15:48:14 +0200
• 5096a78fbe Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c) Meneya 2026-04-20 14:53:32 +0530
• 1ddb7a2352 Provide replacement value for PATH_MAX on platforms without it. Petter Reinholdtsen 2026-04-19 07:20:00 +0200
• fa042e42ed Corrected #ifdef for mach based Apple builds in cadical_file.cpp. Petter Reinholdtsen 2026-04-18 10:25:11 +0200
• 8762d6c667
  Merge pull request #496 from zxxr1113/fix-ssw-timing alanminko 2026-04-14 10:02:22 -0700
• 2db6ae7848
  Merge pull request #497 from fxreichl/master alanminko 2026-04-14 10:01:59 -0700
• 0f6ca59029 Extend the eSLIM package Franz Reichl 2026-04-14 15:10:06 +0200
• 6a52468604 fix timing inconsistency in calculating other time in Ssw_ManPrintStats in sswMan.c xiran 2026-04-12 14:18:52 -0700
• 8aa7e12dab Adding trace logging to &sprove. Alan Mishchenko 2026-04-11 21:14:19 -0700
• 180a6adb68 Merge remote-tracking branch 'upstream/master' into yosys-experimental v0.64 Miodrag Milanovic 2026-04-08 13:28:16 +0200
• 80c8a9a192 Bug fix in %blast. Alan Mishchenko 2026-04-06 20:42:44 -0700
• ca2a410095 Add log dump to %ufar. Alan Mishchenko 2026-04-04 09:04:24 -0700
• cd2998b5c7 Adding name-based input reordering in &cec. Alan Mishchenko 2026-04-03 21:18:41 -0700
• bef23270f8 Improvements to command "history". Alan Mishchenko 2026-03-27 20:09:54 -0700
• b8059c310a Add support for second Verilog files in %ysoys and &cec Alan Mishchenko 2026-03-27 19:24:31 -0700
• de0ebae1c5 Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-03-27 08:39:51 +0100
• 6aaf0db1e1 Fixing the required time problem. Alan Mishchenko 2026-03-25 10:03:26 -0700
• 60e0303e3a Fix a mismatch in cut selection. Alan Mishchenko 2026-03-24 20:16:09 -0700
• 7a28b20d8e Fix windows build. Alan Mishchenko 2026-03-23 17:44:06 -0700
• 3881f2de37 Updated to &sprove. Alan Mishchenko 2026-03-23 17:34:59 -0700
• ceebb2d167 Updated to &sprove. Alan Mishchenko 2026-03-23 14:55:27 -0700
• 24917213df Updates to &if mapper. Alan Mishchenko 2026-03-19 20:18:08 -0700
• ca0fc3ed29 Adding support for Verilog dumping in "lutexact'. Alan Mishchenko 2026-03-19 18:37:32 -0700
• cf5aef3889 Fix compiler problems. Alan Mishchenko 2026-03-10 22:26:43 -0700
• fa5029da95 Updates to &if mapper. Alan Mishchenko 2026-03-10 22:19:37 -0700
• e795eaa451 Fix WASI and make prototype valid update Miodrag Milanovic 2026-03-09 15:02:31 +0100
• b4a657e75b Fix WASI and make prototype valid Miodrag Milanovic 2026-03-09 13:02:54 +0100
• 55f552b454 Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-03-09 11:32:02 +0100
• 7ae0f4966a Adding gla to sprove. Alan Mishchenko 2026-03-08 12:04:25 -0700
• a745d5ec81 Adding profiling to %ufar. Alan Mishchenko 2026-03-08 10:27:12 -0700
• ba69519d73 Adding command for calling external solvers. Alan Mishchenko 2026-03-08 10:26:27 -0700
• c92cfab80b Adding new line at the end of AIGER files. Alan Mishchenko 2026-03-08 10:25:15 -0700
• 7553ef9760
  Merge pull request #471 from phyzhenli/master alanminko 2026-03-07 06:54:56 -0800
• d10a0d41a3
  Merge pull request #488 from calewis/grow_faster alanminko 2026-03-07 06:49:33 -0800
• ee40e40d09 Have the buffer grow with a 2x factor to avoid O(n^2) work when reading big files. Drew Lewis 2026-03-02 22:22:27 +0000
• 8e401543d3 Merge remote-tracking branch 'upstream/master' into yosys-experimental v0.63 Miodrag Milanovic 2026-02-27 07:54:44 +0100