Commits

Branch selector

 develop

User selector

tautschnig

Datepicker

All time

Commit History

Commits on Sep 27, 2024

• Merge pull request #8470 from tautschnig/loop_entry-arrays

  Show description for 4bd5c0a
  tautschnig

  authored
  4bd5c0a

  Copy full SHA for 4bd5c0a

Commits on Sep 25, 2024

• Man pages: improve wording of unwinding-related options

  Show description for 36ba12e
  tautschnig

  committed
  36ba12e

  Copy full SHA for 36ba12e

Commits on Sep 24, 2024

• Contracts: document use of __CPROVER_loop_entry with arrays

  Show description for 095413f
  tautschnig

  committed
  095413f

  Copy full SHA for 095413f

Commits on Sep 19, 2024

• Merge pull request #8462 from tautschnig/release-6.3.1

  Show description for d2b4455
  tautschnig

  authored
  d2b4455

  Copy full SHA for d2b4455

• Release CBMC 6.3.1

  Show description for e7220f6
  tautschnig

  committed
  e7220f6

  Copy full SHA for e7220f6

• Merge pull request #8461 from tautschnig/fix-aarch64-va_list

  Show description for 0831d00
  tautschnig

  authored
  0831d00

  Copy full SHA for 0831d00

• C library: Apple does not adhere to aarch64 ABI

  Show description for 9c9b52e
  tautschnig

  committed
  9c9b52e

  Copy full SHA for 9c9b52e

• Merge pull request #8460 from tautschnig/release-6.3.0

  Show description for 5bd494a
  tautschnig

  authored
  5bd494a

  Copy full SHA for 5bd494a

• Release CBMC 6.3.0

  Show description for e8610a5
  tautschnig

  committed
  e8610a5

  Copy full SHA for e8610a5

• Merge pull request #8366 from tautschnig/fix-8357-va_list

  Show description for 9e883f5
  tautschnig

  authored
  9e883f5

  Copy full SHA for 9e883f5

Commits on Sep 18, 2024

• C library: fix use of va_list for AARCH64

  Show description for 40a3dbb
  tautschnig

  committed
  40a3dbb

  Copy full SHA for 40a3dbb

Commits on Sep 17, 2024

• Merge pull request #8458 from tautschnig/loop-invariants-conjunction-splitting

  Show description for d87b506
  tautschnig

  authored
  d87b506

  Copy full SHA for d87b506

• Contracts/DFCC: split conjunctions in loop invariants

  Show description for eb5466d
  tautschnig

  committed
  eb5466d

  Copy full SHA for eb5466d

• Merge pull request #8459 from tautschnig/contracts-remove-do-while-0

  Show description for f68cf8c
  tautschnig

  authored
  f68cf8c

  Copy full SHA for f68cf8c

• Contracts: always remove spurious do {... } while(0) loops

  Show description for d4afdd2
  tautschnig

  committed
  d4afdd2

  Copy full SHA for d4afdd2

Commits on Sep 13, 2024

• Merge pull request #8449 from tautschnig/use-boolean_negate

  Show description for 5002f3b
  tautschnig

  authored
  5002f3b

  Copy full SHA for 5002f3b

• Use boolean_negate for immediate simplification

  Show description for f63dfa9
  tautschnig

  committed
  f63dfa9

  Copy full SHA for f63dfa9

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

  Show description for 2212cd6
  tautschnig

  authored
  2212cd6

  Copy full SHA for 2212cd6

• 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

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

• Fix Python syntax error in doxygen markdown preprocessor

  Show description for 1575214
  tautschnig

  committed
  1575214

  Copy full SHA for 1575214

• 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 29, 2024

• Contracts: remove bound-var-rewrite

  Show description for 02eb50c
  tautschnig

  committed
  02eb50c

  Copy full SHA for 02eb50c

Pagination

Previous

Next