Commits

Breadcrumbs

History for

ond6f3bfc

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 9, 2025

• Visual Studio recognises __nullptr in C++ mode

  Show description for d6f3bfc
  kroening

  committed
  d6f3bfc

  Copy full SHA for d6f3bfc

• Merge pull request #8622 from diffblue/scanner-token-names

  Show description for cbdab7f
  kroening

  authored
  cbdab7f

  Copy full SHA for cbdab7f

• Merge pull request #8621 from diffblue/ansi-c-conditional-keyword

  Show description for cbe0fb0
  kroening

  authored
  cbe0fb0

  Copy full SHA for cbe0fb0

• ansi-c: add "" around C++ keywords

  Show description for 9fbdf4b
  kroening

  committed
  9fbdf4b

  Copy full SHA for 9fbdf4b

• ansi-c: introduce conditional_keyword(c, t)

  Show description for ce7029f
  kroening

  committed
  ce7029f

  Copy full SHA for ce7029f

• C17 and C23 support

  kroening

  committed
  4531fa6

  Copy full SHA for 4531fa6

Commits on Apr 5, 2025

• Replace conditions in quantified statement expressions

  qinheping

  committed
  6948699

  Copy full SHA for 6948699

Commits on Apr 4, 2025

• Merge pull request #8583 from tautschnig/remove-count

  Show description for 831adaf
  tautschnig

  authored
  831adaf

  Copy full SHA for 831adaf

• Remove unused {c,java}_qualifierst::count

  Show description for ccfc684
  tautschnig

  committed
  ccfc684

  Copy full SHA for ccfc684

• Fix quantifiers with nested statement-expressions

  Show description for 8b319da
  

  qinheping

  authored and

  tautschnig

  committed
  8b319da

  Copy full SHA for 8b319da

Commits on Apr 3, 2025

• Address include-what-you-use warnings

  Show description for 7540c49
  tautschnig

  committed
  7540c49

  Copy full SHA for 7540c49

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

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 20, 2025

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

  Show description for 968c28f
  kroening

  committed
  968c28f

  Copy full SHA for 968c28f

Commits on Feb 19, 2025

• line number for files with no newline

  Show description for a262c00
  kroening

  committed
  a262c00

  Copy full SHA for a262c00

Commits on Feb 15, 2025

• Introduce floatbv_round_to_integral_exprt

  Show description for 49850ea
  kroening

  committed
  49850ea

  Copy full SHA for 49850ea

Commits on Feb 4, 2025

• Split ieee_floatt into ieee_float_valuet and ieee_floatt

  Show description for d73f9ab
  kroening

  committed
  d73f9ab

  Copy full SHA for d73f9ab

Commits on Jan 31, 2025

• CONTRACTS: at most one predicate occurence per pointer

  Show description for bb3307a
  

  Remi Delmas

  committed
  bb3307a

  Copy full SHA for bb3307a

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

• CONTRATCS: force success for some pointer predicates

  Show description for 3ddd4b6
  

  Remi Delmas

  committed
  3ddd4b6

  Copy full SHA for 3ddd4b6

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

• 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 7, 2025

• 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 Dec 25, 2024

• fix enum-range check for LHSs

  Show description for 53454fd
  kroening

  committed
  53454fd

  Copy full SHA for 53454fd

Commits on Sep 28, 2024

• bitvector_typet: set width from mp_integer

  Show description for 0079017
  kroening

  committed
  0079017

  Copy full SHA for 0079017

Commits on Sep 19, 2024

• C library: Apple does not adhere to aarch64 ABI

  Show description for 9c9b52e
  tautschnig

  committed
  9c9b52e

  Copy full SHA for 9c9b52e

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 13, 2024

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

• 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

• Fix Alpine's assert-statement conversion special case

  Show description for 4b5fae8
  tautschnig

  committed
  4b5fae8

  Copy full SHA for 4b5fae8

Pagination

Previous

Next