Commit graph

Select branches

Hide pull requests

aki/sby_stages

dependabot/cargo/tools/aigcexmin/tracing-subscriber-0.3.20

fix_docs_table

formatting

gus/multi-stage-verif-docs

gus/rename-symbiyosys-to-sby

gus/update-sim-and-verif-test

jix/witness_flow

krys/btor2aiger

krys/docs_tidy

krys/error-on-warning

krys/fix_338

krys/tags_docs

krys/tsv

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

#258

#259

#260

#261

#262

#263

#264

#266

#266

#267

#268

#270

#271

#273

#274

#275

#276

#277

#278

#284

#294

#297

#298

#301

#302

#308

#310

#311

#312

#313

#317

#319

#32

#320

#322

#323

#325

#326

#327

#328

#329

#33

#330

#333

#334

#335

#336

#337

#337

#34

#340

#341

#342

#343

#344

#345

#346

#347

#349

#35

#351

#352

#352

#353

#357

#358

#359

#360

#360

#361

#361

#362

#363

#363

#364

#364

#365

#366

#367

#368

#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

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

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

• 071a0b58b4
  Merge 8b73075e28 into 8f8833c617 N. Engelhardt 2026-07-09 19:27:45 +00:00
• d7954a592c
  Merge 57758c74b1 into 8f8833c617 dependabot[bot] 2026-07-09 19:21:07 +00:00
• 69f2bb572a
  Merge 2898c75fb0 into 8f8833c617 Gus Smith 2026-07-09 19:20:19 +00:00
• 47145e3f0c
  Merge 1a7819979f into 8f8833c617 Miodrag Milanović 2026-07-09 03:04:53 +02:00
• 798e539ea1
  Merge b01f30d763 into 8f8833c617 Pratik Deshmukh 2026-07-08 16:26:36 +00:00
• f936b2e7aa
  Merge 043920d6e1 into 8f8833c617 Gus Smith 2026-07-08 16:26:25 +00:00
• dc198d0726
  Merge aed51170fb into 8f8833c617 KrystalDelusion 2026-07-08 16:26:22 +00:00
• decf32e16d
  Merge be18475e70 into 8f8833c617 SaiRishithaDharoor 2026-07-08 16:26:14 +00:00
• 8f8833c617
  Merge pull request #368 from YosysHQ/cleanup main v0.67 Miodrag Milanović 2026-07-08 10:04:15 +02:00
• a1a0634b2f Update actions Miodrag Milanovic 2026-07-08 09:56:51 +02:00
• 985d7bdd3d Move test to proper place and remove empty dir Miodrag Milanovic 2026-07-08 09:41:11 +02:00
• 6e3dc04d92
  Merge pull request #367 from YosysHQ/ric3 Miodrag Milanović 2026-07-07 17:40:35 +02:00
• 39d17d1a2b be more precise on supported rIC3 version N. Engelhardt 2026-07-07 17:33:17 +02:00
• b2b067757e don't call yosys-witness on (unsupported) justice witnesses N. Engelhardt 2026-07-07 12:50:02 +02:00
• d11cc34cb3 fix aiger witness handling for combinational designs (empty newlines are semantically important for aiw output parsed from log) N. Engelhardt 2026-07-06 19:58:52 +02:00
• 97e47c471c fix incidental finding that return codes weren't being checked properly on witness conversion subprocesses N. Engelhardt 2026-07-06 18:54:23 +02:00
• ca8d332ccb make engine/solver reference more consistent N. Engelhardt 2026-07-06 18:09:43 +02:00
• 29650804c1 catch subprocess crash as error Miodrag Milanovic 2026-06-23 12:21:28 +02:00
• c4ed754ff8 Fix documentation Miodrag Milanovic 2026-06-23 10:51:21 +02:00
• ff48d2b9fd Fix aiger_options test Miodrag Milanovic 2026-06-23 10:11:10 +02:00
• e8bf66d4f0 small fixes + add regression tests for aiger and btor engines exercising all options N. Engelhardt 2026-06-18 11:15:00 +02:00
• 055a3b5d8b Update sbysrc/sby_engine_btor.py Yuheng Su 2025-12-09 09:42:41 +08:00
• d17e524a1b Update docs/source/reference.rst Yuheng Su 2025-12-09 09:42:23 +08:00
• 5b48417823 Update docs/source/reference.rst Yuheng Su 2025-12-09 09:41:47 +08:00
• 87936dd03b Update rIC3 return codes to include UNKNOWN status Yuheng Su 2025-12-09 09:41:17 +08:00
• a8f3f4bba2 Update sbysrc/sby_engine_btor.py Yuheng Su 2025-12-09 09:34:19 +08:00
• e57071a376 Add support for BTOR rIC3 engine in documentation Yuheng Su 2025-12-07 14:41:56 +08:00
• a6069081c7 Enhance BTOR engine options with nomem and syn flags for improved model handling Yuheng Su 2025-12-02 17:01:29 +08:00
• 222801e687 Support rIC3 engine for btor Yuheng Su 2025-12-07 14:19:23 +08:00
• 6943469018 Fix rIC3 BMC command Yuheng Su 2025-11-27 10:09:53 +08:00
• d3e72d26e8
  Merge pull request #366 from YosysHQ/regression_5892 Miodrag Milanović 2026-06-16 10:54:11 +02:00
