13 Pull requests merged by 1 person

• SVA-to-Buechi: s_always

  #1131 merged Jun 5, 2025

• word-level BMC: empty sequences

  #1139 merged Jun 5, 2025

• SVA-to-Buechi: sequence repetition operators

  #1130 merged Jun 4, 2025

• Verilog: mark unsized literals

  #1137 merged Jun 4, 2025

• SVA: use from/to instead of lower/upper

  #1128 merged Jun 4, 2025

• SVA-to-Buechi: release/until operators

  #1132 merged Jun 4, 2025

• SVA-to-Buechi: #-# and #=#

  #1129 merged Jun 4, 2025

• SVA-to-Buechi: if

  #1134 merged Jun 4, 2025

• SVA-to-Buechi: eventually

  #1135 merged Jun 4, 2025

• CI: macos-14 -> macos-15

  #1133 merged Jun 4, 2025

• mark a test as broken-smt-backend

  #1136 merged Jun 4, 2025

• SMV: properties must not contain next(...)

  #1140 merged Jun 4, 2025

• Verilog: casts from real to int

  #1138 merged Jun 4, 2025

7 Pull requests opened by 1 person

• remove `ltl_sva_to_stringt::resultt::e`

  #1141 opened Jun 4, 2025

• SVA-to-Buechi: fix `[+]`

  #1142 opened Jun 5, 2025

• SMV: disallow `next(...)` in `INVAR`

  #1143 opened Jun 5, 2025

• add `sequence_matcht::condition()`

  #1144 opened Jun 5, 2025

• Test for SVA empty match and followed-by operator

  #1145 opened Jun 6, 2025

• fixup i2c_*.sv SVA

  #1146 opened Jun 6, 2025

• NeurIPS 2025 SystemVerilog benchmarks

  #1147 opened Jun 6, 2025

4 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Verilog: use zero_extend_exprt

  #796 commented on Jun 5, 2025 • 0 new comments

• vlindex: fix parsing for constraint_block

  #924 commented on Jun 2, 2025 • 0 new comments

• introduce `verilog_sva_property_typet`

  #1081 commented on Jun 5, 2025 • 0 new comments

• BMC: completeness thresholds larger than one

  #1115 commented on Jun 4, 2025 • 0 new comments