Commits

Branch selector

 ebmc-5.2

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 10, 2024

• Merge pull request #723 from diffblue/ebmc-version-5-2

  Show description for d308e09
  kroening

  authored
  d308e09

  Copy full SHA for d308e09

• Merge pull request #750 from diffblue/implicit-nets-type

  Show description for 626cf79
  kroening

  authored
  626cf79

  Copy full SHA for 626cf79

• Verilog: set type of implicit nets

  Show description for c6d15d0
  kroening

  committed
  c6d15d0

  Copy full SHA for c6d15d0

Commits on Oct 9, 2024

• Merge pull request #758 from diffblue/SVA-sequence-misc

  Show description for a363d90
  kroening

  authored
  a363d90

  Copy full SHA for a363d90

• SVA: add eight sequence operators to Verilog Frontend

  Show description for 2992b87
  kroening

  committed
  2992b87

  Copy full SHA for 2992b87

• Merge pull request #757 from diffblue/followed-by1-fix

  Show description for 90eb3c7
  tautschnig

  authored
  90eb3c7

  Copy full SHA for 90eb3c7

Commits on Oct 8, 2024

• SVA: implement #-# and #=#

  Show description for a3cb219
  kroening

  committed
  a3cb219

  Copy full SHA for a3cb219

• Merge pull request #743 from diffblue/sva_and_or_property

  Show description for 5b7e801
  kroening

  authored
  5b7e801

  Copy full SHA for 5b7e801

• Merge pull request #754 from diffblue/part-select-lower

  Show description for d535cb0
  tautschnig

  authored
  d535cb0

  Copy full SHA for d535cb0

• Verilog: extract .lower() method for part select expressions

  Show description for 793cf05
  kroening

  committed
  793cf05

  Copy full SHA for 793cf05

• Merge pull request #755 from diffblue/synth_expr_rec

  Show description for e720965
  tautschnig

  authored
  e720965

  Copy full SHA for e720965

• Merge pull request #752 from diffblue/followed-by1

  Show description for c49ab50
  tautschnig

  authored
  c49ab50

  Copy full SHA for c49ab50

• Merge pull request #756 from diffblue/parameters10-test

  Show description for 5ac7b0c
  tautschnig

  authored
  5ac7b0c

  Copy full SHA for 5ac7b0c

Commits on Oct 7, 2024

• word-level BMC: allow SVA and/or/implies at property level

  kroening

  committed
  1f8f975

  Copy full SHA for 1f8f975

• Verilog: pull out recursive application of verilog_synthesist::synth_expr

  Show description for 57e4e6c
  kroening

  committed
  57e4e6c

  Copy full SHA for 57e4e6c

• Verilog: test for non-constant parameter

  kroening

  committed
  dbc5d24

  Copy full SHA for dbc5d24

• Merge pull request #753 from diffblue/parameters10

  Show description for aeecd2e
  tautschnig

  authored
  aeecd2e

  Copy full SHA for aeecd2e

• Verilog: reject non-constant parameters

  Show description for 995f6b4
  kroening

  committed
  995f6b4

  Copy full SHA for 995f6b4

Commits on Oct 5, 2024

• SVA: add tests for #-# and #=#

  Show description for 2c17ab8
  kroening

  committed
  2c17ab8

  Copy full SHA for 2c17ab8

Commits on Oct 4, 2024

• Merge pull request #749 from diffblue/nets-implicit

  Show description for 8bbc75e
  tautschnig

  authored
  8bbc75e

  Copy full SHA for 8bbc75e

• Verilog: add tests for implicit nets

  Show description for 84373de
  kroening

  committed
  84373de

  Copy full SHA for 84373de

Commits on Oct 3, 2024

• Merge pull request #748 from diffblue/generate-for3

  Show description for 5f67dc6
  tautschnig

  authored
  5f67dc6

  Copy full SHA for 5f67dc6

• Verilog: generate ... endgenerate is optional

  Show description for ef84975
  kroening

  committed
  ef84975

  Copy full SHA for ef84975

Commits on Oct 1, 2024

• Merge pull request #746 from diffblue/eventually4

  Show description for 2e01686
  tautschnig

  authored
  2e01686

  Copy full SHA for 2e01686

• SVA: KNOWNBUG test for s_eventually

  kroening

  committed
  ac62b1f

  Copy full SHA for ac62b1f

• Merge pull request #744 from diffblue/property-nnf

  Show description for 04b5682
  tautschnig

  authored
  04b5682

  Copy full SHA for 04b5682

• extract per-node NNF computation for temporal logic from word-level BMC

  Show description for 75cf233
  kroening

  committed
  75cf233

  Copy full SHA for 75cf233

Commits on Sep 30, 2024

• Merge pull request #742 from diffblue/remove-ns

  Show description for 2d3101a
  tautschnig

  authored
  2d3101a

  Copy full SHA for 2d3101a

• word-level BMC: remove ns parameter

  Show description for 9244ab0
  kroening

  committed
  9244ab0

  Copy full SHA for 9244ab0

• Merge pull request #741 from diffblue/synth-tc

  Show description for 7b44290
  kroening

  authored
  7b44290

  Copy full SHA for 7b44290

• Merge pull request #740 from diffblue/ranking-benchmarks-property-id

  Show description for 441747b
  tautschnig

  authored
  441747b

  Copy full SHA for 441747b

• Verilog: fix synthesis for typecast expression

  Show description for ebb0699
  kroening

  committed
  ebb0699

  Copy full SHA for ebb0699

• fix property ID in the ranking benchmarks

  Show description for a62499a
  kroening

  committed
  a62499a

  Copy full SHA for a62499a

• Merge pull request #738 from diffblue/union4

  Show description for d4525b6
  tautschnig

  authored
  d4525b6

  Copy full SHA for d4525b6

• SystemVerilog: conversion from/to packed union

  Show description for 820a299
  kroening

  committed
  820a299

  Copy full SHA for 820a299

Pagination

Previous

Next