CBMC

cbmc:propositional-encodings

  1. Git
  2. lp:cbmc
  3. propositional-encodings
Last commit made on 2015-01-12
Get this branch:
git clone -b propositional-encodings https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
propositional-encodings
Repository:
lp:cbmc

Recent commits

8a4b4b1... by ruben <ruben@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

Merged with trunk revision 5061. Ite encodings now available in the command line.

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/propositional-encodings@5062 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

c38e01c... by mbrain <mbrain@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

Refactor the control options a little with the aim of capturing the best current taxonimy of techniques.

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/propositional-encodings@5037 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

d46cb21... by mbrain <mbrain@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

svn merge ^/trunk

plus fix a conflict in bv_utils.cpp

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/propositional-encodings@5036 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

bacb22f... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

output the iteration number in XML

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5035 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

0998230... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

eliminate the "claim" terminology

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5034 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

6371d3b... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

clean

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5033 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

3a51575... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

big change: the c:: prefix on identifiers is gone

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5032 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

43239c7... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

new message_handler conventions

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5031 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

43defd0... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

array sizes are now decimal instead of binary

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5030 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

e521194... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

use CPROVER_PREFIX macro

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5029 6afb6bc1-c8e4-404c-8f48-9ae832c5b171