Commit graph

Select branches

Hide pull requests

aki/sby_stages

dependabot/cargo/tools/aigcexmin/anstream-0.6.18

formatting

jix/witness_flow

krys/btor2aiger

main

sphinx-theme

#100

#101

#102

#104

#106

#108

#108

#109

#109

#11

#115

#116

#120

#121

#126

#127

#130

#131

#133

#134

#135

#136

#138

#139

#140

#142

#144

#144

#145

#146

#147

#148

#149

#150

#151

#154

#155

#156

#158

#159

#161

#163

#164

#166

#169

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#189

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#200

#201

#203

#204

#206

#207

#209

#210

#211

#212

#212

#213

#214

#215

#217

#217

#218

#219

#22

#220

#221

#223

#224

#226

#227

#228

#230

#232

#237

#238

#239

#240

#241

#242

#243

#244

#245

#246

#248

#249

#250

#252

#254

#256

#256

#258

#259

#260

#261

#262

#263

#264

#266

#266

#267

#268

#270

#271

#273

#274

#275

#276

#277

#278

#284

#294

#297

#298

#301

#301

#302

#308

#310

#311

#312

#312

#313

#317

#32

#33

#34

#35

#39

#39

#4

#42

#48

#49

#5

#5

#50

#52

#55

#56

#67

#68

#70

#73

#74

#85

#86

#87

#88

#90

#94

#95

#96

#97

#98

#99

v0.48

v0.49

v0.50

v0.51

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

• 22e1858dba
  Merge 43f4feb784 into ff98e51c13 Jannis Harder 2025-03-26 14:03:42 +0000
• 9657c175bd
  Merge ff9aac7d69 into ff98e51c13 dependabot[bot] 2025-03-26 14:03:41 +0000
• 687cffb806
  Merge f17a6e118a into ff98e51c13 KrystalDelusion 2025-03-26 14:03:38 +0000
• 47dd0105bd
  Merge d62f945bc5 into ff98e51c13 Jannis Harder 2025-03-26 14:03:18 +0000
• 464ec58294
  Merge 8b73075e28 into ff98e51c13 N. Engelhardt 2025-03-26 14:02:25 +0000
• bd7ad7a9a3
  Merge 1a7819979f into ff98e51c13 Miodrag Milanović 2025-03-26 14:02:12 +0000
• ff98e51c13
  Merge pull request #317 from SeddonShen/main main George Rennie 2025-03-26 10:17:15 +0100
• ca93e43cec feat(sby_engine_aiger): add rIC3 support for BMC mode SeddonShen 2025-03-18 16:06:16 +0800
• 20ee439df9
  Merge pull request #313 from gipsyh/rIC3 George Rennie 2025-03-14 15:13:06 +0100
• fc0afb04c5 Set minimum rIC3 version to 1.35 Yuheng Su 2025-03-14 22:00:09 +0800
• 9675d158ce
  Merge pull request #264 from YosysHQ/krys/vhd_example v0.51 N. Engelhardt 2025-03-03 15:20:59 +0000
• b6be8ad0fc
  Merge pull request #311 from sporniket/patch-2 Miodrag Milanović 2025-03-03 16:15:59 +0100
• 44c44097f8
  Merge pull request #310 from sporniket/patch-1 N. Engelhardt 2025-03-03 15:11:05 +0000
• 4d92762d5a
  Merge pull request #278 from YosysHQ/krys/docs_verific N. Engelhardt 2025-03-03 15:09:36 +0000
• 8da7174b16 update rIC3 backend Yuheng Su 2024-12-17 04:41:58 +0000
• daf4e4cb39 Support rIC3 as backend Yuheng Su 2024-12-16 11:02:45 +0000
• ff9aac7d69
  Bump anstream from 0.6.4 to 0.6.18 in /tools/aigcexmin dependabot/cargo/tools/aigcexmin/anstream-0.6.18 dependabot[bot] 2024-12-04 18:37:19 +0000
