Commits

Branch selector

 global-scopes

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 4, 2025

• SystemVerilog: preserve scopes between compilation units

  Show description for 44b2224
  kroening

  committed
  44b2224

  Copy full SHA for 44b2224

Commits on Feb 3, 2025

• Merge pull request #958 from diffblue/class_identifier

  Show description for c036dd5
  tautschnig

  authored
  c036dd5

  Copy full SHA for c036dd5

• SystemVerilog: class identifiers

  kroening

  committed
  e9dbbcd

  Copy full SHA for e9dbbcd

• Merge pull request #960 from diffblue/bump-version-5-6

  Show description for 867f995
  tautschnig

  authored
  867f995

  Copy full SHA for 867f995

• Merge pull request #961 from diffblue/two_files1

  Show description for eec8d0e
  tautschnig

  authored
  eec8d0e

  Copy full SHA for eec8d0e

• Merge pull request #962 from diffblue/fixup-952

  Show description for d81f2df
  tautschnig

  authored
  d81f2df

  Copy full SHA for d81f2df

• SystemVerilog: fixup for #952

  kroening

  committed
  d543e01

  Copy full SHA for d543e01

• KNOWNBUG test for package scopes accross compilation units

  kroening

  committed
  4893762

  Copy full SHA for 4893762

• ebmc: bump version number to 5.6

  kroening

  committed
  7c49242

  Copy full SHA for 7c49242

• Merge pull request #957 from diffblue/package-scope-typedef

  Show description for e042948
  tautschnig

  authored
  e042948

  Copy full SHA for e042948

• SystemVerilog: use typedefs from package scopes

  Show description for 6c1c0d4
  kroening

  committed
  6c1c0d4

  Copy full SHA for 6c1c0d4

Commits on Jan 31, 2025

• Merge pull request #954 from diffblue/bump-version-5-5

  Show description for d3b36a4
  tautschnig

  authored
  d3b36a4

  Copy full SHA for d3b36a4

• Merge pull request #952 from diffblue/identifier-tokens

  Show description for 546adb8
  tautschnig

  authored
  546adb8

  Copy full SHA for 546adb8

• Merge pull request #955 from diffblue/verilog_y-tab-h-dependency

  Show description for 95eb6bd
  tautschnig

  authored
  95eb6bd

  Copy full SHA for 95eb6bd

• SystemVerilog: package identifier tokens

  Show description for 4d6916f
  kroening

  committed
  4d6916f

  Copy full SHA for 4d6916f

Commits on Jan 30, 2025

• ebmc: bump version number to 5.5

  kroening

  committed
  95f5b1d

  Copy full SHA for 95f5b1d

• Verilog: add missing dependency on verilog_y.tab.h

  kroening

  committed
  e991441

  Copy full SHA for e991441

Commits on Jan 29, 2025

• Merge pull request #949 from diffblue/scope-stack

  Show description for caf378e
  tautschnig

  authored
  caf378e

  Copy full SHA for caf378e

• Verilog: introduce scope stack

  Show description for a6d8c6f
  kroening

  committed
  a6d8c6f

  Copy full SHA for a6d8c6f

• Merge pull request #951 from diffblue/scope-kind

  Show description for 2da61f0
  tautschnig

  authored
  2da61f0

  Copy full SHA for 2da61f0

• SystemVerilog: track the kind of scope

  Show description for c02f2b9
  kroening

  committed
  c02f2b9

  Copy full SHA for c02f2b9

• Merge pull request #950 from diffblue/any_identifier

  Show description for e7567cd
  tautschnig

  authored
  e7567cd

  Copy full SHA for e7567cd

• Verilog: rename new_identifier -> any_identifier

  Show description for 1c4adf3
  kroening

  committed
  1c4adf3

  Copy full SHA for 1c4adf3

Commits on Jan 28, 2025

• Merge pull request #948 from diffblue/verilog_scope

  Show description for 2ccff6c
  tautschnig

  authored
  2ccff6c

  Copy full SHA for 2ccff6c

• Merge pull request #947 from diffblue/task_invocation1-fix

  Show description for c95629f
  tautschnig

  authored
  c95629f

  Copy full SHA for c95629f

• Verilog: extract scope data structure from parser

  Show description for 9b9a149
  kroening

  committed
  9b9a149

  Copy full SHA for 9b9a149

• Verilog: allow task invocations without parentheses

  kroening

  committed
  e5ec41b

  Copy full SHA for e5ec41b

Commits on Jan 26, 2025

• Merge pull request #946 from diffblue/task_invocation1

  Show description for 7dfd0f2
  tautschnig

  authored
  7dfd0f2

  Copy full SHA for 7dfd0f2

Commits on Jan 24, 2025

• Verilog: KNOWNBUG test for task invocation without parentheses

  kroening

  committed
  d4845d1

  Copy full SHA for d4845d1

• Merge pull request #945 from diffblue/clocking_declaration

  Show description for 5ffa8e0
  tautschnig

  authored
  5ffa8e0

  Copy full SHA for 5ffa8e0

Commits on Jan 23, 2025

• SystemVerilog: clocking declarations

  Show description for ed026f5
  kroening

  committed
  ed026f5

  Copy full SHA for ed026f5

Commits on Jan 22, 2025

• Merge pull request #943 from diffblue/sequence_and_or

  Show description for d923a32
  tautschnig

  authored
  d923a32

  Copy full SHA for d923a32

• SVA: sequence 'and'/'or' vs. property 'and'/'or'

  Show description for 04715c9
  kroening

  committed
  04715c9

  Copy full SHA for 04715c9

• Merge pull request #944 from diffblue/sequence_repetition4

  Show description for 009b13b
  tautschnig

  authored
  009b13b

  Copy full SHA for 009b13b

Commits on Jan 21, 2025

• SVA: sequence repetition for proper sequences

  Show description for 38a7880
  kroening

  committed
  38a7880

  Copy full SHA for 38a7880

Pagination

Previous

Next