Commits

Branch selector

 686ad8e

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2025

• SystemVerilog: const

  Show description for 686ad8e
  kroening

  committed
  686ad8e

  Copy full SHA for 686ad8e

Commits on Apr 11, 2025

• Merge pull request #1061 from diffblue/smv-false-R-x

  Show description for 31c4ec8
  kroening

  authored
  31c4ec8

  Copy full SHA for 31c4ec8

• simplify false R ψ to G ψ

  Show description for cef89a8
  kroening

  committed
  cef89a8

  Copy full SHA for cef89a8

• Merge pull request #1060 from diffblue/smv-lower

  Show description for 9b692d0
  tautschnig

  authored
  9b692d0

  Copy full SHA for 9b692d0

• Merge pull request #1062 from diffblue/sva_sequence_property_expr_baset

  Show description for 1194d7a
  tautschnig

  authored
  1194d7a

  Copy full SHA for 1194d7a

• sva_sequence_property_expr_baset

  Show description for 2555bf0
  kroening

  committed
  2555bf0

  Copy full SHA for 2555bf0

Commits on Apr 10, 2025

• SMV: add a lowering pass

  Show description for 84fda78
  kroening

  committed
  84fda78

  Copy full SHA for 84fda78

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

Pagination

Previous

Next