Commits

Branch selector

 bb675f6

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 9, 2025

• Merge pull request #1058 from diffblue/smv_netlist2

  Show description for bb675f6
  tautschnig

  authored
  bb675f6

  Copy full SHA for bb675f6

• smv-netlist: use expr2smv for property

  Show description for 9d6b2be
  kroening

  committed
  9d6b2be

  Copy full SHA for 9d6b2be

• smv_netlist: cleanup

  Show description for 03dad39
  kroening

  committed
  03dad39

  Copy full SHA for 03dad39

• Merge pull request #1051 from diffblue/SVA_to_LTL

  Show description for 6420029
  kroening

  authored
  6420029

  Copy full SHA for 6420029

• SMV netlist: translate some SVA to LTL

  Show description for 1d29235
  kroening

  committed
  1d29235

  Copy full SHA for 1d29235

Commits on Apr 8, 2025

• Merge pull request #1059 from diffblue/expr2smv-typecast

  Show description for 7947c89
  kroening

  authored
  7947c89

  Copy full SHA for 7947c89

• SMV: convert typecast expressions

  Show description for aee33f9
  kroening

  committed
  aee33f9

  Copy full SHA for aee33f9

• Merge pull request #1057 from diffblue/LTL-to-CTL

  Show description for 082ee65
  tautschnig

  authored
  082ee65

  Copy full SHA for 082ee65

• Merge pull request #1056 from diffblue/smv_netlist

  Show description for b861e8b
  kroening

  authored
  b861e8b

  Copy full SHA for b861e8b

• LTL to CTL conversion

  Show description for 6fe024a
  kroening

  committed
  6fe024a

  Copy full SHA for 6fe024a

• extract code for outputting netlists as SMV

  Show description for 2d3f15a
  kroening

  committed
  2d3f15a

  Copy full SHA for 2d3f15a

• Merge pull request #1054 from diffblue/expr2smvt-resultt

  Show description for 8c5ac32
  tautschnig

  authored
  8c5ac32

  Copy full SHA for 8c5ac32

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

  Show description for 08eb134
  tautschnig

  authored
  08eb134

  Copy full SHA for 08eb134

• Merge pull request #1052 from diffblue/netlist-expr

  Show description for d09b725
  tautschnig

  authored
  d09b725

  Copy full SHA for d09b725

• SVA: sequence property expressions

  Show description for eb5072b
  

  kroening

  authored and

  tautschnig

  committed
  eb5072b

  Copy full SHA for eb5072b

• Merge pull request #1053 from diffblue/expr2smv_class_h

  Show description for cea28dd
  tautschnig

  authored
  cea28dd

  Copy full SHA for cea28dd

• Merge pull request #1055 from diffblue/expr2verilog-block-limit

  Show description for c234482
  tautschnig

  authored
  c234482

  Copy full SHA for c234482

Commits on Apr 7, 2025

• Verilog: work around VS's block nesting limit

  Show description for 1446dee
  kroening

  committed
  1446dee

  Copy full SHA for 1446dee

• introduce expr2smvt::resultt

  Show description for 4adc88a
  kroening

  committed
  4adc88a

  Copy full SHA for 4adc88a

• extract expr2smvt into a separate header file

  kroening

  committed
  67e50f5

  Copy full SHA for 67e50f5

• netlists can now track properties with arbitrary shapes

  Show description for b3ceea0
  kroening

  committed
  b3ceea0

  Copy full SHA for b3ceea0

Commits on Apr 6, 2025

• Merge pull request #1041 from diffblue/verilog_sva_sequence

  Show description for bad2f99
  tautschnig

  authored
  bad2f99

  Copy full SHA for bad2f99

Commits on Apr 4, 2025

• Verilog: type for SVA sequences

  Show description for c9673b3
  kroening

  committed
  c9673b3

  Copy full SHA for c9673b3

• Merge pull request #1043 from diffblue/bdd-property-supported

  Show description for ed453c4
  tautschnig

  authored
  ed453c4

  Copy full SHA for ed453c4

• Merge pull request #1038 from diffblue/nonconsecutive_rep

  Show description for f98faf5
  kroening

  authored
  f98faf5

  Copy full SHA for f98faf5

• SVA: [->n] and [=n]

  Show description for a59bb46
  kroening

  committed
  a59bb46

  Copy full SHA for a59bb46

Commits on Apr 1, 2025

• BDD engine: only look for atomic propositions in supported properties

  Show description for 6bc4a23
  kroening

  committed
  6bc4a23

  Copy full SHA for 6bc4a23

• Merge pull request #1048 from diffblue/fix-sva-and

  Show description for 838e27e
  tautschnig

  authored
  838e27e

  Copy full SHA for 838e27e

• Merge pull request #1047 from diffblue/require_sva_sequence

  Show description for 86348e7
  tautschnig

  authored
  86348e7

  Copy full SHA for 86348e7

• SVA: require_sva_sequence

  Show description for 6b1976f
  kroening

  committed
  6b1976f

  Copy full SHA for 6b1976f

Commits on Mar 31, 2025

• BMC: fix encoding of SVA sequence and

  Show description for 927f30a
  kroening

  committed
  927f30a

  Copy full SHA for 927f30a

• Merge pull request #1046 from diffblue/require_sva_property

  Show description for 57ef9f2
  kroening

  authored
  57ef9f2

  Copy full SHA for 57ef9f2

• Merge pull request #1042 from diffblue/type-sva-if

  Show description for 54fd314
  tautschnig

  authored
  54fd314

  Copy full SHA for 54fd314

• Merge pull request #1044 from diffblue/sequence_and2

  Show description for 9af3576
  tautschnig

  authored
  9af3576

  Copy full SHA for 9af3576

• Merge pull request #1045 from diffblue/sequence_matcht

  Show description for 69fc7e6
  tautschnig

  authored
  69fc7e6

  Copy full SHA for 69fc7e6

Pagination

Previous

Next