Files

.githooks
cmake
doc
pkg
regression
scripts
src
unit
- analyses
- goto-programs
  - goto_program_generics
    - GenericBases.java
    - GenericFields$GenericInnerOuter$Outer$InnerClass.class
    - GenericFields$GenericInnerOuter$Outer.class
    - GenericFields$GenericInnerOuter.class
    - GenericFields$GenericMethodParameter.class
    - GenericFields$GenericMethodUninstantiatedParameter.class
    - GenericFields$GenericRewriteParameter$A.class
    - GenericFields$GenericRewriteParameter.class
    - GenericFields$MultipleGenericFields.class
    - GenericFields$NestedGenericFields.class
    - GenericFields$PairGenericField.class
    - GenericFields$SimpleGenericField.class
    - GenericFields.class
    - GenericFields.java
    - IWrapper.class
    - IntWrapper.class
    - InterfaceWrapper.class
    - PairWrapper.class
    - SimpleWrapper.class
    - SuperclassInnerInst$Inner.class
    - SuperclassInnerInst$InnerGen.class
    - SuperclassInnerInst.class
    - SuperclassInnerUninst$Inner.class
    - SuperclassInnerUninst$InnerGen.class
    - SuperclassInnerUninst$InnerThree.class
    - SuperclassInnerUninst.class
    - SuperclassInnerUninstTest.class
    - SuperclassInst.class
    - SuperclassInst2.class
    - SuperclassInst3.class
    - SuperclassMixed.class
    - SuperclassMixedTest.class
    - SuperclassUninst.class
    - SuperclassUninstTest.class
    - TwoWrapper.class
    - Wrapper.class
    - generic_bases_test.cpp
    - generic_parameters_test.cpp
  - HierarchyTest.class
  - HierarchyTest.java
  - HierarchyTestChild1.class
  - HierarchyTestChild2.class
  - HierarchyTestGrandchild.class
  - HierarchyTestInterface1.class
  - HierarchyTestInterface1.java
  - HierarchyTestInterface2.class
  - HierarchyTestInterface2.java
  - VirtualFunctionsTestChild1.class
  - VirtualFunctionsTestChild2.class
  - VirtualFunctionsTestGrandchild.class
  - VirtualFunctionsTestParent.class
  - VirtualFunctionsTestParent.java
  - class_hierarchy_graph.cpp
  - class_hierarchy_output.cpp
  - goto_trace_output.cpp
  - remove_virtual_functions_without_fallback.cpp
- java_bytecode
- pointer-analysis
- solvers
- testing-utils
- util
- .gitignore
- CMakeLists.txt
- Makefile
- catch_example.cpp
- cpp_parser.cpp
- cpp_scanner.cpp
- elf_reader.cpp
- float_utils.cpp
- ieee_float.cpp
- json.cpp
- miniBDD.cpp
- miniBDD_new.cpp
- osx_fat_reader.cpp
- sharing_map.cpp
- sharing_node.cpp
- smt2_parser.cpp
- string_utils.cpp
- unicode.cpp
- unit_tests.cpp
- wp.cpp
- wp_in1.c
.clang-format
.dir-locals.el
.editorconfig
.gitattributes
.gitignore
.travis.yml
CHANGELOG
CMakeLists.txt
CODEOWNERS
CODING_STANDARD.md
COMPILING.md
LICENSE
README.md
appveyor.yml
buildspec.yml
gcloud-travis-cbmc.json.enc