• 93d387d419 add regression test for memory name escaping in smt2 comments N. Engelhardt 2026-06-09 17:39:25 +02:00
• 0cb15210a8
  Merge pull request #365 from YosysHQ/ci_cmake Miodrag Milanović 2026-06-03 13:59:31 +02:00
• ea52d88750 Update CI to build with CMake Miodrag Milanovic 2026-06-03 13:46:53 +02:00
• b01f30d763 itp engine: add skip and fixpoint justification inquisitour 2026-05-15 05:19:58 +00:00
• b32d0e63c3 itp engine: fix BMC_WORKDIR path, update docs with 4-core benchmark results inquisitour 2026-05-15 05:05:44 +00:00
• aed51170fb
  Docs: regex tag matching krys/tags_docs Krystine Sherwin 2026-05-06 09:12:05 +12:00
• 974c2339d9
  Docs: Add default tasks and alt tag assignment Krystine Sherwin 2026-05-06 09:07:32 +12:00
• ec27ee9627
  Docs: Multi-line tag sections Krystine Sherwin 2026-05-05 17:51:49 +12:00
• 1a27ba7b1b
  Docs: Advanced tag use Krystine Sherwin 2026-05-05 17:50:49 +12:00
• b476597edf
  Docs: Clarify tasks section Krystine Sherwin 2026-05-05 16:38:18 +12:00
• 4297f6ed43
  Dump active tags if a single task is given Krystine Sherwin 2026-05-05 15:18:25 +12:00
• 72ba57b418
  Docs: Fixing double backticks Krystine Sherwin 2026-05-05 14:17:24 +12:00
• f57802a166
  Merge pull request #362 from UnknownDK/backportprint v0.66 v0.65 Miodrag Milanović 2026-04-24 07:41:17 +02:00
• b90de3c36d fix: print Path as string Bjørn Grevenkop-Castenskiold 2026-04-14 13:34:43 +02:00
• be18475e70 Add deadlock detection example using SymbiYosys SaiRishithaDharoor 2026-03-31 21:16:58 +05:30
• 043920d6e1 Integrate multi-stage verification docs gus/multi-stage-verif-docs Gus Smith 2026-03-30 10:15:04 -07:00
• 6424d15aae
  Merge pull request #358 from anzzyspeaksgit/fix/issue-356 v0.64 Gus Smith 2026-03-30 12:31:42 -04:00
• ae9d4458ca
  Merge pull request #353 from inquisitour/add-itp-engine Gus Smith 2026-03-30 12:29:24 -04:00
• ab5bf1c10b
  Merge pull request #359 from YosysHQ/aigmap Miodrag Milanović 2026-03-24 12:57:09 +01:00
• 6d855c1090 use aigmap instead of abc for AIG mapping Lofty 2026-03-23 11:40:18 +01:00
• 8e37ec13bf fix: make SBY config parsing error messages less ambiguous anzzyspeaksgit 2026-03-23 02:02:53 +00:00
• 268502844e
  Merge pull request #357 from YosysHQ/upgrade_ci Miodrag Milanović 2026-03-19 17:50:33 +01:00
• 3aadbc4f95 Upgrade CI actions Miodrag Milanovic 2026-03-19 11:17:23 +01:00
• a6a42216f5 itp engine: use task.opt_depth and task.opt_skip directly inquisitour 2026-03-15 23:44:26 +00:00
• 01a716bf2e itp engine: address review feedback - use constants inquisitour 2026-03-14 20:33:17 +00:00
• 7225ad24f1 itp engine: address review feedback - simplify arg parsing, fix status logic, use exe_paths inquisitour 2026-03-14 18:07:04 +00:00
• 39670d6611 Add ITP engine: interpolation-based model checking via itp-bmc inquisitour 2026-02-28 07:11:08 +00:00
• 2898c75fb0 Fix install.rst and docs/Makefile renames gus/rename-symbiyosys-to-sby Gus Smith 2026-02-24 09:14:04 -08:00
• b4e66e3a33 Rename SymbiYosys to SBY Gus Smith 2026-02-24 09:03:49 -08:00
• 4dabe8ab32
  Merge pull request #351 from Goubermouche/main v0.63 KrystalDelusion 2026-02-24 09:28:45 +13:00
