Commits

Branch selector

 ebmc-5.3

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2024

• Merge pull request #792 from diffblue/low1-fix

  Show description for a7bf36c
  tautschnig

  authored
  a7bf36c

  Copy full SHA for a7bf36c

• Merge pull request #795 from diffblue/new1

  Show description for 9bd2294
  tautschnig

  authored
  9bd2294

  Copy full SHA for 9bd2294

• Verilog: KNOWNBUG test for new

  kroening

  committed
  48c423e

  Copy full SHA for 48c423e

• Verilog: zero_extend now considers genvar

  Show description for 6fa56eb
  kroening

  committed
  6fa56eb

  Copy full SHA for 6fa56eb

Commits on Oct 29, 2024

• Merge pull request #787 from diffblue/part-select-constant

  Show description for 6b0d346
  kroening

  authored
  6b0d346

  Copy full SHA for 6b0d346

• Verilog: constant folding for indexed part select expressions

  Show description for 5724218
  kroening

  committed
  5724218

  Copy full SHA for 5724218

• Merge pull request #789 from diffblue/package-to-parse-tree

  Show description for 4d01463
  kroening

  authored
  4d01463

  Copy full SHA for 4d01463

• Verilog: add classes, interfaces, packages to parse tree

  kroening

  committed
  28f8bc1

  Copy full SHA for 28f8bc1

• Merge pull request #785 from diffblue/const2

  Show description for a5c8dfe
  tautschnig

  authored
  a5c8dfe

  Copy full SHA for a5c8dfe

• Merge pull request #786 from diffblue/expr2verilog-indexed-part-select

  Show description for 9b93b39
  tautschnig

  authored
  9b93b39

  Copy full SHA for 9b93b39

• Merge pull request #790 from diffblue/multiplexer1

  Show description for 96d5018
  tautschnig

  authored
  96d5018

  Copy full SHA for 96d5018

• Merge pull request #791 from diffblue/README.md-update

  Show description for 76c9657
  tautschnig

  authored
  76c9657

  Copy full SHA for 76c9657

Commits on Oct 26, 2024

• Update EBMC's README.md

  Show description for f70b2da
  kroening

  committed
  f70b2da

  Copy full SHA for f70b2da

Commits on Oct 25, 2024

• Verilog: grammar for combinational UDPs

  Show description for 127e639
  kroening

  committed
  127e639

  Copy full SHA for 127e639

• Merge pull request #648 from diffblue/create_module

  Show description for 49fb6e4
  kroening

  authored
  49fb6e4

  Copy full SHA for 49fb6e4

• Verilog: create_module now returns verilog_module_sourcet

  Show description for 047268b
  kroening

  committed
  047268b

  Copy full SHA for 047268b

Commits on Oct 23, 2024

• Verilog: fix string generated for indexed part select

  Show description for 1896ff0
  kroening

  committed
  1896ff0

  Copy full SHA for 1896ff0

• SystemVerilog: add tests for const

  Show description for a47403d
  kroening

  committed
  a47403d

  Copy full SHA for a47403d

Commits on Oct 22, 2024

• Merge pull request #783 from diffblue/avalbval-to-bool

  Show description for 37b32b8
  tautschnig

  authored
  37b32b8

  Copy full SHA for 37b32b8

• Verilog: aval/bval lowering for casts to Bool

  Show description for b794916
  kroening

  committed
  b794916

  Copy full SHA for b794916

Commits on Oct 21, 2024

• Merge pull request #782 from diffblue/property-not-found1

  Show description for 01c39cf
  tautschnig

  authored
  01c39cf

  Copy full SHA for 01c39cf

• Merge pull request #626 from diffblue/Hazard3

  Show description for 6d19481
  kroening

  authored
  6d19481

  Copy full SHA for 6d19481

• example: Hazard3 CPU

  Show description for 1c60320
  kroening

  committed
  1c60320

  Copy full SHA for 1c60320

• ebmc: hard error when giving an unknown property ID

  Show description for b3bb952
  kroening

  committed
  b3bb952

  Copy full SHA for b3bb952

Commits on Oct 20, 2024

• Merge pull request #781 from diffblue/mini-alu

  Show description for cdcc95f
  tautschnig

  authored
  cdcc95f

  Copy full SHA for cdcc95f

Commits on Oct 19, 2024

• Verilog: fix for case statements

  Show description for 8f83b6a
  kroening

  committed
  8f83b6a

  Copy full SHA for 8f83b6a

• Verilog: KNOWNBUG test for case with default

  kroening

  committed
  3afb034

  Copy full SHA for 3afb034

Commits on Oct 18, 2024

• Merge pull request #779 from diffblue/continuous_assignment1

  Show description for 22d65c3
  kroening

  authored
  22d65c3

  Copy full SHA for 22d65c3

• Verilog: fix for synthesis of continuous assignments

  Show description for c9e186e
  kroening

  committed
  c9e186e

  Copy full SHA for c9e186e

• Merge pull request #780 from diffblue/assume2

  Show description for 5f54fcf
  tautschnig

  authored
  5f54fcf

  Copy full SHA for 5f54fcf

• EBMC: retain assumptions when using --property

  Show description for 2dc3c7d
  kroening

  committed
  2dc3c7d

  Copy full SHA for 2dc3c7d

• Merge pull request #778 from diffblue/ebmc-5-3-version

  Show description for 88a0e54
  tautschnig

  authored
  88a0e54

  Copy full SHA for 88a0e54

• EBMC 5.3 version bump and changelog

  kroening

  committed
  1a370f3

  Copy full SHA for 1a370f3

• Merge pull request #776 from diffblue/sequence4-fix

  Show description for 76c065e
  tautschnig

  authored
  76c065e

  Copy full SHA for 76c065e

• Merge pull request #777 from diffblue/implicit-net-port

  Show description for b970dd2
  tautschnig

  authored
  b970dd2

  Copy full SHA for b970dd2

Pagination

Previous

Next