Commits

History for

Commits on Jun 25, 2025

Fully support aarch64 ABI's va_list struct
tautschnig
committed
0f91a44

Commits on Aug 11, 2023

Fix __float128 portability
tautschnig
committed
afb6b2e

Commits on Dec 8, 2022

C library: move pthreads related definitions to library
tautschnig
committed
d849c8f
C/C++ library: move free/delete-only definitions to library
tautschnig
committed
da4c6ec
C library: move pipe() related definitions to library
tautschnig
committed
5f7e0de

Commits on Jan 17, 2022

C/C++ internal additions: consistently use #line
tautschnig
committed
4e32058

Commits on Nov 18, 2021

Remove __CPROVER_malloc_object
tautschnig
committed
113bcdd

Commits on Nov 17, 2021

Remove __CPROVER_malloc_size
tautschnig
committed
9501bed

Commits on Aug 16, 2021

introduce rounding_mode_identifier()
kroening
committed
a0a1329

Commits on Apr 30, 2019

C library: model pthread_key_create, pthread_{get,set}specific

tautschnig
authored and
kroening
committed
6ff80c4

Commits on Feb 25, 2019

Detect use of free() with alloca-allocated objects
tautschnig
committed
3c3348a

Commits on Oct 29, 2018

Use CPROVER_PREFIX macro instead of hardcoded __CPROVER_ string
tautschnig
committed
4a02c75

Commits on Jul 30, 2018

__float80 is a typedef, not a keyword
kroening
committed
8288a72
bugfix: __float128
kroening
committed
16a49a7
rename APPLE flavor to CLANG
kroening
committed
3849bb0

Commits on Jun 8, 2018

C++ front-end: Use C factory for compiler builtins
tautschnig
committed
1201ffe

Commits on May 25, 2018

use __CPROVER_size_t and __CPROVER_ssize_t for __CPROVER_POINTER_OBJECT/OFFSET
kroening
committed
1a7235d

Commits on Apr 26, 2018

Use a single global INITIALIZE_FUNCTION macro instead of __CPROVER_initialize
tautschnig
committed
d351a5d

Commits on Mar 7, 2018

pass type definitions to the C++ front-end
kroening
committed
80ee0b1

Commits on Nov 6, 2017

Generalize ID_malloc to ID_allocate with optional zero-init
tautschnig
committed
fb532e8

Commits on Sep 17, 2017

use std::size_t for container indices
kroening
committed
69a8eaf

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed
1ccd30e

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on May 23, 2017

Added further ia32 GCC built-ins
tautschnig
committed
3f23794
Split generic GCC built-ins, extend using current GCC trunk
tautschnig
committed
98e5c23

Commits on Feb 15, 2017

Whitespace and line breaks to match coding guidelines (part 2)
tautschnig
committed
cd9d007

Commits on Nov 29, 2016

Normalise newlines at ends of files
rjmunro
committed
be69737
Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Oct 12, 2016

added an APPLE flavour
kroening
committed
adfca02
attempt to clean up modes
kroening
committed
782e84f

Commits on Oct 10, 2016

removed _C_CPP suffix off configt::ansi_ct::flavourt
kroening
committed
1f2f633

Commits on Oct 9, 2016

removed MODE_ prefix off ansi_ct::flavourt
kroening
committed
27f2b38

Commits on Oct 30, 2015

avoid std::endl
kroening
committed
eb72c36
use enum classes for configt
kroening
committed
4382d4c

Commits on Aug 16, 2014

add back some of the ostream includes for gcc
kroening
committed
f67dc82