Commits

Branch selector

 reduction3

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 28, 2025

• aval/bval lowering for reduction operators

  Show description for 302381b
  kroening

  committed
  302381b

  Copy full SHA for 302381b

Commits on Apr 25, 2025

• Merge pull request #1070 from diffblue/sva-weak-strong

  Show description for 0a1c5ce
  kroening

  authored
  0a1c5ce

  Copy full SHA for 0a1c5ce

• BMC: implement weak/strong sequences

  Show description for 4cb485d
  kroening

  committed
  4cb485d

  Copy full SHA for 4cb485d

• BMC: remove dead sequence cases

  Show description for 831cc43
  kroening

  committed
  831cc43

  Copy full SHA for 831cc43

Commits on Apr 24, 2025

• Merge pull request #1066 from diffblue/SVA_sequence_to_LTL

  Show description for 6643d61
  kroening

  authored
  6643d61

  Copy full SHA for 6643d61

• SVA to LTL now converts SVA sequences

  Show description for ec7e96a
  kroening

  committed
  ec7e96a

  Copy full SHA for ec7e96a

• Merge pull request #1085 from diffblue/sva-until-to-ltl

  Show description for 5e8e457
  kroening

  authored
  5e8e457

  Copy full SHA for 5e8e457

• Merge pull request #1080 from diffblue/sva_sequence_repetition_exprt

  Show description for 0ab525a
  kroening

  authored
  0ab525a

  Copy full SHA for 0ab525a

• convert s_until and s_until_with to LTL

  Show description for 774bc02
  kroening

  committed
  774bc02

  Copy full SHA for 774bc02

• Introduce sva_sequence_repetition_exprt

  Show description for 649411d
  kroening

  committed
  649411d

  Copy full SHA for 649411d

• Merge pull request #1082 from diffblue/verilog_sva_sequence_type

  Show description for 06125e7
  tautschnig

  authored
  06125e7

  Copy full SHA for 06125e7

• Merge pull request #1084 from diffblue/fix-sequence-simplifications

  Show description for a766409
  tautschnig

  authored
  a766409

  Copy full SHA for a766409

• Merge pull request #1087 from diffblue/expr2smv-fix

  Show description for bf5127e
  tautschnig

  authored
  bf5127e

  Copy full SHA for bf5127e

• Merge pull request #1089 from diffblue/smv-word-level-SVA

  Show description for 3f410c3
  tautschnig

  authored
  3f410c3

  Copy full SHA for 3f410c3

• Merge pull request #1086 from diffblue/remove-parallel-download

  Show description for fec102e
  tautschnig

  authored
  fec102e

  Copy full SHA for fec102e

• SMV word-level output now converts SVA

  Show description for 0c3c7e9
  kroening

  committed
  0c3c7e9

  Copy full SHA for 0c3c7e9

• SMV: precedence of !

  Show description for 7661d59
  kroening

  committed
  7661d59

  Copy full SHA for 7661d59

• CI: remove download of GNU parallel

  Show description for 7094741
  kroening

  committed
  7094741

  Copy full SHA for 7094741

Commits on Apr 23, 2025

• fix SVA ##[*] and ##[+]

  Show description for 6963c3d
  kroening

  committed
  6963c3d

  Copy full SHA for 6963c3d

• SVA: sequence expressions should have sequence type

  Show description for 346cc58
  kroening

  committed
  346cc58

  Copy full SHA for 346cc58

Commits on Apr 22, 2025

• Merge pull request #1072 from diffblue/sva-sequence-within

  Show description for 78d038d
  kroening

  authored
  78d038d

  Copy full SHA for 78d038d

• Merge pull request #1069 from diffblue/cover_sequence2

  Show description for 8f62ffc
  tautschnig

  authored
  8f62ffc

  Copy full SHA for 8f62ffc

• BMC: SVA sequence within

  Show description for 0225b81
  kroening

  committed
  0225b81

  Copy full SHA for 0225b81

• KNOWNBUG test for SVA cover

  Show description for 0cb00fc
  kroening

  committed
  0cb00fc

  Copy full SHA for 0cb00fc

• Merge pull request #1068 from diffblue/cover_sequence1

  Show description for 6dde22a
  kroening

  authored
  6dde22a

  Copy full SHA for 6dde22a

• bugfix for SVA cover

  Show description for b871008
  kroening

  committed
  b871008

  Copy full SHA for b871008

• Merge pull request #1078 from diffblue/aval-bval-shifts

  Show description for d28c28c
  tautschnig

  authored
  d28c28c

  Copy full SHA for d28c28c

• Merge pull request #1067 from diffblue/sva_sequence_property

  Show description for 27cee88
  tautschnig

  authored
  27cee88

  Copy full SHA for 27cee88

• Merge pull request #1071 from diffblue/sva-default-sequence-semantics

  Show description for f24a826
  tautschnig

  authored
  f24a826

  Copy full SHA for f24a826

• Merge pull request #1075 from diffblue/empty_sequence1

  Show description for 2e28a03
  tautschnig

  authored
  2e28a03

  Copy full SHA for 2e28a03

• KNOWNBUG test for empty SVA sequences

  kroening

  committed
  f3e8ac5

  Copy full SHA for f3e8ac5

• aval/bval encoding for shifts

  Show description for fb5127c
  kroening

  committed
  fb5127c

  Copy full SHA for fb5127c

• Merge pull request #1073 from diffblue/shr3

  Show description for fc8e6a9
  tautschnig

  authored
  fc8e6a9

  Copy full SHA for fc8e6a9

• Merge pull request #1074 from diffblue/sequence4-2

  Show description for aa05326
  tautschnig

  authored
  aa05326

  Copy full SHA for aa05326

• Merge pull request #1076 from diffblue/part_select2

  Show description for 810be55
  tautschnig

  authored
  810be55

  Copy full SHA for 810be55

Pagination

Previous

Next