7 Pull requests merged by 2 people

• Buechi: identify special cases where reachability is sufficient

  #1224 merged Aug 7, 2025

• clean up HOA accepting states

  #1227 merged Aug 7, 2025

• EBMC: tautology checker

  #1225 merged Aug 7, 2025

• Hanoi Omega-Automata INT is 32 bits

  #1226 merged Aug 7, 2025

• LTL/SVA->Buechi: reject error traces early

  #1223 merged Aug 6, 2025

• Add CI job that runs KNOWNBUG tests

  #1222 merged Aug 6, 2025

• BMC: reconsider lasso-shaped encodings

  #1202 merged Aug 5, 2025

1 Pull request opened by 1 person

• SVA: test for `$stable`

  #1228 opened Aug 7, 2025