Commits

History for

Commits on Jun 14, 2024

Be precise as to whether __float128 is a keyword or a typedef
tautschnig
committed
62c2909

Commits on Jun 11, 2024

Add support for __fp16 where appropriate
tautschnig
committed
2d80f17

Commits on Mar 15, 2024

C and C++ parsers: construct with message handler
tautschnig
committed
1f240bc

Commits on Feb 5, 2024

C/C++ front-end: accept all floating-point extensions that GCC and Clang support
tautschnig
committed
bf1159f

Commits on Nov 20, 2022

parsert is not a messaget
tautschnig
committed
c06c96b

Commits on Oct 21, 2021

cbmc: recognise -std={c,gnu}++17 options

lzaoral
and
tautschnig
committed
378857d

Commits on May 15, 2019

fix up __float128 and _Float128 support
kroening
committed
5c6d7b4

Commits on Jun 7, 2018

Restore _Float128 support by default
smowton
committed
b0d1f9e

Commits on Jun 6, 2018

_FloatX support based on gcc version
kroening
committed
e040723

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 Nov 29, 2016

Normalise newlines at ends of files
rjmunro
committed
be69737

Commits on Feb 5, 2016

prepare for C++14
kroening
committed
52a8e8d

Commits on Nov 12, 2015

split up C and C++ standards
kroening
committed
0fea20d

Commits on Oct 30, 2015

set the right __STDC_VERSION__
kroening
committed
2526c4b

Commits on Dec 26, 2014

config for C++11
kroening
committed
bf40241

Commits on Dec 24, 2014

distinguish C++98 from C++11
kroening
committed
4e81f70

Commits on Aug 16, 2014

use ANSI-C scanner
kroening
committed
da6887e

Commits on Sep 15, 2012

cleanup
kroening
committed
4433f9c

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading