CBMC

cbmc:field_sensitive_SSA

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

Branch merges

Branch information

Name:
field_sensitive_SSA
Repository:
lp:cbmc

Recent commits

155d4e1... by Daniel Kroening <email address hidden>

something

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

Merge pull request #1822 from diffblue/legacy-language

moving language.h and language_file.h to langapi folder

441f706... by Daniel Kroening <email address hidden>

Merge pull request #1823 from diffblue/cleanup

Clean out various bits of legacy code

11714b2... by Daniel Kroening <email address hidden>

use constant_exprt version of to_integer

733f3b8... by Daniel Kroening <email address hidden>

remove old-style constructor for member_exprt

63f09ac... by Daniel Kroening <email address hidden>

remove unused function make_next_state

77c8b9c... by Daniel Kroening <email address hidden>

remove translation for certain boolean program constructs

1bac484... by Daniel Kroening <email address hidden>

cleanout decision_proceduret::in_core

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

moving language.h and language_file.h to langapi folder

The languaget API has become excessively cluttered, and will be phased out.
In preparation, the files are moved to the langapi folder.

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

Merge pull request #1761 from diffblue/function_typet

Added function_typet