Commits

Branch selector

 protect-value_is_zero_string

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 13, 2024

• Mark constant_exprt::value_is_zero_string protected

  Show description for 497b7e3
  tautschnig

  committed
  497b7e3

  Copy full SHA for 497b7e3

• Merge pull request #8448 from tautschnig/move-make_with_expr

  Show description for 2212cd6
  tautschnig

  authored
  2212cd6

  Copy full SHA for 2212cd6

• Merge pull request #8432 from lks9/doc_8428

  Show description for e08b025
  peterschrammel

  authored
  e08b025

  Copy full SHA for e08b025

• Move make_with_expr to update_exprt

  Show description for 1aa2d83
  tautschnig

  committed
  1aa2d83

  Copy full SHA for 1aa2d83

• Merge pull request #8445 from tautschnig/move-is_null_pointer

  Show description for dc8793c
  tautschnig

  authored
  dc8793c

  Copy full SHA for dc8793c

• Merge branch 'develop' into doc_8428

  lks9

  committed
  78f208c

  Copy full SHA for 78f208c

Commits on Sep 12, 2024

• Merge pull request #8418 from tautschnig/lazy_goto_model-no-dynamic_cast

  Show description for f0543bd
  kroening

  authored
  f0543bd

  Copy full SHA for f0543bd

• Merge pull request #8391 from diffblue/exception-constructors

  Show description for a29e933
  kroening

  authored
  a29e933

  Copy full SHA for a29e933

Commits on Sep 11, 2024

• Merge pull request #8444 from tautschnig/fix-missing-locs

  Show description for 29d6f31
  tautschnig

  authored
  29d6f31

  Copy full SHA for 29d6f31

Commits on Sep 10, 2024

• is_null_pointer: remove code path that is no longer necessary

  Show description for 7b47e9f
  tautschnig

  committed
  7b47e9f

  Copy full SHA for 7b47e9f

• Move is_null_pointer to constant_exprt

  Show description for 42b70b2
  tautschnig

  committed
  42b70b2

  Copy full SHA for 42b70b2

• Goto conversion: fix missing source locations

  Show description for 68c39bd
  tautschnig

  committed
  68c39bd

  Copy full SHA for 68c39bd

Commits on Sep 5, 2024

• Merge pull request #8440 from tautschnig/fix-python-syntax-error

  Show description for 4ae54e6
  tautschnig

  authored
  4ae54e6

  Copy full SHA for 4ae54e6

• Merge pull request #8438 from tautschnig/fix-8436-conversion

  Show description for d67648a
  tautschnig

  authored
  d67648a

  Copy full SHA for d67648a

• Merge pull request #8441 from diffblue/zero_expr

  Show description for 71ee177
  kroening

  authored
  71ee177

  Copy full SHA for 71ee177

• Fix Python syntax error in doxygen markdown preprocessor

  Show description for 1575214
  tautschnig

  committed
  1575214

  Copy full SHA for 1575214

• introduce zero_expr() and one_expr() for number types

  Show description for 9fba581
  kroening

  committed
  9fba581

  Copy full SHA for 9fba581

• Fix Alpine's assert-statement conversion special case

  Show description for 4b5fae8
  tautschnig

  committed
  4b5fae8

  Copy full SHA for 4b5fae8

• Merge pull request #8430 from tautschnig/no-bound-var-rewrite

  Show description for dd54106
  tautschnig

  authored
  dd54106

  Copy full SHA for dd54106

• Merge pull request #8435 from tautschnig/debug-cmake-fail

  Show description for faf92c5
  tautschnig

  authored
  faf92c5

  Copy full SHA for faf92c5

Commits on Sep 3, 2024

• Do not define project(CBMC ...) twice to fix CMake failures

  Show description for aeeb39f
  tautschnig

  committed
  aeeb39f

  Copy full SHA for aeeb39f

• Merge pull request #8434 from tautschnig/release-6.2.0

  Show description for 27b845c
  tautschnig

  authored
  27b845c

  Copy full SHA for 27b845c

Commits on Sep 2, 2024

• Release CBMC 6.2.0

  tautschnig

  committed
  54cdfbe

  Copy full SHA for 54cdfbe

• Merge pull request #8400 from tautschnig/bugfixes/smt2-8399

  Show description for 59674e3
  tautschnig

  authored
  59674e3

  Copy full SHA for 59674e3

Commits on Aug 30, 2024

• add documentation of default for --max-nondet-array-length, see #8428

  lks9

  committed
  c974324

  Copy full SHA for c974324

Commits on Aug 29, 2024

• Contracts: remove bound-var-rewrite

  Show description for 02eb50c
  tautschnig

  committed
  02eb50c

  Copy full SHA for 02eb50c

Commits on Aug 26, 2024

• Merge pull request #8426 from ismaell/missing-cstdint

  Show description for c193c27
  tautschnig

  authored
  c193c27

  Copy full SHA for c193c27

• Include <cstdint> for int64_t

  Show description for 2f93c6c
  ismaell

  committed
  2f93c6c

  Copy full SHA for 2f93c6c

Commits on Aug 21, 2024

• Merge pull request #8421 from tautschnig/no-boolbv-dynamic_cast

  Show description for 6752c40
  kroening

  authored
  6752c40

  Copy full SHA for 6752c40

• Merge pull request #8420 from remi-delmas-3000/contracts-fix-do-while-latch

  Show description for b21323f
  tautschnig

  authored
  b21323f

  Copy full SHA for b21323f

• CONTRACTS: fix loop latch nodes normalization

  Show description for 159abec
  

  Remi Delmas

  authored and

  tautschnig

  committed
  159abec

  Copy full SHA for 159abec

• Merge pull request #8416 from remi-delmas-3000/skip-loops

  Show description for dae5af0
  tautschnig

  authored
  dae5af0

  Copy full SHA for dae5af0

• Remove unnecessary iostream includes

  Show description for 48aa648
  tautschnig

  committed
  48aa648

  Copy full SHA for 48aa648

• CONTRACTS: redirect checks to outer write set for loops that get skipped

  Show description for 1681773
  

  Remi Delmas

  authored and

  tautschnig

  committed
  1681773

  Copy full SHA for 1681773

• Merge pull request #8417 from tautschnig/fix-do-while-loop-invariant

  Show description for 2bef701
  tautschnig

  authored
  2bef701

  Copy full SHA for 2bef701

Pagination

Previous

Next