• 62536e7bee
  Merge pull request #349 from YosysHQ/gus/update-sim-and-verif-test Gus Smith 2026-02-18 08:38:27 -08:00
• 551d8df2a9 Remove comments and point to appnote gus/update-sim-and-verif-test Gus Smith 2026-02-18 08:20:51 -08:00
• a6746d0b58 Cleanup docs. nella 2026-02-18 09:35:17 +01:00
• b153c8e080 document abc --keep-going pdr [sc-220] nella 2026-02-11 11:33:10 +01:00
• 16171682e4
  Merge pull request #345 from YosysHQ/krys/docs_tidy v0.62 N. Engelhardt 2026-01-26 17:04:50 +01:00
• e89f71b3cb phase->stage Gus Smith 2026-01-21 08:30:03 -08:00
• b66bbe4503 Use tags Gus Smith 2026-01-21 08:22:19 -08:00
• 501a054731 Change stage 3 assertion Gus Smith 2026-01-21 08:20:24 -08:00
• 5e6e984a67 Fix bitwidths Gus Smith 2026-01-21 08:20:00 -08:00
• fcba8d3780 Change select to match other select Gus Smith 2026-01-13 09:53:16 -08:00
• b23e01c2a1 Fix comment Gus Smith 2026-01-13 09:53:09 -08:00
• 022323bd71 Revive an independent prep stage Gus Smith 2026-01-13 09:40:14 -08:00
• 9389f3a7d6 Update script Gus Smith 2026-01-13 08:18:54 -08:00
• d82ef4daf9 Update sby file for new stages Gus Smith 2026-01-13 08:17:17 -08:00
• d6252f7ee5 Change comments and labels Gus Smith 2026-01-13 08:17:00 -08:00
• 81a0af362a Widen signal Gus Smith 2026-01-13 08:12:22 -08:00
• 878395af2e
  Merge pull request #347 from YosysHQ/gus/staged-sim-and-verif-test v0.61 Gus Smith 2026-01-06 16:56:28 -08:00
• 0b88cdac90 Remove req assertion; make assertion richer Gus Smith 2025-12-29 12:14:09 -08:00
• a41fdb6784 Fix: rename path Gus Smith 2025-12-29 11:37:48 -08:00
• 4decc31933 Split cover stage into two final stages Gus Smith 2025-12-29 09:38:07 -08:00
• 6c8a26eb86 Update script Gus Smith 2025-12-29 09:34:18 -08:00
• 531e328c3d Update sby file Gus Smith 2025-12-29 09:34:04 -08:00
• 5abce0c9ee Update readme Gus Smith 2025-12-29 09:32:33 -08:00
• 4a4d75df6a We still need to run the actual prep pass Gus Smith 2025-12-29 09:07:24 -08:00
• 889bfab8c9 Explicitly skip prep Gus Smith 2025-12-29 09:07:11 -08:00
• 01f5c10cd7 Adds notes to readme Gus Smith 2025-12-29 08:32:49 -08:00
• e904e88fc9 Use labels to be more like SCY Gus Smith 2025-12-15 17:36:36 -08:00
• 7c66b2d132 Remove redundant cd Gus Smith 2025-12-15 13:24:13 -08:00
• 07669fde92 Revert "Rework file based on new understanding of make" Gus Smith 2025-12-15 13:20:32 -08:00
• 36fcd8fbc8 Revert "Get rid of unnecessary file" Gus Smith 2025-12-15 13:20:28 -08:00
• f9bee0464b Get rid of unnecessary file Gus Smith 2025-12-15 13:04:25 -08:00
• 2b38c31936 Rework file based on new understanding of make Gus Smith 2025-12-15 13:00:58 -08:00
• 8274979147 Update readme Gus Smith 2025-12-15 12:47:36 -08:00
• 9779436d0b Simplify script by relying on sby's prep routine Gus Smith 2025-12-15 12:41:47 -08:00
• 1ee552a502 Syntax Gus Smith 2025-12-15 12:41:38 -08:00
• 358ccf3ab6 Reindent Gus Smith 2025-12-15 12:30:06 -08:00
• a0ab7de28c Fix readme Gus Smith 2025-12-15 12:27:24 -08:00
• 4be8853a32 Add readme Gus Smith 2025-12-09 11:20:27 -08:00
• ad93d4fc4f Add initial test impl Gus Smith 2025-12-09 11:17:33 -08:00