CBMC

cbmc:refactoring_simplify_inequality3

  1. Git
  2. lp:cbmc
  3. refactoring_simplify_inequality3
Last commit made on 2019-05-30
Get this branch:
git clone -b refactoring_simplify_inequality3 https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
refactoring_simplify_inequality3
Repository:
lp:cbmc

Recent commits

525d1e9... by Daniel Kroening <email address hidden>

change signature of simplify_inequality_*

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

introduce simplify_exprt::resultt

82e9441... by Michael Tautschnig <email address hidden>

Merge pull request #4727 from tautschnig/cleanup-Makefile

Remove duplicate json Makefile entry

5c38aff... by Michael Tautschnig <email address hidden>

Remove duplicate json Makefile entry

OBJ already lists json/json$(LIBEXT) near the beginning of the list, no
need to mention it twice. This is just text cleanup (noticed while
reading the file while working on the Visual Studio build), there is not
notable effect at build time.

3093e86... by Michael Tautschnig <email address hidden>

Merge pull request #4729 from tautschnig/disable-forward-list

Revert "Use std::forward_list instead of std::map in irept by default"

4d020ce... by Michael Tautschnig <email address hidden>

Revert "Use std::forward_list instead of std::map in irept by default"

This reverts commit 2b9849af73f150bab0ffd592b807aef7eea1feea.

4b1352e... by jeannielynnmoulton <email address hidden>

Merge pull request #4706 from jeannielynnmoulton/jeannie/ClinitCheck

Add function that checks if function id represents a clinit.

abd2628... by Romain Brenguier <email address hidden>

Merge pull request #4702 from romainbrenguier/refactor/value-set

Refactor in value_set

c4ffbee... by Michael Tautschnig <email address hidden>

Merge pull request #4458 from tautschnig/forward-list

Use std::forward_list instead of std::map in irept by default [blocks: #3486]

4f40147... by Romain Brenguier

Use ranget fiter for retained_values in dereference

This makes it clearer that retained_values corresponds to a filtered
`points_to_set` and allows retained values to be const.