Commits

Branch selector

 bmc-ct

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 4, 2025

• BMC: completeness thresholds larger than one

  Show description for bc7eed0
  kroening

  committed
  bc7eed0

  Copy full SHA for bc7eed0

• 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

• 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

• Merge pull request #1122 from diffblue/assignment_statement1

  Show description for fe6b786
  tautschnig

  authored
  fe6b786

  Copy full SHA for fe6b786

• Merge pull request #1121 from Po-Chun-Chien/add-dockerfile

  Show description for e3e4f42
  kroening

  authored
  e3e4f42

  Copy full SHA for e3e4f42

Commits on May 27, 2025

• Add a Dockerfile for building and running EBMC

  Show description for 34e6f97
  Po-Chun-Chien

  committed
  34e6f97

  Copy full SHA for 34e6f97

• EBMC: show proof engine in result

  Show description for 17fba87
  kroening

  committed
  17fba87

  Copy full SHA for 17fba87

Commits on May 24, 2025

• signature of show_trans* family of functions

  Show description for b7f5c33
  kroening

  committed
  b7f5c33

  Copy full SHA for b7f5c33

Commits on May 23, 2025

• SMV word-level output now prints range types

  Show description for 07588cf
  kroening

  committed
  07588cf

  Copy full SHA for 07588cf

Commits on May 22, 2025

• SMV: rename STRING_Token, QSTRING_Token and QUOTE_Token

  Show description for bb805e2
  kroening

  committed
  bb805e2

  Copy full SHA for bb805e2

• test for assignment statement with multiple assignments

  kroening

  committed
  98180ce

  Copy full SHA for 98180ce

• Test for assignment extension and truncation

  Show description for 8a0d435
  kroening

  committed
  8a0d435

  Copy full SHA for 8a0d435

• Merge pull request #1114 from diffblue/sva-to-ltl-and-or

  Show description for 2728d52
  kroening

  authored
  2728d52

  Copy full SHA for 2728d52

Commits on May 21, 2025

• Merge pull request #1120 from diffblue/conversions1

  Show description for dc88f54
  tautschnig

  authored
  dc88f54

  Copy full SHA for dc88f54

• Merge pull request #1111 from diffblue/sva-to-ltl-sequence-repetition

  Show description for f1c86af
  tautschnig

  authored
  f1c86af

  Copy full SHA for f1c86af

• SVA-to-LTL: sequence and/or

  Show description for fbbe228
  kroening

  committed
  fbbe228

  Copy full SHA for fbbe228

• SVA-to-LTL: [*n], [*n:m]

  Show description for 2b65db0
  kroening

  committed
  2b65db0

  Copy full SHA for 2b65db0

• Merge pull request #1110 from diffblue/verilog-elsif

  Show description for 6732c86
  tautschnig

  authored
  6732c86

  Copy full SHA for 6732c86

• Merge pull request #1117 from diffblue/smv-word-level-fix

  Show description for b33b4b8
  tautschnig

  authored
  b33b4b8

  Copy full SHA for b33b4b8

• Merge pull request #1116 from diffblue/extract-sva-sequence-match

  Show description for cb93af5
  tautschnig

  authored
  cb93af5

  Copy full SHA for cb93af5

• Merge pull request #1119 from diffblue/svm-identifier-grammar

  Show description for 0ef4d02
  tautschnig

  authored
  0ef4d02

  Copy full SHA for 0ef4d02

Commits on May 20, 2025

• KNOWNBUG test for Verilog conversions

  kroening

  committed
  4a992d6

  Copy full SHA for 4a992d6

Pagination

Previous

Next