• 8885582e3c
  [docs] Fixes instructions for installing boolector David SPORN 2024-11-19 07:20:08 +0100
• 7fc7ed38ae
  [docs] instruct to clone yosys with '--recurse-submodules' David SPORN 2024-11-19 06:58:01 +0100
• 26b387466d
  Merge pull request #308 from YosysHQ/krys/drop_ilang v0.50 v0.49 v0.48 N. Engelhardt 2024-11-07 17:33:53 +0100
• 176e59c3d8
  Replace (read_)ilang with (read_)rtlil Krystine Sherwin 2024-11-05 12:55:09 +1300
• daed0e1544
  Merge pull request #302 from YosysHQ/fix_mangle_lookup yosys-0.47 yosys-0.46 N. Engelhardt 2024-10-17 11:15:01 +0200
• 94d1d0aa2f enable extensions Miodrag Milanovic 2024-10-16 17:14:42 +0200
• e84cc443bd add non-verific name mangling regression test N. Engelhardt 2024-10-16 15:05:02 +0200
• 0f13fc6bc7 fix lookup of mangled path names N. Engelhardt 2024-10-16 13:55:50 +0200
• 43f4feb784 Update cexenum tool to latest version Jannis Harder 2024-10-11 16:06:27 +0200
• 117fb26c68
  Merge pull request #298 from YosysHQ/george/smtbmc_paths Jannis Harder 2024-10-07 20:36:27 +0200
• 62d17081bf
  Merge pull request #276 from YosysHQ/krys/test-furo-ys Jannis Harder 2024-09-27 14:21:07 +0200
• 9583985d06 smtbmc: match on full property paths instead of just names George Rennie 2024-09-24 03:05:11 +0100
• d9a5845323
  Merge pull request #297 from jix/imctk-eqy-engine Miodrag Milanović 2024-09-16 17:39:53 +0200
• 8bd07192ac
  Merge pull request #294 from YosysHQ/george/aigbmc_docs Jannis Harder 2024-09-09 10:20:54 +0200
• b8a001eab2 Add support for the imctk-eqy-engine Jannis Harder 2024-09-08 16:04:26 +0200
• 67a7821946
  CI force fast runner yosys-0.45 Miodrag Milanović 2024-08-19 11:26:44 +0200
• 07b9b7cbb8 docs: fix reference to aigbmc engine option George Rennie 2024-08-01 17:34:54 +0100
• 61ca4de2da
  Merge pull request #284 from jix/remember-installed-version yosys-0.44 yosys-0.43 Miodrag Milanović 2024-07-08 19:05:16 +0200
• 8709c8a8ee Add --version option based on git describe Jannis Harder 2024-07-08 18:11:22 +0200
• c9e3b8224a
  Merge pull request #275 from YosysHQ/micko/pr_template Jannis Harder 2024-06-14 18:18:25 +0200
• 0fab912005
  Docs: Use sby role shortcut Krystine Sherwin 2024-06-10 18:46:31 +1200
• a3844d4a30
  Docs: Use sby lexer Krystine Sherwin 2024-06-10 18:41:15 +1200
• 5426bee107
  Use furo-ys Krystine Sherwin 2024-05-09 13:04:30 +1200
• 7f1853bd78
  Add note on docs to clarify verific support Krystine Sherwin 2024-05-14 12:25:29 +1200
• 641d5d55fa
  Merge pull request #277 from YosysHQ/krys/fix-ci yosys-0.42 Miodrag Milanović 2024-05-09 07:27:12 +0200
• 0a6a484760
  ci: Checkout Yosys with submodules Krystine Sherwin 2024-05-09 13:12:36 +1200
• d8904f47ea Add PR template Miodrag Milanovic 2024-05-08 11:13:56 +0200
• 7dd287f287
  Merge pull request #274 from jix/abc-prep yosys-0.41 Jannis Harder 2024-04-24 09:43:00 +0200
