Commits

History for

Commits on Dec 13, 2023

Remove all references to optionalt
tautschnig
committed
851c486

Commits on Jun 19, 2023

add a 'language feature' detection facility for goto programs
kroening
committed
4408b1f

Commits on Mar 23, 2023

Use get_writeable_symbol() to avoid redundant search
tautschnig
committed
4a93fcf

Commits on Dec 1, 2022

Replace some uses of forall_operands by ranged-for
tautschnig
committed
7cb1f5b

Commits on Oct 12, 2022

Remove vectors: Boolean expressions do not require signed bitvectors
tautschnig
committed
9baef8f

Commits on Sep 5, 2022

remove uses of typet::subtype() nonconst
kroening
committed
d8983b6

Commits on Feb 9, 2022

Add support for saturating add/subtract MMX instructions
tautschnig
committed
10ea245

Commits on Feb 7, 2022

Support shuffle_vector_exprt in goto programs
tautschnig
committed
eec8e61

Commits on Jan 31, 2022

remove usage of typet::subtype()
kroening
committed
3b27b76

Commits on Jan 18, 2022

array_typet and vector_typet APIs
kroening
committed
a7e039b

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Mar 26, 2021

remove_vector also applies to code_typet
tautschnig
committed
63c6557

Commits on Mar 16, 2021

Support ==,!=,<,<=,>,>= over vectors
tautschnig
committed
316ae8b
remove_vector: maintain source location
tautschnig
committed
5acadac

Commits on Feb 10, 2021

Fix type checking of vector expressions
tautschnig
committed
31f95f1

Commits on Jan 31, 2021

Remove {f,F}orall_goto_functions
tautschnig
committed
e8e0193

Commits on Nov 13, 2020

Remove goto_functiont::type
tautschnig
committed
33d85ff

Commits on Mar 26, 2019

Use symbol_tablet::lookup_ref and ::get_writeable_ref
smowton
committed
b79a100

Commits on Feb 23, 2019

use instructiont::transform
kroening
committed
da678b1

Commits on Feb 17, 2019

numeric_cast_v(expr) now requires constant_expr
kroening
committed
a5944a7

Commits on Feb 13, 2019

introduce instructiont::set_condition()
kroening
committed
d1c2749
introduce instructiont::has_condition()
kroening
committed
ee7cbbd

Commits on Jan 21, 2019

Construct array_exprt in a non-deprecated way
tautschnig
committed
475a7b9

Commits on Jan 19, 2019

use unary_exprt::op() instead of op0()
kroening
committed
e4c52cd

Commits on Nov 9, 2018

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

Commits on Nov 5, 2018

Use numeric_cast<mp_integer> instead of deprecated to_integer(exprt), part 2
tautschnig
committed
b541bf9

Commits on Oct 16, 2018

Cleanup invariants in remove_vector
hannes-steffenhagen-diffblue
committed
5aaeaf8

Commits on Oct 2, 2018

allow binary arithmetic of a vector type and a scalar type
kroening
committed
bc7fa6b

Commits on Sep 24, 2018

Use ranged for to iterate over components
tautschnig
committed
cde5ac3

Commits on Apr 27, 2018

Remove unused includes
tautschnig
committed
a6a825a

Commits on Oct 5, 2017

Made lookup return optional

NathanJPhillips
authored and
smowton
committed
a9d802b
Restricted interface of current symbol_tablet

NathanJPhillips
authored and
smowton
committed
d1d502f

Commits on Sep 17, 2017

use std::size_t for container indices
kroening
committed
69a8eaf

Commits on Jul 17, 2017

Fix include order in goto-programs
reuk
committed
70b352c

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8