Commits

Branch selector

 functioncall_as_constant1

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 9, 2024

• function calls can be constants

  Show description for 25c82f6
  kroening

  committed
  25c82f6

  Copy full SHA for 25c82f6

• Verilog: use to_be_elaborated_typet

  Show description for 3e3b4a6
  kroening

  committed
  3e3b4a6

  Copy full SHA for 3e3b4a6

Commits on Jan 8, 2024

• Merge pull request #329 from diffblue/verilog-expr-assert

  Show description for 64073b2
  tautschnig

  authored
  64073b2

  Copy full SHA for 64073b2

Commits on Jan 6, 2024

• use PRECONDITION instead of assert(...) in verilog_expr.h

  kroening

  committed
  bff9e99

  Copy full SHA for bff9e99

• Merge pull request #308 from diffblue/bump-cbmc

  Show description for 78d9d07
  kroening

  authored
  78d9d07

  Copy full SHA for 78d9d07

• bump cbmc dependency

  kroening

  committed
  f3f43bd

  Copy full SHA for f3f43bd

Commits on Jan 4, 2024

• Merge pull request #315 from diffblue/fix-functioncall5

  Show description for 28be476
  kroening

  authored
  28be476

  Copy full SHA for 28be476

• do not add constraints for assignments to function-local variables

  Show description for 9628033
  kroening

  committed
  9628033

  Copy full SHA for 9628033

• Merge pull request #316 from diffblue/typed-parameter-ports

  Show description for b175768
  kroening

  authored
  b175768

  Copy full SHA for b175768

• verilog_synthesist::expand_function_call now returns a value

  kroening

  committed
  3c7393e

  Copy full SHA for 3c7393e

Commits on Jan 3, 2024

• Merge pull request #327 from diffblue/collect_symbols_statements

  Show description for 9d8dc69
  kroening

  authored
  9d8dc69

  Copy full SHA for 9d8dc69

• Verilog: collect symbols from statements

  kroening

  committed
  e6d1bfb

  Copy full SHA for e6d1bfb

• Merge pull request #326 from diffblue/verilog_ift

  Show description for b1ffbf0
  tautschnig

  authored
  b1ffbf0

  Copy full SHA for b1ffbf0

• Merge pull request #320 from diffblue/verilog_module_sourcet_ports

  Show description for b0fa961
  kroening

  authored
  b0fa961

  Copy full SHA for b0fa961

• Merge pull request #317 from diffblue/preprocess-I

  Show description for 445ab39
  kroening

  authored
  445ab39

  Copy full SHA for 445ab39

• Verilog: verilog_ift interface

  Show description for 7706692
  kroening

  committed
  7706692

  Copy full SHA for 7706692

• Verilog: strengthen typing of verilog_module_sourcet::ports

  Show description for bfba9fe
  kroening

  committed
  bfba9fe

  Copy full SHA for bfba9fe

• Verilog: --preprocess now honors -I

  kroening

  committed
  c1dd414

  Copy full SHA for c1dd414

• Merge pull request #325 from diffblue/verilog_inst_baset

  Show description for 987dfd2
  tautschnig

  authored
  987dfd2

  Copy full SHA for 987dfd2

• Merge pull request #324 from diffblue/typedef2-fix

  Show description for c5c001f
  tautschnig

  authored
  c5c001f

  Copy full SHA for c5c001f

• Merge pull request #323 from diffblue/verilog_blockt

  Show description for c7cd6a6
  tautschnig

  authored
  c7cd6a6

  Copy full SHA for c7cd6a6

• Merge pull request #321 from diffblue/verilog-typecheck-errort

  Show description for 37b871d
  tautschnig

  authored
  37b871d

  Copy full SHA for 37b871d

• Merge pull request #319 from diffblue/tf_call_grammar

  Show description for aaa67f1
  tautschnig

  authored
  aaa67f1

  Copy full SHA for aaa67f1

• Merge pull request #313 from diffblue/parameters8-fix

  Show description for c41c560
  tautschnig

  authored
  c41c560

  Copy full SHA for c41c560

Commits on Dec 25, 2023

• Verilog: introduce verilog_inst_baset

  Show description for 4076987
  kroening

  committed
  4076987

  Copy full SHA for 4076987

• Verilog: fix scope created for functions

  Show description for c4fba80
  kroening

  committed
  c4fba80

  Copy full SHA for c4fba80

• Verilog: strengthen typing when using verilog_blockt

  Show description for 53bba2d
  kroening

  committed
  53bba2d

  Copy full SHA for 53bba2d

• Verilog: use errort in verilog_typecheck.cpp

  Show description for 9a18ce1
  kroening

  committed
  9a18ce1

  Copy full SHA for 9a18ce1

• Verilog: grammar for function definitions and function calls

  Show description for cf198f1
  kroening

  committed
  cf198f1

  Copy full SHA for cf198f1

Commits on Dec 24, 2023

• typed parameter ports

  kroening

  committed
  1082047

  Copy full SHA for 1082047

Commits on Dec 21, 2023

• Merge pull request #314 from diffblue/functioncall5

  Show description for 825e4bc
  tautschnig

  authored
  825e4bc

  Copy full SHA for 825e4bc

Commits on Dec 20, 2023

• annotate function call input lhs with location

  kroening

  committed
  8845969

  Copy full SHA for 8845969

• Verilog: KNOWNBUG test for mixed function contexts

  kroening

  committed
  90f816d

  Copy full SHA for 90f816d

• Merge pull request #312 from diffblue/parameters8

  Show description for 8739f14
  tautschnig

  authored
  8739f14

  Copy full SHA for 8739f14

• Verilog: fix for derived parameters

  Show description for b09a635
  kroening

  committed
  b09a635

  Copy full SHA for b09a635

Pagination

Previous

Next