Commits

History for

Commits on Nov 13, 2022

Move has_byte_operator to util
tautschnig
committed
fce00aa

Commits on Oct 13, 2022

Configure bits_per_byte in byte_extract/byte_update expression
tautschnig
committed
a8631c5

Commits on Apr 23, 2021

make_byte_{extract,update} to build byte_{extract,update} expressions
tautschnig
committed
e7d8209

Commits on Apr 30, 2019

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

Commits on Dec 20, 2018

Avoid warning about not returning a value
tautschnig
committed
56499b9

Commits on Sep 25, 2018

Error handling cleanup in src/util, for files with names starting with a-g
danpoe
committed
d5535a9

Commits on Aug 29, 2017

replace assert(false) by UNREACHABLE
kroening
committed
5a04db9

Commits on Jul 17, 2017

Fix include order in util
reuk
committed
ba73db3

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on Oct 30, 2015

use enum classes for configt
kroening
committed
4382d4c

Commits on Jan 31, 2015

moved endianess_mapt into separate files
kroening
committed
42d785d

Commits on Jan 12, 2015

fix for big endian
kroening
committed
23569b3
add bit-wise pointer_offset_bits
kroening
committed
1b2c5b7

Commits on Dec 24, 2014

new way of encoding bit fields
kroening
committed
58d2e4b

Commits on Nov 1, 2014

Support for enum tag type across the code base
kroening
committed
9bc445b

Commits on Aug 27, 2014

Fix endianness maps for bitfields
tautschnig
committed
428be37

Commits on Aug 16, 2014

add back some of the ostream includes for gcc
kroening
committed
f67dc82

Commits on Jul 28, 2014

added byte_update_id
kroening
committed
97dd891
Handle bit fields in endianness mapping
kroening
committed
595c20c

Commits on Feb 5, 2014

size_t as endianness index type
kroening
committed
16b4741

Commits on Dec 4, 2013

Moved generically useful byte_extract_id to byte_operators.h
tautschnig
committed
5da474e

Commits on Apr 13, 2013

avoid -I .
kroening
committed
e2455a7

Commits on Jan 15, 2013

little endian maps are trivial
kroening
committed
3cae2ed

Commits on Jun 7, 2012

cleanup c_bool and #cpp_type -> #c_type
kroening
committed
1d78d4a
c_bool
kroening
committed
a446e1a

Commits on Nov 20, 2011

Michael's patch to clean up the include files
kroening
committed
ec34836

Commits on Sep 5, 2011

endianness map
kroening
committed
ba6e1d6
map functions
kroening
committed
d95ab4a

Loading