Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 5, 2025

• Merge pull request #1183 from diffblue/smv-exprs

  Show description for 611a93c
  tautschnig

  authored
  611a93c

  Copy full SHA for 611a93c

• SMV: abs, bool, count, max, min, toint, word1

  Show description for 8670707
  kroening

  committed
  8670707

  Copy full SHA for 8670707

Commits on Jul 3, 2025

• Merge pull request #1182 from diffblue/smv-grammar-ordering

  Show description for 2c6ea1e
  tautschnig

  authored
  2c6ea1e

  Copy full SHA for 2c6ea1e

• SMV grammar: reorder rules to match NuSMV manual

  Show description for a106857
  

  kroening

  authored and

  tautschnig

  committed
  a106857

  Copy full SHA for a106857

• Merge pull request #1181 from diffblue/smv-rename-formula-list

  Show description for bb8deda
  tautschnig

  authored
  bb8deda

  Copy full SHA for bb8deda

• Merge pull request #1179 from diffblue/smv_union1

  Show description for f39798c
  tautschnig

  authored
  f39798c

  Copy full SHA for f39798c

• Merge pull request #1180 from diffblue/smv-parser-whitespace

  Show description for 0323518
  tautschnig

  authored
  0323518

  Copy full SHA for 0323518

• SMV: split up and rename formula_list

  Show description for 9dd3385
  kroening

  committed
  9dd3385

  Copy full SHA for 9dd3385

• whitespace in the SMV parser

  Show description for aa3c280
  kroening

  committed
  aa3c280

  Copy full SHA for aa3c280

Commits on Jul 2, 2025

• SMV: two tests for union

  Show description for 8198a7e
  kroening

  committed
  8198a7e

  Copy full SHA for 8198a7e

• Merge pull request #1175 from diffblue/smv-set

  Show description for 81c1bbb
  kroening

  authored
  81c1bbb

  Copy full SHA for 81c1bbb

Commits on Jul 1, 2025

• SMV: set type

  Show description for 3d7eb16
  kroening

  committed
  3d7eb16

  Copy full SHA for 3d7eb16

Commits on Jun 30, 2025

• Merge pull request #1166 from diffblue/admits_empty

  Show description for 6e6127d
  tautschnig

  authored
  6e6127d

  Copy full SHA for 6e6127d

• Merge pull request #1178 from diffblue/smv_ltlspec_FG1

  Show description for 14416f0
  tautschnig

  authored
  14416f0

  Copy full SHA for 14416f0

• KNOWNBUG test for FGp

  Show description for bcc3587
  kroening

  committed
  bcc3587

  Copy full SHA for bcc3587

• rewrite SVA sequences

  Show description for 11491fc
  kroening

  committed
  11491fc

  Copy full SHA for 11491fc

• Merge pull request #1176 from diffblue/smv-typechecking

  Show description for b0016ca
  tautschnig

  authored
  b0016ca

  Copy full SHA for b0016ca

• Merge pull request #1173 from diffblue/ltl_sva_to_string-throws

  Show description for d1e5533
  tautschnig

  authored
  d1e5533

  Copy full SHA for d1e5533

• Merge pull request #1172 from diffblue/SVA_to_LTL-throws

  Show description for 5d79b02
  tautschnig

  authored
  5d79b02

  Copy full SHA for 5d79b02

• Merge pull request #1174 from diffblue/buechi-tests

  Show description for 1579476
  tautschnig

  authored
  1579476

  Copy full SHA for 1579476

• Merge pull request #1177 from diffblue/define7

  Show description for a7c949e
  tautschnig

  authored
  a7c949e

  Copy full SHA for a7c949e

Commits on Jun 29, 2025

• SMV: test for cyclic DEFINE

  kroening

  committed
  3a80cd7

  Copy full SHA for 3a80cd7

• SMV: tighten type checking for implicit casts

  Show description for 759a77f
  kroening

  committed
  759a77f

  Copy full SHA for 759a77f

• additional tests for the SVA->Buechi flow

  kroening

  committed
  2400a23

  Copy full SHA for 2400a23

• ltl_sva_to_stringt::operator(expr) now throws error class

  Show description for 524299e
  kroening

  committed
  524299e

  Copy full SHA for 524299e

Commits on Jun 28, 2025

• SVA_to_LTL now throws exception

  Show description for 3c19893
  kroening

  committed
  3c19893

  Copy full SHA for 3c19893

Commits on Jun 27, 2025

• Merge pull request #1170 from diffblue/bump-cbmc-6.7.0

  Show description for bf112c1
  kroening

  authored
  bf112c1

  Copy full SHA for bf112c1

• Bump CBMC to release 6.7.0

  kroening

  committed
  2c7a46a

  Copy full SHA for 2c7a46a

Commits on Jun 26, 2025

• Merge pull request #1169 from diffblue/sva-sequence-methods

  Show description for 3a698b9
  tautschnig

  authored
  3a698b9

  Copy full SHA for 3a698b9

• SVA: sequence() methods for first_match and throughout

  Show description for b57d45d
  kroening

  committed
  b57d45d

  Copy full SHA for b57d45d

Commits on Jun 25, 2025

• Merge pull request #1167 from diffblue/sva-empty-match

  Show description for 8f6b2ee
  tautschnig

  authored
  8f6b2ee

  Copy full SHA for 8f6b2ee

• world-level BMC: implement two empty match rules

  Show description for 45ccadd
  

  kroening

  authored and

  tautschnig

  committed
  45ccadd

  Copy full SHA for 45ccadd

• Merge pull request #1162 from diffblue/remove-sva-sequence-concatenation

  Show description for ac36b83
  tautschnig

  authored
  ac36b83

  Copy full SHA for ac36b83

• SVA: replace sva_sequence_concatenation_exprt

  Show description for e86a61a
  

  kroening

  authored and

  tautschnig

  committed
  e86a61a

  Copy full SHA for e86a61a

• Merge pull request #1164 from diffblue/trans-word-level-sequence-precondition

  Show description for d02f88c
  tautschnig

  authored
  d02f88c

  Copy full SHA for d02f88c

Pagination

Previous

Next