Commits

Branch selector

 uninitialized-check

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 13, 2025

• uninitialized check

  Show description for 1059ee7
  kroening

  committed
  1059ee7

  Copy full SHA for 1059ee7

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

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

• Merge pull request #8580 from diffblue/floatbv-codeowners

  Show description for 3c4ffae
  kroening

  authored
  3c4ffae

  Copy full SHA for 3c4ffae

• remove @esteffin from CODEOWNERS

  Show description for ae83943
  kroening

  committed
  ae83943

  Copy full SHA for ae83943

• add @peterschrammel as code owner to /src/solvers/floatbv

  kroening

  committed
  37723cc

  Copy full SHA for 37723cc

Commits on Jan 31, 2025

• Merge pull request #8577 from remi-delmas-3000/contracts-ptr-pred-ctx

  Show description for c66ffbe
  remi-delmas-3000

  authored
  c66ffbe

  Copy full SHA for c66ffbe

• CONTRACTS: at most one predicate occurence per pointer

  Show description for bb3307a
  

  Remi Delmas

  committed
  bb3307a

  Copy full SHA for bb3307a

• Refresh memory predicate documentation, add paragraph about using pointer predicates in disjunctions.

  

  Remi Delmas

  committed
  309c77c

  Copy full SHA for 309c77c

Commits on Jan 29, 2025

• Merge pull request #8576 from remi-delmas-3000/contracts-is-fresh-demonic

  Show description for 1cc4bc2
  tautschnig

  authored
  1cc4bc2

  Copy full SHA for 1cc4bc2

Commits on Jan 25, 2025

• CONTRACTS: separation checks using nondet demonic variable

  Show description for d490670
  

  Remi Delmas

  committed
  d490670

  Copy full SHA for d490670

Commits on Jan 24, 2025

• Merge pull request #8574 from remi-delmas-3000/contracts-predicates-units-no-fail

  Show description for 3d79560
  tautschnig

  authored
  3d79560

  Copy full SHA for 3d79560

• CONTRATCS: force success for some pointer predicates

  Show description for 3ddd4b6
  

  Remi Delmas

  committed
  3ddd4b6

  Copy full SHA for 3ddd4b6

Commits on Jan 22, 2025

• Merge pull request #8562 from remi-delmas-3000/contracts-allow-is-fresh-to-fail

  Show description for d4757e2
  tautschnig

  authored
  d4757e2

  Copy full SHA for d4757e2

Commits on Jan 21, 2025

• Add new `__CPROVER_pointer_equals(p, q)` predicate

  Show description for e965339
  

  Remi Delmas

  committed
  e965339

  Copy full SHA for e965339

• Add tests for pointer predicates under disjunctions in assume contexts

  

  Remi Delmas

  committed
  a8f6aa4

  Copy full SHA for a8f6aa4

• Soudness fix: pointer predicates can fail in assume contexts.

  Show description for e979772
  

  Remi Delmas

  committed
  e979772

  Copy full SHA for e979772

• Add "make invalid pointer" utility function and havoc mode

  Show description for 4161fd1
  

  Remi Delmas

  committed
  4161fd1

  Copy full SHA for 4161fd1

• CONTRACTS: Add --dfcc-debug-lib CLI switch

  

  Remi Delmas

  committed
  e48f079

  Copy full SHA for e48f079

Commits on Jan 13, 2025

• miniz: do not define conditionally used functions

  Show description for 35bf91a
  tautschnig

  committed
  35bf91a

  Copy full SHA for 35bf91a

• miniz: Disable unused APIs

  Show description for 44f7653
  tautschnig

  committed
  44f7653

  Copy full SHA for 44f7653

• cpplint: ignore miniz files

  Show description for 96a8c7d
  tautschnig

  committed
  96a8c7d

  Copy full SHA for 96a8c7d

• Do not attempt to clang-format miniz.h

  Show description for 048c001
  tautschnig

  committed
  048c001

  Copy full SHA for 048c001

• Update third-party miniz to 0c30a001bc3c70

  Show description for c057938
  tautschnig

  committed
  c057938

  Copy full SHA for c057938

• Merge pull request #8564 from tautschnig/fix-doc-build

  Show description for 97c8624
  tautschnig

  authored
  97c8624

  Copy full SHA for 97c8624

Pagination

Previous

Next