Commits

Branch selector

 sva_monitor

User selector

All users

Datepicker

All time

Commit History

Commits on May 18, 2025

• SVA Monitors

  Show description for df4f01c
  kroening

  committed
  df4f01c

  Copy full SHA for df4f01c

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

  Show description for 2d61d66
  kroening

  authored
  2d61d66

  Copy full SHA for 2d61d66

• SMV: convert typecasts to SMV

  Show description for 86c8025
  kroening

  committed
  86c8025

  Copy full SHA for 86c8025

• Merge pull request #1112 from diffblue/sva-to-ltl-refactoring

  Show description for 3f0410b
  kroening

  authored
  3f0410b

  Copy full SHA for 3f0410b

• SVA-to-LTL: refactoring to use vector

  Show description for 2edd9ab
  kroening

  committed
  2edd9ab

  Copy full SHA for 2edd9ab

Commits on May 15, 2025

• Merge pull request #1102 from diffblue/netlist-property-boolbvt

  Show description for c6dfec8
  tautschnig

  authored
  c6dfec8

  Copy full SHA for c6dfec8

• Merge pull request #1096 from diffblue/bdd-sva-via-ltl

  Show description for 09f5af1
  tautschnig

  authored
  09f5af1

  Copy full SHA for 09f5af1

Commits on May 13, 2025

• use netlist_boolbvt for the property

  Show description for 57c8f8c
  kroening

  committed
  57c8f8c

  Copy full SHA for 57c8f8c

• Merge pull request #1083 from diffblue/sva_boolean_exprt

  Show description for 11ae20a
  kroening

  authored
  11ae20a

  Copy full SHA for 11ae20a

• introduce sva_boolean_exprt

  Show description for 9964659
  kroening

  committed
  9964659

  Copy full SHA for 9964659

Commits on May 12, 2025

• Merge pull request #1109 from diffblue/bump-ebmc-version

  Show description for 4ae445e
  tautschnig

  authored
  4ae445e

  Copy full SHA for 4ae445e

• bump EBMC version to 5.7 post release

  kroening

  committed
  93ef5fe

  Copy full SHA for 93ef5fe

Commits on May 11, 2025

• Merge pull request #1101 from diffblue/netlist_boolbvt_member

  Show description for 3b326d1
  tautschnig

  authored
  3b326d1

  Copy full SHA for 3b326d1

• Merge pull request #1105 from diffblue/cast_to_real4

  Show description for 52d164a
  tautschnig

  authored
  52d164a

  Copy full SHA for 52d164a

• Merge pull request #1107 from diffblue/nettype1

  Show description for b9b7133
  tautschnig

  authored
  b9b7133

  Copy full SHA for b9b7133

• Merge pull request #1108 from diffblue/interconnect1

  Show description for 71e5d93
  tautschnig

  authored
  71e5d93

  Copy full SHA for 71e5d93

Commits on May 10, 2025

• KNOWNBUG test for interconnect

  kroening

  committed
  917bc8b

  Copy full SHA for 917bc8b

• KNOWNBUG test for nettype

  kroening

  committed
  a1da5c7

  Copy full SHA for a1da5c7

• Merge pull request #1106 from diffblue/bump-Ubuntu

  Show description for 9b402aa
  kroening

  authored
  9b402aa

  Copy full SHA for 9b402aa

• Bump Ubuntu version in CI release action

  Show description for 46d419e
  kroening

  committed
  46d419e

  Copy full SHA for 46d419e

• Merge pull request #1104 from diffblue/elsif1

  Show description for 6755d3d
  kroening

  authored
  6755d3d

  Copy full SHA for 6755d3d

• KNOWNBUG test for `elsif

  kroening

  committed
  1d18a3f

  Copy full SHA for 1d18a3f

• KNOWNBUG test for implict cast from real to int

  kroening

  committed
  59345e3

  Copy full SHA for 59345e3

Commits on May 8, 2025

• add a netlist_boolbvt member to convert_trans_to_netlistt

  Show description for e5d03df
  kroening

  committed
  e5d03df

  Copy full SHA for e5d03df

• Merge pull request #1092 from diffblue/sequence_repetition7

  Show description for 0290dac
  tautschnig

  authored
  0290dac

  Copy full SHA for 0290dac

• Merge pull request #1093 from diffblue/smv_expr_h

  Show description for 897da60
  tautschnig

  authored
  897da60

  Copy full SHA for 897da60

• Merge pull request #1095 from diffblue/s_always1

  Show description for 156e76c
  tautschnig

  authored
  156e76c

  Copy full SHA for 156e76c

• Merge pull request #1097 from diffblue/smv-netlist-true-false

  Show description for fea3945
  tautschnig

  authored
  fea3945

  Copy full SHA for fea3945

• Merge pull request #1098 from diffblue/extract-SVA_to_LTL

  Show description for 36c791b
  tautschnig

  authored
  36c791b

  Copy full SHA for 36c791b

• Merge pull request #1099 from diffblue/netlist_boolbv_h

  Show description for c6314a7
  tautschnig

  authored
  c6314a7

  Copy full SHA for c6314a7

• Merge pull request #1100 from diffblue/aig_prop_constraintt-member

  Show description for f885b0d
  tautschnig

  authored
  f885b0d

  Copy full SHA for f885b0d

• Merge pull request #1103 from diffblue/rf1-fix

  Show description for a2468e7
  tautschnig

  authored
  a2468e7

  Copy full SHA for a2468e7

Commits on May 7, 2025

• fix for no-op assignments during Verilog synthesis

  Show description for 178cd45
  kroening

  committed
  178cd45

  Copy full SHA for 178cd45

Commits on May 6, 2025

• make the aig_prop_constraintt a member convert_trans_to_netlistt

  Show description for 685ece3
  kroening

  committed
  685ece3

  Copy full SHA for 685ece3

• rename class instantiate_var_mapt to netlist_boolbvt

  kroening

  committed
  a2d17ec

  Copy full SHA for a2d17ec

Pagination

Previous

Next