Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 5, 2025

• Merge pull request #1131 from diffblue/buechi-sva-s_always

  Show description for 5906108
  kroening

  authored
  5906108

  Copy full SHA for 5906108

• SVA-to-Buechi: s_always

  Show description for 4352610
  kroening

  committed
  4352610

  Copy full SHA for 4352610

• Merge pull request #1139 from diffblue/trans-word-level-empty-sequence

  Show description for e565db7
  kroening

  authored
  e565db7

  Copy full SHA for e565db7

Commits on Jun 4, 2025

• Merge pull request #1130 from diffblue/buechi-sequence-repetition

  Show description for 2384b44
  kroening

  authored
  2384b44

  Copy full SHA for 2384b44

• BMC world-level: empty matches

  Show description for 4be42da
  kroening

  committed
  4be42da

  Copy full SHA for 4be42da

• Merge pull request #1137 from diffblue/verilog-unsized

  Show description for 9223813
  kroening

  authored
  9223813

  Copy full SHA for 9223813

• SVA-to-Buechi: sequence repetition operators

  Show description for 339ecda
  kroening

  committed
  339ecda

  Copy full SHA for 339ecda

• Merge pull request #1128 from diffblue/sva-from-to

  Show description for 14d9bb7
  kroening

  authored
  14d9bb7

  Copy full SHA for 14d9bb7

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

  Show description for 387fcb3
  kroening

  committed
  387fcb3

  Copy full SHA for 387fcb3

• Verilog: mark unsized literals

  Show description for ffc1021
  kroening

  committed
  ffc1021

  Copy full SHA for ffc1021

• Merge pull request #1132 from diffblue/buechi-sva-s_until_with

  Show description for 1284a3d
  tautschnig

  authored
  1284a3d

  Copy full SHA for 1284a3d

• Merge pull request #1129 from diffblue/more-buechi

  Show description for e3179b5
  tautschnig

  authored
  e3179b5

  Copy full SHA for e3179b5

• Merge pull request #1134 from diffblue/sva-buechi-if

  Show description for fcde983
  tautschnig

  authored
  fcde983

  Copy full SHA for fcde983

• Merge pull request #1135 from diffblue/sva-buechi-eventually

  Show description for f9f4759
  tautschnig

  authored
  f9f4759

  Copy full SHA for f9f4759

• Merge pull request #1133 from diffblue/macos-15

  Show description for f4b6251
  tautschnig

  authored
  f4b6251

  Copy full SHA for f4b6251

• SVA-to-Buechi: eventually

  Show description for 604f03c
  kroening

  committed
  604f03c

  Copy full SHA for 604f03c

• SVA-to-Buechi: if

  Show description for 4cddd64
  kroening

  committed
  4cddd64

  Copy full SHA for 4cddd64

• SVA-to-Buechi: release/until operators

  Show description for de56d24
  kroening

  committed
  de56d24

  Copy full SHA for de56d24

• CI: macos-14 -> macos-15

  Show description for 8cff088
  kroening

  committed
  8cff088

  Copy full SHA for 8cff088

• Merge pull request #1136 from diffblue/elbtunnel-z3

  Show description for 1ef4ad1
  kroening

  authored
  1ef4ad1

  Copy full SHA for 1ef4ad1

• Merge pull request #1140 from diffblue/smv_ctlspec2

  Show description for c9dd364
  kroening

  authored
  c9dd364

  Copy full SHA for c9dd364

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

  Show description for 76a8256
  kroening

  committed
  76a8256

  Copy full SHA for 76a8256

• Merge pull request #1138 from diffblue/cast_from_real2

  Show description for 1e06e97
  tautschnig

  authored
  1e06e97

  Copy full SHA for 1e06e97

• Verilog: casts from real to int

  Show description for b2993cf
  kroening

  committed
  b2993cf

  Copy full SHA for b2993cf

Commits on Jun 2, 2025

• mark a test as broken-smt-backend

  kroening

  committed
  9e25297

  Copy full SHA for 9e25297

Commits on May 29, 2025

• implement #-# and #=# in SVA-to-Buechi

  Show description for 6d6ca0c
  kroening

  committed
  6d6ca0c

  Copy full SHA for 6d6ca0c

• Merge pull request #797 from diffblue/instrument_property

  Show description for b97a3e7
  kroening

  authored
  b97a3e7

  Copy full SHA for b97a3e7

• SVA/LTL property instrumentation

  Show description for d682fe4
  kroening

  committed
  d682fe4

  Copy full SHA for d682fe4

• bump CBMC dependency

  kroening

  committed
  268ad01

  Copy full SHA for 268ad01

Commits on May 28, 2025

• Merge pull request #1127 from diffblue/proof-via

  Show description for 2f5f9a6
  tautschnig

  authored
  2f5f9a6

  Copy full SHA for 2f5f9a6

• Merge pull request #1126 from diffblue/smv1

  Show description for 2e161cb
  tautschnig

  authored
  2e161cb

  Copy full SHA for 2e161cb

• Merge pull request #1125 from diffblue/show-trans-cleanup

  Show description for 49b4542
  tautschnig

  authored
  49b4542

  Copy full SHA for 49b4542

• Merge pull request #1124 from diffblue/smv-identifier-tokens

  Show description for 991d469
  tautschnig

  authored
  991d469

  Copy full SHA for 991d469

• Merge pull request #1118 from diffblue/git-version

  Show description for 0c70cc5
  tautschnig

  authored
  0c70cc5

  Copy full SHA for 0c70cc5

• Merge pull request #1123 from diffblue/extension-and-truncation1

  Show description for c0ae947
  tautschnig

  authored
  c0ae947

  Copy full SHA for c0ae947

Pagination

Previous

Next