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

#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

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

• 44f53ce84a
  Merge aed51170fb into f57802a166 KrystalDelusion 2026-05-05 21:24:42 +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
• 2258eb3f14
  Merge 1a7819979f into f57802a166 Miodrag Milanović 2026-05-01 16:18:59 -04:00
• c0fd4a5215
  Merge 8b73075e28 into f57802a166 N. Engelhardt 2026-05-01 16:18:48 -04:00
• 3af18a6690
  Merge 2898c75fb0 into f57802a166 Gus Smith 2026-05-01 16:16:51 -04:00
• 44939483b9
  Merge be18475e70 into f57802a166 SaiRishithaDharoor 2026-04-28 18:11:07 +02:00
• 894940b868
  Merge 57758c74b1 into f57802a166 dependabot[bot] 2026-04-28 18:11:06 +02:00
• 537c7c425c
  Merge 043920d6e1 into f57802a166 Gus Smith 2026-04-28 18:11:06 +02:00
• f57802a166
  Merge pull request #362 from UnknownDK/backportprint main 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
• 2c75668dde
  Update sbysrc/sby_engine_btor.py Yuheng Su 2025-12-09 09:42:41 +08:00
• c3f6986aad
  Update docs/source/reference.rst Yuheng Su 2025-12-09 09:42:23 +08:00
• 3b83808573
  Update docs/source/reference.rst Yuheng Su 2025-12-09 09:41:47 +08:00
• 5f78dd5b11 Update rIC3 return codes to include UNKNOWN status Yuheng Su 2025-12-09 09:41:17 +08:00
• 5b2058c628
  Update sbysrc/sby_engine_btor.py Yuheng Su 2025-12-09 09:34:19 +08:00
• f1fdb26ffa Add support for BTOR rIC3 engine in documentation Yuheng Su 2025-12-07 14:41:56 +08:00
• c317ed4413 Enhance BTOR engine options with nomem and syn flags for improved model handling Yuheng Su 2025-12-02 17:01:29 +08:00
• 1f9ffb73c9 Support rIC3 engine for btor Yuheng Su 2025-12-07 14:19:23 +08:00
• 3e906f8317 Fix rIC3 BMC command Yuheng Su 2025-11-27 10:09:53 +08:00
• 7233fe6e87
  docs: Re-enable yoscrypt lexer krys/docs_tidy Krystine Sherwin 2025-11-25 13:15:41 +13:00
• cc84339b37
  Merge pull request #344 from YosysHQ/gussmith23-patch-1 v0.60 KrystalDelusion 2025-11-25 12:52:23 +13:00
• af160ada0f
  Fix typo on anyconst attribute in verilog.rst Gus Smith 2025-11-24 14:45:32 -08:00
• 87825b8b50
  Merge pull request #343 from YosysHQ/krys/error-on-warning N. Engelhardt 2025-11-24 17:16:05 +01:00
• e29cc2f8e6
  Docs: Drop unsupported syntax highlighting krys/error-on-warning Krystine Sherwin 2025-11-20 09:08:33 +13:00
• 87612b69f9
  RTDs: Fail on warning Krystine Sherwin 2025-11-20 09:07:21 +13:00
• 0b9e83deda
  Merge pull request #342 from YosysHQ/fix_docs_table N. Engelhardt 2025-11-19 10:43:59 +01:00
• 1a44b87d9a fix whitespace in docs options table fix_docs_table N. Engelhardt 2025-11-19 09:22:00 +01:00
• 11fd202f4c
  Merge pull request #341 from jix/cycle_width_option v0.59 Jannis Harder 2025-10-20 18:52:09 +02:00
• 6d0a1ed960 Add cycle_width option for sim's new -width option Jannis Harder 2025-10-20 14:57:38 +02:00
• dbbc25a139
  Merge pull request #340 from YosysHQ/krys/fix_338 v0.58 N. Engelhardt 2025-10-02 17:07:39 +02:00
• d8e276983e
  no_props.sby: Add btor_cover placeholder krys/fix_338 Krystine Sherwin 2025-09-30 11:22:13 +13:00
• db782815f2
  More tests without properties Krystine Sherwin 2025-09-30 10:31:40 +13:00
• c06d8682cd
  Fix abc crash when aiger_props is empty Krystine Sherwin 2025-09-30 10:26:36 +13:00
• 57758c74b1
  Bump tracing-subscriber from 0.3.19 to 0.3.20 in /tools/aigcexmin dependabot/cargo/tools/aigcexmin/tracing-subscriber-0.3.20 dependabot[bot] 2025-08-29 20:58:12 +00:00
• 12380801e3
  Merge pull request #335 from YosysHQ/krys/fix_status_trace v0.57 v0.56 KrystalDelusion 2025-08-05 15:32:03 +12:00
• 5fc7b93627
  Merge branch 'main' into krys/fix_status_trace KrystalDelusion 2025-08-05 12:55:12 +12:00
• b4348974c1
  Merge pull request #336 from YosysHQ/krys/dir_basenames KrystalDelusion 2025-08-05 09:51:39 +12:00
• 5fffe7eda6
  Fix heredoc in sub dir Krystine Sherwin 2025-08-02 10:40:52 +12:00
• 1d28294391
  More directory tests Krystine Sherwin 2025-08-02 10:38:35 +12:00