Merge master into security-scanner-support#925

Merged

kroening merged 102 commits intodiffblue:security-scanner-supportfrom

NathanJPhillips:security-scanner-support

May 16, 2017

Commits on Apr 8, 2017

Regression tests for not instrumenting built-ins
peterschrammel
committed
Ignore built-in functions and instructions inlined from built-ins during cover instrumentation
peterschrammel
committed

Commits on Apr 11, 2017

Commits on Apr 15, 2017

Configure built-in-assertions for all callers of goto_check
tautschnig
committed

Commits on Apr 18, 2017

Commits on Apr 19, 2017

Add documentation to irep_ids
reuk
committed
Merge pull request #554 from rjmunro/feature/lint-fixes
Daniel Kroening
authored
Merge pull request #497 from thk123/refactor/coding-standards-makefile-program-flags
Daniel Kroening
authored
Merge pull request #739 from NlightNFotis/bugfix/static_function
Daniel Kroening
authored
Merge branch 'master' into feature/pointer-function-parameters
Daniel Kroening
authored
Merge pull request #767 from owen-jones-diffblue/feature/pointer-function-parameters
Daniel Kroening
authored
Merge pull request #801 from smowton/smowton/feature/assertions_as_assumptions
Daniel Kroening
authored
Merge pull request #804 from peterschrammel/bugfix/exit-code-on-error
Daniel Kroening
authored
Merge pull request #808 from peterschrammel/bugfix/expr2java-boolean
Daniel Kroening
authored
Merge pull request #809 from tautschnig/base-8
Daniel Kroening
authored
Merge pull request #833 from tautschnig/fix-built-in-assertions
Daniel Kroening
authored

Commits on Apr 20, 2017

add visibility information for fields and methods
Matthias Güdemann
committed

Commits on Apr 21, 2017

Lazy loading: load static initializers for needed classes. Fixes #846
smowton
committed

Commits on Apr 24, 2017

Commits on Apr 25, 2017

Commits on Apr 26, 2017

Commits on Apr 27, 2017

Merge pull request #875 from zemanlx/feature/arch-package
Daniel Kroening
authored
Merge pull request #868 from forejtv/feature/unicode-cleanup
Daniel Kroening
authored
Merge pull request #867 from reuk/linter-complaint-master
Daniel Kroening
authored
Merge pull request #855 from smowton/fix/lazy_methods_and_clinit
Daniel Kroening
authored
Merge pull request #847 from mgudemann/feature/java_visibility
Daniel Kroening
authored

Commits on Apr 28, 2017

Merge pull request #842 from reuk/irep-ids-doc
Daniel Kroening
authored
Fix return of temporary ref in ssa_exprt
reuk
committed

Commits on May 2, 2017

comment on division by zero
Daniel Kroening
committed
Adapted DLFCN variable in CEGIS Makefile
pkesseli
committed

Commits on May 3, 2017

Merge pull request #881 from reuk/ref-to-tmp-fix
Daniel Kroening
authored
Merge pull request #859 from reuk/goto-prog-style
Daniel Kroening
authored

Commits on May 4, 2017

Clean up code
Owen Jones
committed
cegis now lives in a separate repo
Daniel Kroening
committed
cegis now lives in separate repo ; removed the cegis tests
Daniel Kroening
committed
Merge pull request #888 from owen-jones-diffblue/cleanup/using-expr2ct-convert
Daniel Kroening
authored
removed cegis.dir build from Travis
Daniel Kroening
committed
Merge pull request #862 from NathanJPhillips/bugfix/inlining-errors
Daniel Kroening
authored

Commits on May 5, 2017

fix division by zero comment
Daniel Kroening
committed

Commits on May 7, 2017

Commits on May 8, 2017

Commits on May 9, 2017

Commits on May 10, 2017

Basic harness for unit tests
thk123
committed
Add unit tests to the CI files
thk123
committed
Updated coding standard to explain unit testing
thk123
committed
Renamed exe and added exes to gitignore
thk123
committed
Merge pull request #895 from NathanJPhillips/cleanup/break-irep-hash-dependency
Daniel Kroening
authored

Commits on May 11, 2017

added multi_ary_exprt
Daniel Kroening
committed
use multi_ary_exprt
Daniel Kroening
committed
do __builtin_convertvector
Daniel Kroening
committed
Replaced get_goto_modelt with initialize_goto_model
NathanJPhillips
committed
Renamed initialize_goto_model files
NathanJPhillips
committed

Commits on May 12, 2017

__CPROVER_isinf heading
Daniel Kroening
committed
a paragraph on __CPROVER_cover
Daniel Kroening
committed
Merge pull request #292 from peterschrammel/do-not-instrument-built-ins
Daniel Kroening
authored
Enable goto_modelt move assignment
NathanJPhillips
committed
Removed copy constructor from goto_function_templatet
NathanJPhillips
committed
formatting
Daniel Kroening
committed
Coverage Criteria
Daniel Kroening
committed
beautify coverage table
Daniel Kroening
committed
beautify coverage table
Daniel Kroening
committed

Commits on May 15, 2017

Rename convert to convert_with_precedence
Owen Jones
committed
Merge pull request #916 from owen-jones-diffblue/cleanup/using-expr2ct-convert
Daniel Kroening
authored
Merge pull request #874 from thk123/feature/unit-test-framework
Daniel Kroening
authored
Merge pull request #880 from NathanJPhillips/feature/enable-goto-model-move-assignment
Daniel Kroening
authored
Merge pull request #904 from NathanJPhillips/cleanup/initialise-goto-model
Daniel Kroening
authored

Commits on May 16, 2017