Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

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

• Merge pull request #1163 from diffblue/smv-not-parentheses

  Show description for 360436c
  tautschnig

  authored
  360436c

  Copy full SHA for 360436c

• Merge pull request #1165 from diffblue/sva-sequence-precedence

  Show description for eb39b1a
  tautschnig

  authored
  eb39b1a

  Copy full SHA for eb39b1a

• Merge pull request #1168 from diffblue/sva_sequence_matcht-default-constructor

  Show description for 3650067
  tautschnig

  authored
  3650067

  Copy full SHA for 3650067

Commits on Jun 23, 2025

• Avoid sva_sequence_matcht default constructor

  Show description for 86f2cd7
  kroening

  committed
  86f2cd7

  Copy full SHA for 86f2cd7

Commits on Jun 19, 2025

• SVA: parentheses around the arguments of ##

  Show description for 469806c
  kroening

  committed
  469806c

  Copy full SHA for 469806c

• word-level BMC: precondition for timeframe

  Show description for a6a73c2
  kroening

  committed
  a6a73c2

  Copy full SHA for a6a73c2

Commits on Jun 18, 2025

• SMV: do not use parentheses around nullary operands of !

  Show description for c3eb12b
  kroening

  committed
  c3eb12b

  Copy full SHA for c3eb12b

Commits on Jun 17, 2025

• Merge pull request #1160 from diffblue/sva-cycle-delay-expr

  Show description for 8f220ab
  kroening

  authored
  8f220ab

  Copy full SHA for 8f220ab

• add (optional) lhs to SVA cycle delay operator

  Show description for 749da3b
  kroening

  committed
  749da3b

  Copy full SHA for 749da3b

• Merge pull request #1159 from diffblue/sequence-implication-fix

  Show description for ddeb32d
  kroening

  authored
  ddeb32d

  Copy full SHA for ddeb32d

• world-level BMC: fix for |-> and |=> for empty matches

  Show description for e19dfbf
  

  kroening

  authored and

  tautschnig

  committed
  e19dfbf

  Copy full SHA for e19dfbf

• Merge pull request #1158 from diffblue/followed-by5.bmc-fix

  Show description for 7c5d09b
  tautschnig

  authored
  7c5d09b

  Copy full SHA for 7c5d09b

• Merge pull request #1157 from diffblue/sva_sequence_match_unsupportedt

  Show description for cbb6c03
  tautschnig

  authored
  cbb6c03

  Copy full SHA for cbb6c03

• Merge pull request #1156 from diffblue/sva_to_ltl_h

  Show description for b1a5576
  tautschnig

  authored
  b1a5576

  Copy full SHA for b1a5576

• Merge pull request #1155 from diffblue/ltl_sva_to_stringt-typing

  Show description for bb24aae
  tautschnig

  authored
  bb24aae

  Copy full SHA for bb24aae

• word-level BMC: fix #-# and #=# for empty matches

  Show description for 0cd2985
  kroening

  committed
  0cd2985

  Copy full SHA for 0cd2985

• LTL_sequence_matches now throws sva_sequence_match_unsupportedt

  Show description for b9a5c93
  kroening

  committed
  b9a5c93

  Copy full SHA for b9a5c93

• move SVA_to_LTL into separate header file

  Show description for 793c8b3
  kroening

  committed
  793c8b3

  Copy full SHA for 793c8b3

• strengthen typing in ltl_sva_to_stringt

  Show description for e9b8f4d
  kroening

  committed
  e9b8f4d

  Copy full SHA for e9b8f4d

Commits on Jun 16, 2025

• Merge pull request #1145 from diffblue/followed-by5

  Show description for 96e6ba3
  tautschnig

  authored
  96e6ba3

  Copy full SHA for 96e6ba3

• Merge pull request #1148 from diffblue/onehot1

  Show description for 0626984
  tautschnig

  authored
  0626984

  Copy full SHA for 0626984

• Merge pull request #1151 from diffblue/ebmc-homebrew

  Show description for b91087b
  tautschnig

  authored
  b91087b

  Copy full SHA for b91087b

• Merge pull request #1143 from diffblue/invar1

  Show description for 154024f
  tautschnig

  authored
  154024f

  Copy full SHA for 154024f

• Merge pull request #1144 from diffblue/trans-word-level-sequence-condition

  Show description for bac5ad6
  tautschnig

  authored
  bac5ad6

  Copy full SHA for bac5ad6

• Test for SVA empty match and followed-by operator

  Show description for 4124007
  

  kroening

  authored and

  tautschnig

  committed
  4124007

  Copy full SHA for 4124007

• Verilog: constant folding for $onehot and $onehot0

  

  kroening

  authored and

  tautschnig

  committed
  d3bc0f1

  Copy full SHA for d3bc0f1

• Merge pull request #1150 from diffblue/generate-block-scope

  Show description for af3fc71
  tautschnig

  authored
  af3fc71

  Copy full SHA for af3fc71

• Merge pull request #1146 from diffblue/i2c_SVA

  Show description for 7d02820
  tautschnig

  authored
  7d02820

  Copy full SHA for 7d02820

• Merge pull request #1152 from diffblue/hierarchical_identifiers2

  Show description for 385f7ba
  tautschnig

  authored
  385f7ba

  Copy full SHA for 385f7ba

• Merge pull request #1153 from diffblue/past4

  Show description for ef2ca16
  tautschnig

  authored
  ef2ca16

  Copy full SHA for ef2ca16

Pagination

Previous

Next