Commits

History for

Commits on Jun 23, 2026

util: move IEEE float value conversions to ieee_float_valuet

tautschnig
and
kiro-agent
committed
51dbca1

Commits on Feb 15, 2025

Introduce floatbv_round_to_integral_exprt
kroening
committed
49850ea

Commits on Feb 11, 2025

Add IEEE 754 TiesToAway rounding mode
kroening
committed
5c62ecc

Commits on Feb 4, 2025

Split ieee_floatt into ieee_float_valuet and ieee_floatt
kroening
committed
d73f9ab

Commits on Jan 2, 2025

ieee_floatt::one(...)
kroening
committed
ebaf179

Commits on Dec 21, 2024

ieee_floatt: add preconditions
kroening
committed
08a010d

Commits on Mar 28, 2023

(gcc 13) include cstdint for *int*_t
Jiri Slaby
committed
d5c265b

Commits on Aug 13, 2021

Introduce floatbv_rounding_mode(unsigned)
kroening
committed
bd9520c

Commits on Jun 25, 2021

introduce __CROVER_fmod functions
kroening
committed
a038d0c

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Mar 8, 2021

move bitvector types to bitvector_types.h
kroening
committed
d30e826

Commits on Apr 30, 2019

Handle all enum values in switch/case
tautschnig
committed
81cd230

Commits on Jan 22, 2019

Use numeric_cast_v<unsigned> instead to_ulong with incompatible types
tautschnig
committed
7d95e60

Commits on Nov 10, 2018

Rename parameters of div_and_round
tautschnig
committed
1fe9701

Commits on Nov 9, 2018

Use numeric_cast_v<std::size_t> instead of integer2size_t
tautschnig
committed
fe3f73c

Commits on Oct 19, 2018

use 'bvrep' as terminology for 'bitvector representation'
kroening
committed
7235f23
switch bv2integer and integer2bv to irep_idt
kroening
committed
4482b5b

Commits on Oct 18, 2018

bv2integer is now told the width
kroening
committed
92f2621

Commits on Oct 4, 2018

introduce integer2bv and bv2integer
kroening
committed
935f4d2

Commits on Sep 21, 2018

avoid usage of partial constructor for constant_exprt
kroening
committed
c92033f

Commits on Sep 4, 2018

Cleanup asserts
Sonny Martin
committed
a52631f

Commits on Aug 29, 2017

replace assert(false) by UNREACHABLE
kroening
committed
5a04db9

Commits on Aug 4, 2017

Stop using C headers
reuk
committed
548aeba

Commits on Jul 17, 2017

Fix include order in util
reuk
committed
ba73db3

Commits on Jun 26, 2017

Fix typos
Owen Jones
committed
60c9fb2

Commits on Jun 19, 2017

Use empty() instead of size()==0, size()<1
tautschnig
committed
9d991b4

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on May 16, 2017

get closer to what implementations do with %g
kroening
committed
8e532ee

Commits on May 15, 2017

Use strong enum in format_spec
reuk
committed
79eab3f

Commits on Feb 14, 2017

Whitespace and line breaks to match coding guidelines
tautschnig
committed
f191d17
Use member operators instead of global-scope friends
tautschnig
committed
61f747d
Do not use implicit conversion
tautschnig
committed
839e84f

Commits on Jan 3, 2017

merge of PR #347
kroening
committed
2db625a

Commits on Nov 29, 2016

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