CBMC

cbmc:string-constants

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

Branch merges

Branch information

Name:
string-constants
Repository:
lp:cbmc

Recent commits

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

track writes into string constants

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

goto_check can now track write accesses

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

local bitvector analysis now tracks string constants

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

Merge pull request #3083 from smowton/smowton/feature/cmdline-has-option

Add cmdlinet::has_option

1225b77... by Chris Smowton <email address hidden>

Add unit test for cmdlinet::has_option

3f56a37... by Chris Smowton <email address hidden>

Add has_option to cmdlinet

This allows a user to check that a particular option is accepted, which allows validation
when not using the full `parse` routine.

2c47e04... by Romain Brenguier <email address hidden>

Merge pull request #2909 from romainbrenguier/bugfix/string-non-empty

Fix --string-non-empty option

2d63171... by Michael Tautschnig

Merge pull request #2910 from sonodtt/invariant-cleanup-util_dir-s_files-part2

Cleanup asserts & throws - replace with invariants - dir util/s* (part2)

92efd4c... by Michael Tautschnig

Merge pull request #3077 from diffblue/vector_plus_scalar

allow binary arithmetic of a vector type and a scalar type

69e5c2d... by Hannes Steffenhagen <email address hidden>

Use to_plus_expr instead of assert in simplify_plus

to_plus_expr should check if an expression is a plus_exprt, this avoids
duplicating checks across the codebase