smt2-float-fix : lp:cbmc : Git : Code : CBMC

Get this branch:: git clone -b smt2-float-fix https://git.launchpad.net/cbmc

Branch information

73f7674... by Daniel Kroening <email address hidden> on 2019-01-01

smt2: implement the cast from bv to floatbv

b5ee26b... by Daniel Kroening <email address hidden> on 2018-12-31

smt2 frontend: let identifiers must be globally unique

0743892... by Daniel Kroening <email address hidden> on 2018-12-31

smt2: add a missing space

Merge pull request #3640 from diffblue/smt2-bound-symbols

smt2: fix exists/forall

Merge pull request #3639 from diffblue/smt2-with-full-size

smt2: fix encoding of with expressions

Merge pull request #3638 from diffblue/smt2-member-bits

smt2 backend: member operator for non-byte offsets

Merge pull request #3644 from diffblue/type2name-cleanup

type2name cleanup

ad7bcae... by Daniel Kroening <email address hidden> on 2018-12-29

type2name: use tag_typet

d75d3bf... by Daniel Kroening <email address hidden> on 2018-12-29

type2name: remove unused global

1f4da29... by Daniel Kroening <email address hidden> on 2018-12-29

remove variant of type2name without namespace

»