Merge CBMC master with testgen-support branch#664

Closed

allredj wants to merge 90 commits intodiffblue:test-gen-supportfrom

allredj:testgen-support-merge

Commits on Feb 18, 2017

Commits on Feb 28, 2017

Remove an unnecessary loop over all instructions from flow insensitive analysis.
martin
committed
Fix similar issues in other places in pointer-analysis.
martin
committed
Remove the top variable from the cfg_dominator analysis.
martin
committed

Commits on Mar 1, 2017

initial support for miniz
Matthias Güdemann
committed
use amalgamated files from release tarball
Matthias Güdemann
committed
type cleanup in miniz
Matthias Güdemann
committed
update Makefiles / remove all references to libzip/zlib
Matthias Güdemann
committed
regression test with multiple JARs/classpath
Matthias Güdemann
committed
disable unaligned load/store for g++
Matthias Güdemann
committed
auto-fix cpplint errors with generated sed script
Matthias Güdemann
committed

Commits on Mar 2, 2017

Commits on Mar 7, 2017

Add json->irep deserialization routine

smowton
authored and
peterschrammel
committed

Commits on Mar 8, 2017

Merge pull request #600 from lucasccordeiro/fixed-string-regression
Daniel Kroening
authored
Merge pull request #598 from smowton/sss_checkcast
Daniel Kroening
authored
Merge pull request #548 from mgudemann/miniz_support
Daniel Kroening
authored
libzip/zlib download no longer needed
Daniel Kroening
committed
Fixed compilation issues on MinGW
pkesseli
committed

Commits on Mar 9, 2017

remove `<regex>` from unapproved headers in cpplint
Matthias Güdemann
committed
Merge pull request #617 from mgudemann/allow_regex_in_cpplint
Daniel Kroening
authored
allow regex to limit class files loaded from JAR
Matthias Güdemann
committed
support class load configuration via JSON file
Matthias Güdemann
committed
add jars from JSON config to classpath
Matthias Güdemann
committed
add regression test
Matthias Güdemann
committed

Commits on Mar 10, 2017

Commits on Mar 11, 2017

Merge pull request #506 from cristina-david/exception-handling
Daniel Kroening
authored

Commits on Mar 13, 2017

Merge pull request #604 from mgudemann/limit_class_loading
Daniel Kroening
authored
Merge pull request #558 from rjmunro/feature/cpplint-sed-format
Daniel Kroening
authored
Merge pull request #526 from martin-cs/fix-cfg-dominator-top
Daniel Kroening
authored
Merge pull request #570 from zemanlx/feature/compile-on-musl
Daniel Kroening
authored

Commits on Mar 15, 2017

adds java.lang.Class to load queue
Matthias Güdemann
committed
Tag the exceptional return of the entry function as output
cristina-david
committed
Merge pull request #523 from smowton/factor_fresh_symbol
Daniel Kroening
authored
Merge pull request #638 from mgudemann/bugfix/load_java_lang_class
Daniel Kroening
authored
Merge pull request #599 from smowton/sss_infix
Daniel Kroening
authored
Merge pull request #627 from NathanJPhillips/cleanup/minor
Daniel Kroening
authored
Merge pull request #578 from cristina-david/tag-exceptional-return-as-output
Daniel Kroening
authored
Merge pull request #630 from lucasccordeiro/fix-full-slice-01
Daniel Kroening
authored
Fixed crash on non-ascii diff
thk123
committed
Merge pull request #644 from thk123/bugfix/lint-non-ascii-crash
Daniel Kroening
authored

Commits on Mar 16, 2017

Missing forward declaration
thk123
committed

Commits on Mar 18, 2017

Merge pull request #650 from thk123/bugfix/missing-include
Daniel Kroening
authored
Merge pull request #527 from martin-cs/pointer-analysis-tidy
Daniel Kroening
authored
Merge pull request #487 from danpoe/dependence-graph-dominator-use-fix
Daniel Kroening
authored
map with sharing
danpoe
committed
Merge pull request #653 from danpoe/sharing-map
Daniel Kroening
authored
make tests pass on 32-bit systems
Daniel Kroening
committed
make tests pass on 32-bit systems
Daniel Kroening
committed
compilation instructions
Daniel Kroening
committed
Merge branch 'master' of github.com:diffblue/cbmc
Daniel Kroening
committed

Commits on Mar 19, 2017

we don't use libzip any more
Daniel Kroening
committed
convenient zero factories for floating point and fixed point types
Daniel Kroening
committed
re-added missing inline keywords
Daniel Kroening
committed
removed dependency on linking module
Daniel Kroening
committed
avoid a warning
Daniel Kroening
committed
new option --no-caching for use with inlining to disable caching of intermediate results
danpoe
committed
progress output
danpoe
committed
Merge pull request #654 from danpoe/inlining-no-caching
Daniel Kroening
authored
increased version number to 5.7
Daniel Kroening
committed

Commits on Mar 21, 2017

Merge remote-tracking branch 'origin/master' into HEAD
Joel Allred
committed