Commit Graph

Select branches

Hide Pull Requests

bump-240807

cmake_windows

codeql

eddie/fix_trace

emil/stdint

fix_pthread

imctk-sat-patches

master

mmicko/wasifix

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

upsteaming

upstream

upstreaming

wasi_upstream

yosys-experimental

yosys_pdr

#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

v0.67

v0.68

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

• 89e4192076 WASI fix mmicko/wasifix Miodrag Milanovic 2026-08-18 11:37:14 +0200
• a51bf4a7bb WASI fix yosys-experimental Miodrag Milanovic 2026-08-18 11:37:14 +0200
• 89b0b366a2 Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-08-18 08:18:49 +0200
• 5ea3464324
  Merge pull request #535 from aiquoc/experiment-x-aware-equivalence-checking master alanminko 2026-08-17 15:21:07 +0900
• 324081b6a4 Update word-level data-structure Alan Mishchenko 2026-08-16 23:13:47 -0700
• 371e53f93e
  Merge pull request #545 from fxreichl/master alanminko 2026-08-16 01:50:28 +0900
• 89bef47d8d
  Merge pull request #543 from marcelwa/cec-verdict-const0 alanminko 2026-08-16 01:49:49 +0900
• fe862d3647
  Merge pull request #541 from marcelwa/acd-local-extend-shift-ub alanminko 2026-08-16 01:48:58 +0900
• 1d28820170
  Merge pull request #540 from marcelwa/lpk-mux-split-support-guard alanminko 2026-08-16 01:48:22 +0900
• 25b0e5399c
  Merge pull request #539 from marcelwa/acd-uninit-bestperm alanminko 2026-08-16 01:47:52 +0900
• a954df2892
  Merge pull request #538 from marcelwa/fraig-store-restore-pi-order alanminko 2026-08-16 01:46:54 +0900
• 094c1ca741 Fix windows build Alan Mishchenko 2026-08-15 09:35:04 -0700
• 12eb48b476 Add experimental word-level data-structure Alan Mishchenko 2026-08-15 09:23:19 -0700
• d389f88285 Remove obsolete ACB command interface Alan Mishchenko 2026-08-15 09:18:47 -0700
• ebd3e31a8d Fix a bug that can arise when reducing circuit depth. Franz Reichl 2026-08-13 12:57:15 +0200
• 0bd9c3ea60 Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-08-12 13:22:30 +0200
• e4383a8d67 Remove BAC and CBA from Windows project Alan Mishchenko 2026-08-11 20:30:25 -0700
• e69c02c3f2 Remove legacy BAC and CBA packages Alan Mishchenko 2026-08-11 20:15:35 -0700
• d4e3670e21
  &cec -x/-y, &icec: also require the swept miter outputs to be constant 0 Marcel Walter 2026-08-11 19:22:06 +0200
• 6c51a92385 Adding an option t0 &cec against a truth table. Alan Mishchenko 2026-08-08 17:29:15 -0700
• 5cbfa76dc3
  lutpack: do not trust an approximate cofactor support in the MUX split agentic-synthesis 2026-08-08 10:21:19 +0200
• 0f5951ab2c
  ACD: avoid a 64-bit shift by 64 or more in local_extend_to agentic-synthesis 2026-08-08 09:50:02 +0200
• 4473e39efc
  acd: seed bestPerm to avoid an uninitialised read in enumerate_iset_combinations Marcel Walter 2026-08-08 08:43:10 +0200
• 4d504f20ba
  fraig_store: restore the PI order when the name comparison fails Marcel Walter 2026-08-07 20:54:11 +0200
• 8e224cd794 Update mapped delay computation. Alan Mishchenko 2026-08-01 15:27:17 -0700
• 2a9e9c2a00 Merge remote-tracking branch 'upstream/master' into yosys-experimental v0.68 Miodrag Milanovic 2026-07-30 16:59:55 +0200
• 85770ba29d fix build windows aiquoc 2026-07-29 13:28:17 +0800
• 842a265d82 fix error build aiquoc 2026-07-29 13:11:35 +0800
• bd52945300 fix error build aiquoc 2026-07-29 12:58:28 +0800
• 2918589334 experiment X-aware equivalence checking aiquoc 2026-07-29 12:45:02 +0800
• e76768b9d3 Crtical path detection for AIGs. Alan Mishchenko 2026-07-27 07:10:10 -0700
• 4e1b34d744
  Merge pull request #534 from zxxr1113/scorr2-upstream alanminko 2026-07-27 22:56:46 +0900
• 77cd6f4b04 new command &scorr2 extended from &scorr xiran 2026-07-27 18:43:56 +0800
• c1f9a942ca Add dumping truth tables in the PLA format. Alan Mishchenko 2026-07-25 16:17:50 -0700
• 57ad5cd47b Updating %ysoys to abstract modules/instances. Alan Mishchenko 2026-07-25 15:53:55 -0700
• 3ed7e4179a
  Merge pull request #530 from wjrforcyber/choice_fix alanminko 2026-07-23 07:53:37 +0900
• c130edd5e8
  Fix(choices): On pSibls JingrenWang 2026-07-03 14:47:40 +0800
