CBMC

cbmc:type-cleanup2

  1. Git
  2. lp:cbmc
  3. type-cleanup2
Last commit made on 2018-12-15
Get this branch:
git clone -b type-cleanup2 https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
type-cleanup2
Repository:
lp:cbmc

Recent commits

f1980e4... by Daniel Kroening <email address hidden>

move typet::subtype() to type_with_subtypet

2384724... by Daniel Kroening <email address hidden>

add correct type conversion when using subtype()

f89a6ff... by Daniel Kroening <email address hidden>

use the proper array constructor

f13813c... by Daniel Kroening <email address hidden>

index_exprt requires operand with subtype

e18ac13... by Daniel Kroening <email address hidden>

Merge pull request #3573 from peterschrammel/fix-typos-goto-symex

Fix typos

58d440a... by Romain Brenguier <email address hidden>

Merge pull request #3559 from romainbrenguier/optimize/get_l1_name

Optimize remove_level_2

fd51f50... by Peter Schrammel <email address hidden>

Fix typos

7a30b00... by Peter Schrammel <email address hidden>

Merge pull request #3567 from peterschrammel/doxygen-download

Fix broken doxygen download link

77c52f5... by Peter Schrammel <email address hidden>

Fix broken doxygen download link

7114c57... by Romain Brenguier

Optimize remove_level_2

To reset the identifier we can just used the l1_object_identifier which
is a cached version of the level1 identifier.