Commits

History for

Commits on Feb 13, 2023

C library: make functions with zero parameters proper declarations
tautschnig
committed
77e7bfe
Make CPROVER intrinsics proper prototypes
tautschnig
committed
4b05d48

Commits on Jan 24, 2023

C++ model library: fix forward declarations
tautschnig
committed
11c949f

Commits on Dec 8, 2022

C/C++ library: move free/delete-only definitions to library
tautschnig
committed
da4c6ec

Commits on Dec 7, 2022

Merge pull request #6858 from tautschnig/cleanup/deallocated-updates
tautschnig
authored
ce68d67

Commits on Nov 22, 2022

C library: Fix type inconsistencies in contracts code
tautschnig
committed
4dc64e2

Commits on Nov 20, 2022

Remove unnecessary __CPROVER_deallocated updates
tautschnig
committed
c3e05b1

Commits on May 16, 2022

Hide __CPROVER_deallocated updates behind a function
tautschnig
committed
5d74a03

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 11, 2019

Merge pull request #4921 from angelhof/cprover-postcondition
karkhaz
authored
d263955

Commits on Aug 8, 2019

Remove unnecessary NOLINT comments
angelhof
committed
60c49fd

Commits on Aug 7, 2019

Add a __CPROVER_postcondition builtin
angelhof
committed
f41d20d

Commits on Jul 8, 2019

Commits on Jun 8, 2018

C++ front-end now has its own library
tautschnig
committed
0451f1e

Loading