CBMC

cbmc:makefile-library

  1. Git
  2. lp:cbmc
  3. makefile-library
Last commit made on 2018-09-29
Get this branch:
git clone -b makefile-library https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
makefile-library
Repository:
lp:cbmc

Recent commits

7e81682... by Daniel Kroening <email address hidden>

trigger library build in top-level Makefile

This matches what the cmake build does, and prevents an unnecessary ~2s
delay when 'make' is called in java_bytecode.

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

Merge pull request #3052 from thk123/unit/add-load-java-class-goto-model-overload

Introduce overloads for getting a goto model out of load_java_class

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

Merge pull request #3059 from diffblue/baset-constructor

struct_typet::baset cleanup

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

use struct_typet::bases

32b7b2f... by Michael Tautschnig

Merge pull request #3058 from hannes-steffenhagen-diffblue/regression-builtin_function_frontend_checks

Some extra tests for do_function_call_symbol

17bca0a... by Daniel Kroening <email address hidden>

base types are symbol_typet

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

remove unused constructor struct_typet::baset()

762f505... by Michael Tautschnig

Merge pull request #2963 from danpoe/refactor/error-handling-solvers-smt2

Error handling cleanup in solvers/smt2

64c5d86... by Petr Bauch <email address hidden>

Some extra tests for do_function_call_symbol

These tests show that error conditions in builtin_functions.cpp
are reachable with the right input. Going forward we plan to do
some work to improve the frontend to catch errors like these earlier,
for this purpose it should be helpful to have these tests already in
place.

9e07c3f... by Michael Tautschnig

Merge pull request #2898 from sonodtt/invariant-cleanup-util_dir-s_files-part1

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