goto_binary_parameter_identifiers : lp:cbmc : Git : Code : CBMC

Get this branch:: git clone -b goto_binary_parameter_identifiers https://git.launchpad.net/cbmc

Branch information

3fdbce5... by Daniel Kroening <email address hidden> on 2019-03-03

store parameter identifiers in goto binary

Parameter identifiers are now stored explicitly as part of the function body
in the goto binary.

The version number of the goto binary is increased.

Merge pull request #4251 from tautschnig/parameter-identifiers-locals

Local bitvector analysis: use parameter_identifiers [blocks: #4167]

Merge pull request #4099 from NathanJPhillips/documentation/symex

Symex Documentation

Merge pull request #2511 from polgreen/fix_trace_wording

Change "violated assumption" to "assumption" in trace

4193829... by Michael Tautschnig <email address hidden> on 2019-02-21

Local bitvector analysis: use parameter_identifiers

goto_functiont::type will go away.

c2f5c9b... by Nathan Phillips <email address hidden> on 2019-02-05

Improve documentation for goto_symext

0e65eb8... by Nathan Phillips <email address hidden> on 2019-02-05

Added code documentation

aead710... by Nathan Phillips <email address hidden> on 2019-02-05

Documentation formatting

e2c7ae7... by Nathan Phillips <email address hidden> on 2019-02-05

Moved parameters to match header file

8c1ffc9... by Polgreen <email address hidden> on 2018-07-03

make assumption output in trace reachable

Assumptions are never violated, instead they restrict the search space for non-det values

»