Commits

History for

Commits on Oct 20, 2025

Use operator==(exprt, bool)
tautschnig
committed
f721429

Commits on Nov 9, 2023

[REFACTOR] Refactor call sites of `string_constantt::get_value` and `string_constantt::set_value`.
NlightNFotis
committed
db61a6a

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Dec 21, 2020

_Static_assert failures should be reported in the front-end
tautschnig
committed
d80f750

Commits on Feb 7, 2019

Replace make_typecast by typecast_exprt or typecast_exprt::conditional_cast
tautschnig
committed
ebaacea

Commits on Dec 18, 2018

Use string_constantt's API
tautschnig
committed
72a025a

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 Jul 20, 2016

further work towards new messaging API
kroening
committed
95b18a1

Commits on Dec 31, 2014

error message for static assertions
kroening
committed
2f8d129

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed
2f61175

Commits on Nov 3, 2012

support for static_assert()
kroening
committed
b2fb0f3

Loading