• e0dda21555 abc: Support arbitrary prep abc commands Jannis Harder 2024-04-19 16:40:30 +0200
• 415f404513
  Merge pull request #273 from YosysHQ/ci Miodrag Milanović 2024-04-10 18:39:05 +0200
• dfd4c8c734 Update CI scripts Miodrag Milanovic 2024-04-10 13:36:05 +0200
• f17a6e118a
  btor2aiger: Add test krys/btor2aiger Krystine Sherwin 2024-04-06 13:56:43 +1300
• c081a8a754
  btor2aiger: Use asserts and assumes from .ywb file Krystine Sherwin 2024-04-06 13:40:01 +1300
• b68f68d26b
  btor2aiger: Install btor2aig_yw Krystine Sherwin 2024-04-06 13:40:01 +1300
• 143d03a66e
  btor2aiger: Use ywa inits list Krystine Sherwin 2024-04-06 13:40:01 +1300
• b7bb1466d2
  Pre-format conditional flags in write_btor Krystine Sherwin 2024-04-06 13:40:01 +1300
• 99e704e6cb
  btor2aiger: Get assertions from .btor file Krystine Sherwin 2024-04-06 13:40:01 +1300
• 10332e8e74
  btor2aiger: It kinda works? Krystine Sherwin 2024-04-06 13:40:00 +1300
• 9236b8420e
  btor2aiger: Initial version Krystine Sherwin 2024-04-06 13:40:00 +1300
• b84cd93ea0
  Merge pull request #271 from YosysHQ/aiju/issue-269 yosys-0.40 N. Engelhardt 2024-04-05 13:02:13 +0200
• ebfb2ee7e0
  Merge pull request #270 from YosysHQ/aiju/fix-timeout-test Miodrag Milanović 2024-04-04 09:00:13 +0200
• da46e1984b Fixes issue #269 by removing an erroneous "if sbyfile" check. Emily Schmidt 2024-04-02 13:32:24 +0100
• 725038d315 Replace the 'primes' test in junit_timeout_error.sby with a new test that solves a**3 + b**3 == c**3. Emily Schmidt 2024-04-02 11:28:54 +0100
• e30a0fe611
  Merge pull request #268 from YosysHQ/KrystalDelusion-patch-1 yosys-0.39 Jannis Harder 2024-03-12 00:37:49 +0100
• 6c8b838eb3
  Update sby_engine_abc.py KrystalDelusion 2024-03-12 10:48:26 +1300
• c73cd3eeea
  Merge pull request #267 from jix/sby-status-errormsg Jannis Harder 2024-03-11 17:03:59 +0100
• cba77083c3 Print a message when SBY is waiting for a config on stdin Jannis Harder 2024-03-11 16:35:03 +0100
• fd381ade05 Print an error message when using "--status" with no project specified Jannis Harder 2024-03-11 15:37:39 +0100
• 0c84510cef
  Merge pull request #263 from jix/pdr-X Jannis Harder 2024-03-06 17:07:04 +0100
• b6e41a388b Support for the new anytime schedule in yosys-abc's pdr Jannis Harder 2024-02-27 20:09:45 +0100
• 549c5f33f5
  Add formal_bind example Krystine Sherwin 2024-03-05 15:29:08 +1300
• d3a6f2d758 Emit status db update from aigsmt Jannis Harder 2024-02-20 13:56:44 +0100
• 6ba762db4c Support for "abc --keep-going pdr" via new "pdr -X" mode Jannis Harder 2024-02-07 18:43:23 +0100
• 52184e5bf0 Initial support for a multi-task property status database Jannis Harder 2024-02-19 21:06:26 +0100
• 5f1a9f42ac
  Merge badbde2fbf into 5c649c8e75 Jannis Harder 2024-02-01 18:01:31 -0700
