Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jun 25, 2025

• Fully support aarch64 ABI's va_list struct

  Show description for 0f91a44
  tautschnig

  committed
  0f91a44

  Copy full SHA for 0f91a44

Commits on Aug 11, 2023

• Fix __float128 portability

  Show description for afb6b2e
  tautschnig

  committed
  afb6b2e

  Copy full SHA for afb6b2e

Commits on Dec 8, 2022

• C library: move pthreads related definitions to library

  Show description for d849c8f
  tautschnig

  committed
  d849c8f

  Copy full SHA for d849c8f

• C/C++ library: move free/delete-only definitions to library

  Show description for da4c6ec
  tautschnig

  committed
  da4c6ec

  Copy full SHA for da4c6ec

• C library: move pipe() related definitions to library

  Show description for 5f7e0de
  tautschnig

  committed
  5f7e0de

  Copy full SHA for 5f7e0de

Commits on Jan 17, 2022

• C/C++ internal additions: consistently use #line

  Show description for 4e32058
  tautschnig

  committed
  4e32058

  Copy full SHA for 4e32058

Commits on Nov 18, 2021

• Remove __CPROVER_malloc_object

  Show description for 113bcdd
  tautschnig

  committed
  113bcdd

  Copy full SHA for 113bcdd

Commits on Nov 17, 2021

• Remove __CPROVER_malloc_size

  Show description for 9501bed
  tautschnig

  committed
  9501bed

  Copy full SHA for 9501bed

Commits on Aug 16, 2021

• introduce rounding_mode_identifier()

  Show description for a0a1329
  kroening

  committed
  a0a1329

  Copy full SHA for a0a1329

Commits on Apr 30, 2019

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

  Show description for 6ff80c4
  

  tautschnig

  authored and

  kroening

  committed
  6ff80c4

  Copy full SHA for 6ff80c4

Commits on Feb 25, 2019

• Detect use of free() with alloca-allocated objects

  Show description for 3c3348a
  tautschnig

  committed
  3c3348a

  Copy full SHA for 3c3348a

Commits on Oct 29, 2018

• Use CPROVER_PREFIX macro instead of hardcoded __CPROVER_ string

  Show description for 4a02c75
  tautschnig

  committed
  4a02c75

  Copy full SHA for 4a02c75

Commits on Jul 30, 2018

• __float80 is a typedef, not a keyword

  kroening

  committed
  8288a72

  Copy full SHA for 8288a72

• bugfix: __float128

  kroening

  committed
  16a49a7

  Copy full SHA for 16a49a7

• rename APPLE flavor to CLANG

  kroening

  committed
  3849bb0

  Copy full SHA for 3849bb0

Commits on Jun 8, 2018

• C++ front-end: Use C factory for compiler builtins

  tautschnig

  committed
  1201ffe

  Copy full SHA for 1201ffe

Commits on May 25, 2018

• use __CPROVER_size_t and __CPROVER_ssize_t for __CPROVER_POINTER_OBJECT/OFFSET

  kroening

  committed
  1a7235d

  Copy full SHA for 1a7235d

Commits on Apr 26, 2018

• Use a single global INITIALIZE_FUNCTION macro instead of __CPROVER_initialize

  tautschnig

  committed
  d351a5d

  Copy full SHA for d351a5d

Commits on Mar 7, 2018

• pass type definitions to the C++ front-end

  kroening

  committed
  80ee0b1

  Copy full SHA for 80ee0b1

Commits on Nov 6, 2017

• Generalize ID_malloc to ID_allocate with optional zero-init

  Show description for fb532e8
  tautschnig

  committed
  fb532e8

  Copy full SHA for fb532e8

Commits on Sep 17, 2017

• use std::size_t for container indices

  kroening

  committed
  69a8eaf

  Copy full SHA for 69a8eaf

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 23, 2017

• Added further ia32 GCC built-ins

  tautschnig

  committed
  3f23794

  Copy full SHA for 3f23794

• Split generic GCC built-ins, extend using current GCC trunk

  tautschnig

  committed
  98e5c23

  Copy full SHA for 98e5c23

Commits on Feb 15, 2017

• Whitespace and line breaks to match coding guidelines (part 2)

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

Commits on Nov 29, 2016

• Normalise newlines at ends of files

  rjmunro

  committed
  be69737

  Copy full SHA for be69737

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Oct 12, 2016

• added an APPLE flavour

  kroening

  committed
  adfca02

  Copy full SHA for adfca02

• attempt to clean up modes

  kroening

  committed
  782e84f

  Copy full SHA for 782e84f

Commits on Oct 10, 2016

• removed _C_CPP suffix off configt::ansi_ct::flavourt

  kroening

  committed
  1f2f633

  Copy full SHA for 1f2f633

Commits on Oct 9, 2016

• removed MODE_ prefix off ansi_ct::flavourt

  kroening

  committed
  27f2b38

  Copy full SHA for 27f2b38

Commits on Oct 30, 2015

• avoid std::endl

  Show description for eb72c36
  

  kroening

  committed
  eb72c36

  Copy full SHA for eb72c36

• use enum classes for configt

  Show description for 4382d4c
  

  kroening

  committed
  4382d4c

  Copy full SHA for 4382d4c

Commits on Aug 16, 2014

• add back some of the ostream includes for gcc

  Show description for f67dc82
  

  kroening

  committed
  f67dc82

  Copy full SHA for f67dc82