• 2238c1ff69 pdr -X to write CEXes immediately yosys_pdr Jannis Harder 2026-07-02 13:04:37 +0200
• e026ed5380 Merge remote-tracking branch 'upstream/master' into yosys-experimental v0.67 Miodrag Milanovic 2026-07-02 11:29:04 +0200
• bcfdf59228
  Merge pull request #523 from fxreichl/master alanminko 2026-07-02 12:55:08 +0700
• a082d1ba3a
  Merge pull request #524 from YosysHQ/upsteaming alanminko 2026-07-02 12:54:37 +0700
• 523af52dd4
  Merge pull request #525 from wjrforcyber/rand_fix alanminko 2026-07-02 12:54:21 +0700
• 0a297ad527
  Merge pull request #529 from zxxr1113/scorr-i-pr3-upstream-merge alanminko 2026-07-02 12:54:03 +0700
• f8faf4379e add dynamic SRM and incremental simulation into -i xiran 2026-07-01 14:44:38 +0800
• a01df4b82c Adding function printout to &put. Alan Mishchenko 2026-07-01 13:44:00 -0700
• f7c7cf0099
  Fix(rand): UB on different platform JingrenWang 2026-07-01 16:23:45 +0800
• b4ca3e7f52 Adding &put -i to preserve special LUT mapping. Alan Mishchenko 2026-06-29 22:51:13 -0700
• 79f1e0b41d Bug fixes. Alan Mishchenko 2026-06-29 16:34:36 -0700
• a35f806b8c Change to ABC_NO_HISTORY so it is possible to change externally Miodrag Milanovic 2026-06-25 14:15:03 +0200
• 9794114a68 Change to ABC_NO_HISTORY so it is possible to change externally upsteaming Miodrag Milanovic 2026-06-25 14:15:03 +0200
• b89ccd36bc Fix for case where ABC_USE_PTHREADS is not used Miodrag Milanovic 2026-06-25 13:24:00 +0200
• 0e32819325 Fix WASI and make prototype valid Miodrag Milanovic 2026-03-09 13:02:54 +0100
• 5100825c51 Only use __int128 on architectures where it is present. Petter Reinholdtsen 2026-05-05 13:04:37 +0200
• 476b31cac5 Merge remote-tracking branch 'upstream' into yosys-experimental Miodrag Milanovic 2026-06-25 13:01:49 +0200
• feaf7a773d Improve support for -D 3 together with -X and fix an issue in the construction of Gias. Franz Reichl 2026-06-25 11:28:02 +0200
• 3ce53c361f
  Merge pull request #519 from heshpdx/master alanminko 2026-06-25 02:53:37 +0700
• 2eb8f38cd1 Fix build errors and spacing Mahesh Madhav 2026-06-24 14:35:55 -0400
• 7d253d7cb2 Do not support extension "e" (equiv classes of nodes). Alan Mishchenko 2026-06-22 19:35:32 -0700
• 68bf7cba8e
  Merge pull request #521 from fxreichl/master alanminko 2026-06-18 20:42:01 +0700
• 70a92ee63f Fix issue with constant replacements Franz Reichl 2026-06-18 14:06:04 +0200
• 29c59ab009
  Merge pull request #508 from mshockwave/patch/fix-vec-int-nSize-reload alanminko 2026-06-16 22:44:11 +0700
• cfd526afd0 Fix strict aliasing violations Mahesh Madhav 2026-06-16 15:33:12 +0000
• 4c08da846a
  Merge pull request #511 from wjrforcyber/rd_inv alanminko 2026-06-16 22:12:38 +0700
• d79133b567
  Merge pull request #516 from flyingfoxyy/fix-satlut-k5-boundary alanminko 2026-06-16 22:11:36 +0700
• f1d6c364cf
  Merge pull request #517 from YosysHQ/cmake_windows alanminko 2026-06-16 21:57:13 +0700
• 334ae5d1b7 Update .gitingore Alan Mishchenko 2026-06-16 07:53:07 -0700
• 61e74a1033 Update high-effort synthesis. Alan Mishchenko 2026-06-16 07:52:19 -0700
• 2d835aabf0 Adding command "power" to eval static/dynamic power Alan Mishchenko 2026-06-16 07:46:55 -0700
• e00a2fe834 Adding support power info exraction from Liberty Alan Mishchenko 2026-06-16 05:05:05 -0700
• a4b7912895 Adding API to compute switching activity Alan Mishchenko 2026-06-16 04:52:40 -0700
• 30c47da5c9 Merge remote-tracking branch 'upstream/master' into yosys-experimental Miodrag Milanovic 2026-06-15 19:40:58 +0200
• 8783dcfd73
  Merge pull request #513 from maliberty/update-zlib 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
• 8149daf921 giaSatLut: fix &satlut expanding LUT size from K=5 to K=6 longfei 2026-06-06 20:31:57 +0800
• 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
• 7b0a6cbb58
  Feat(rd_inv): Simple inv redis framework. JingrenWang 2026-06-01 16:23:38 +0800
• 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
• 9e02a87c1d misc: Prevent Vec_IntRemove from loading nSize in every iteration Min Hsu 2026-05-19 14:17:09 -0700
• 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