• 5c649c8e75
  Merge pull request #260 from jix/prepare-check yosys-0.38 Jannis Harder 2024-02-01 15:34:52 +0100
• cde9e57507
  Merge pull request #258 from jix/sby_cmd Jannis Harder 2024-01-29 15:16:03 +0100
• 056ced9afd
  Merge pull request #261 from YosysHQ/workflows Miodrag Milanović 2024-01-29 09:37:25 +0100
• 44ccad3882 Update workflows Miodrag Milanovic 2024-01-29 08:48:29 +0100
• 40bf8fcb87 sby_design: Also track fairness assumptions Jannis Harder 2024-01-24 16:08:31 +0100
• bd9e218c4a
  Merge pull request #259 from jix/prepare-check Jannis Harder 2024-01-23 10:05:02 +0100
• 881082c990 sby_design: Discover properties represented using $check cells Jannis Harder 2024-01-22 18:11:16 +0100
• 1eeb6f3f0b Delete $print cells in the backend flows Jannis Harder 2024-01-22 18:10:00 +0100
• 6f0f2645c2 tests: Support testing an installed SBY using the SBY_CMD make variable Jannis Harder 2024-01-19 14:51:16 +0100
• 130aa37ed1
  Merge pull request #254 from daxzio/prefix_fix yosys-0.37 N. Engelhardt 2024-01-15 16:11:34 +0100
• d62f945bc5 tools/cexenum: Document JSON callback protocol Jannis Harder 2023-12-14 17:35:07 +0100
• 1ad19048e1 tools/cexenum: Add '--callback' option and refactor enumeration loop Jannis Harder 2023-12-14 17:32:52 +0100
• eeee1a1ec5 tools/cexenum: Avoid buffering smtbmc's --progress stderr output Jannis Harder 2023-11-30 16:46:20 +0100
• aa2a96d7c9 tools/cexenum: Fix type annotations Jannis Harder 2023-11-29 13:41:16 +0100
• 6e97cea07f Fix PREFIX in makefile to accept environment variable, if set Dave Keeshan 2023-12-02 00:05:05 +0000
• f0f140c83c
  Merge pull request #252 from jix/cexenum yosys-0.36 Jannis Harder 2023-11-20 17:04:02 +0100
• 040b8deef2 Add aigcxemin and cexenum.py tools Jannis Harder 2023-11-16 13:46:25 +0100
• 9e35ec9948
  Merge pull request #250 from jix/dft-data-diode yosys-0.35 yosys-0.34 Jannis Harder 2023-10-02 16:59:16 +0200
• 5b1f26c1e1
  Merge pull request #249 from jix/inductive-cex-sim Jannis Harder 2023-10-02 16:58:52 +0200
• 8581bd3171 Add dft/data_diode example Jannis Harder 2023-09-28 18:57:37 +0200
• 36f84b8b9f smtbmc: Use new -noinitstate option when simulating inductive cex Jannis Harder 2023-09-28 17:38:15 +0200
• 7415abfcfa
  Create codeql.yml Miodrag Milanović 2023-09-08 14:09:29 +0200
• 85dd50b92a
  Merge pull request #248 from jix/ivy_wip yosys-0.33 Miodrag Milanović 2023-08-25 15:56:54 +0200
• 884ef862cb assume_early option to implement cross assumes in IVY Jannis Harder 2023-08-11 15:58:55 +0200
• cf0a761a3a
  Merge pull request #246 from YosysHQ/krys/scy_dev yosys-0.32 Claire Xen 2023-07-18 16:46:40 +0200
• 4cddd7a749
  Merge branch 'master' into krys/scy_dev Claire Xen 2023-07-18 16:46:09 +0200
• 8c4e2da264
  Merge pull request #243 from jix/krys/argparse_docs Claire Xen 2023-07-18 16:28:11 +0200
• ffa53a32c1
  Merge branch 'master' into krys/argparse_docs Claire Xen 2023-07-18 16:27:12 +0200