Commits

Branch selector

 floatbv-codeowners

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 4, 2025

• 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

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

  Show description for 97c8624
  tautschnig

  authored
  97c8624

  Copy full SHA for 97c8624

• Address Doxygen warnings

  Show description for 07cf0bb
  tautschnig

  committed
  07cf0bb

  Copy full SHA for 07cf0bb

• Use Doxygen 1.9.8

  Show description for 6f07ade
  tautschnig

  committed
  6f07ade

  Copy full SHA for 6f07ade

• Publish workflow: use apt instead of pip

  Show description for c435a25
  tautschnig

  committed
  c435a25

  Copy full SHA for c435a25

• Fix publish workflow

  Show description for 319f94a
  tautschnig

  committed
  319f94a

  Copy full SHA for 319f94a

Commits on Jan 7, 2025

• Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32

  Show description for 36b2335
  tautschnig

  authored
  36b2335

  Copy full SHA for 36b2335

• util: Replace std::basic_string<unsigned> with std::basic_string<char32_t>

  Show description for 684bf42
  xokdvium

  committed
  684bf42

  Copy full SHA for 684bf42

Commits on Jan 6, 2025

• Merge pull request #8553 from peterschrammel/ps/compile-java-regression-test-sources4

  Show description for 5ae1452
  peterschrammel

  authored
  5ae1452

  Copy full SHA for 5ae1452

Commits on Jan 4, 2025

• Compile jbmc/boolean2 test sources

  Show description for 7e4897c
  peterschrammel

  committed
  7e4897c

  Copy full SHA for 7e4897c

• Compile jbmc/boolean1 test sources

  Show description for 7ea59f0
  peterschrammel

  committed
  7ea59f0

  Copy full SHA for 7ea59f0

• Compile jbmc/bitwise1 test sources

  Show description for f73c738
  peterschrammel

  committed
  f73c738

  Copy full SHA for f73c738

• Compile jbmc/basic2 test sources

  Show description for fb1bed2
  peterschrammel

  committed
  fb1bed2

  Copy full SHA for fb1bed2

• Compile jbmc/basic1 test sources

  Show description for 173b5b7
  peterschrammel

  committed
  173b5b7

  Copy full SHA for 173b5b7

• Compile jbmc/athrow1 test sources

  Show description for 5672a05
  peterschrammel

  committed
  5672a05

  Copy full SHA for 5672a05

• Compile jbmc/astore_aload1 test sources

  Show description for f69d05f
  peterschrammel

  committed
  f69d05f

  Copy full SHA for f69d05f

• Compile jbmc/assume-inputs-non-null test sources

  Show description for 54c4402
  peterschrammel

  committed
  54c4402

  Copy full SHA for 54c4402

• Compile jbmc/assume-inputs-interval test sources

  Show description for b5bc805
  peterschrammel

  committed
  b5bc805

  Copy full SHA for b5bc805

• Compile jbmc/assume-inputs-integral test sources

  Show description for aa4e88f
  peterschrammel

  committed
  aa4e88f

  Copy full SHA for aa4e88f

• Compile jbmc/assume3 test sources

  Show description for b4c7470
  peterschrammel

  committed
  b4c7470

  Copy full SHA for b4c7470

• Compile jbmc/assume2 test sources

  Show description for 76423e0
  peterschrammel

  committed
  76423e0

  Copy full SHA for 76423e0

Pagination

Previous

Next