Commits

Branch selector

 quantifiers_with_statement_expresssion

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 5, 2025

• Replace conditions in quantified statement expressions

  qinheping

  committed
  be06569

  Copy full SHA for be06569

Commits on Apr 4, 2025

• Fix quantifiers with nested statement-expressions

  Show description for 25e6c7b
  qinheping

  committed
  25e6c7b

  Copy full SHA for 25e6c7b

Commits on Apr 2, 2025

• Merge pull request #8611 from tautschnig/cmake-min-version-fix

  Show description for fab6710
  tautschnig

  authored
  fab6710

  Copy full SHA for fab6710

• Use same CMake minimum version in DownloadProject configuration

  Show description for 6cbc63b
  tautschnig

  committed
  6cbc63b

  Copy full SHA for 6cbc63b

Commits on Mar 26, 2025

• Merge pull request #8609 from tautschnig/show-format-diff

  Show description for cd39b3a
  tautschnig

  authored
  cd39b3a

  Copy full SHA for cd39b3a

• Fix display of code changes in clang-format CI action

  Show description for daaed1d
  tautschnig

  committed
  daaed1d

  Copy full SHA for daaed1d

Commits on Mar 13, 2025

• Merge pull request #8607 from tautschnig/release-6.5.0

  Show description for 32143dd
  tautschnig

  authored
  32143dd

  Copy full SHA for 32143dd

• Release CBMC 6.5.0

  Show description for d52b560
  tautschnig

  committed
  d52b560

  Copy full SHA for d52b560

Commits on Mar 12, 2025

• Merge pull request #8605 from qinheping/quantifiers-with-statement-expressions

  Show description for e033ba1
  tautschnig

  authored
  e033ba1

  Copy full SHA for e033ba1

• Fix: Handle quantifiers with statement expressions in CBMC

  Show description for 5cdfb0b
  qinheping

  committed
  5cdfb0b

  Copy full SHA for 5cdfb0b

Commits on Mar 11, 2025

• Merge pull request #8603 from remi-delmas-3000/weaken-is-fresh-assert

  Show description for 9bade97
  tautschnig

  authored
  9bade97

  Copy full SHA for 9bade97

• Merge pull request #8594 from diffblue/simplify-bitxnor2

  Show description for 29c588c
  kroening

  authored
  29c588c

  Copy full SHA for 29c588c

Commits on Mar 2, 2025

• Merge pull request #8597 from diffblue/fixup-8538

  Show description for f55f636
  kroening

  authored
  f55f636

  Copy full SHA for f55f636

Commits on Feb 28, 2025

• CONTRACTS: is_fresh now checks separation of byte-intervals instead of whole objects.

  Show description for d4a1c6d
  

  Remi Delmas

  authored and

  remi-delmas-3000

  committed
  d4a1c6d

  Copy full SHA for d4a1c6d

Commits on Feb 26, 2025

• simplify: rewrite bitxnor on booleans to equal

  Show description for c04a588
  kroening

  committed
  c04a588

  Copy full SHA for c04a588

Commits on Feb 20, 2025

• fixup #8538 -- correct rounding modes for floor, trunc

  Show description for 968c28f
  kroening

  committed
  968c28f

  Copy full SHA for 968c28f

• Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array

  Show description for 159af34
  tautschnig

  authored
  159af34

  Copy full SHA for 159af34

Commits on Feb 19, 2025

• Merge pull request #8558 from diffblue/parser_line_no

  Show description for be99f47
  kroening

  authored
  be99f47

  Copy full SHA for be99f47

• line number for files with no newline

  Show description for a262c00
  kroening

  committed
  a262c00

  Copy full SHA for a262c00

Commits on Feb 15, 2025

• Merge pull request #8538 from diffblue/round_to_integral

  Show description for 0fc8a49
  kroening

  authored
  0fc8a49

  Copy full SHA for 0fc8a49

• Introduce floatbv_round_to_integral_exprt

  Show description for 49850ea
  kroening

  committed
  49850ea

  Copy full SHA for 49850ea

Commits on Feb 11, 2025

• Merge pull request #8590 from diffblue/remove-namespace_baset-follow

  Show description for b712143
  kroening

  authored
  b712143

  Copy full SHA for b712143

• Remove namespace_baset::follow(typet)

  Show description for 9318301
  kroening

  committed
  9318301

  Copy full SHA for 9318301

• Merge pull request #8561 from diffblue/bump-clang-format

  Show description for e5e5c65
  kroening

  authored
  e5e5c65

  Copy full SHA for e5e5c65

• Merge pull request #8515 from diffblue/TiesToAway

  Show description for ba3b018
  kroening

  authored
  ba3b018

  Copy full SHA for ba3b018

• bump clang-format to clang-15

  Show description for 08d558d
  kroening

  committed
  08d558d

  Copy full SHA for 08d558d

• Add IEEE 754 TiesToAway rounding mode

  Show description for 5c62ecc
  kroening

  committed
  5c62ecc

  Copy full SHA for 5c62ecc

Commits on Feb 10, 2025

• Merge pull request #8589 from diffblue/enumeration_bv_get

  Show description for 6957a04
  kroening

  authored
  6957a04

  Copy full SHA for 6957a04

• implement boolbvt::get for enumeration types

  Show description for b4f9748
  kroening

  committed
  b4f9748

  Copy full SHA for b4f9748

• get_subexpression_at_offset: remove infeasible branch

  Show description for 164407f
  tautschnig

  committed
  164407f

  Copy full SHA for 164407f

• Value-set based dereferencing: fix simplified handling of *(p + i)

  Show description for b8c6b40
  tautschnig

  committed
  b8c6b40

  Copy full SHA for b8c6b40

Commits on Feb 6, 2025

• Merge pull request #8563 from tautschnig/miniz-update

  Show description for 66004dc
  tautschnig

  authored
  66004dc

  Copy full SHA for 66004dc

Commits on Feb 4, 2025

• Merge pull request #8550 from diffblue/ieee_float_valuet

  Show description for af4e2e4
  kroening

  authored
  af4e2e4

  Copy full SHA for af4e2e4

• Merge pull request #8537 from diffblue/smt2-range-fix

  Show description for f2489e3
  kroening

  authored
  f2489e3

  Copy full SHA for f2489e3

• Split ieee_floatt into ieee_float_valuet and ieee_floatt

  Show description for d73f9ab
  kroening

  committed
  d73f9ab

  Copy full SHA for d73f9ab

Pagination

Previous

Next