replace-symbol-tags : lp:cbmc : Git : Code : CBMC

Get this branch:: git clone -b replace-symbol-tags https://git.launchpad.net/cbmc

Branch information

6dd3d3c... by Daniel Kroening <email address hidden> on 2018-08-27

replace_symbolt can now replace tag type symbols

ebf5ce8... by Daniel Kroening <email address hidden> on 2018-10-02

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

Add cmdlinet::has_option

1225b77... by Chris Smowton <email address hidden> on 2018-10-02

Add unit test for cmdlinet::has_option

3f56a37... by Chris Smowton <email address hidden> on 2018-10-02

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> on 2018-10-02

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

Fix --string-non-empty option

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

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

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> on 2018-09-28

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

fdc4680... by Hannes Steffenhagen <email address hidden> on 2018-09-28

Refactor simplify_minus

* Use to_minus_expr instead of asserting the expression id
* Rename the local variables for easier readability

5c62ca9... by Thomas Kiley <email address hidden> on 2018-10-02

Merge pull request #2775 from thomasspriggs/tas/doc_remove_instanceof

Add documentation on `remove-instanceof` [DOC-25]

»