package info (click to toggle)
cbmc 4.9-4
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 40,588 kB
  • ctags: 19,198
  • sloc: cpp: 185,860; ansic: 16,162; yacc: 5,343; lex: 4,518; makefile: 954; pascal: 506; sh: 318; perl: 213; java: 206

Folder: goto-symex

d .. (parent)
- - rw-r--r-- 942 Makefile
- - rw-r--r-- 2,614 adjust_float_expressions.cpp
- - rw-r--r-- 341 adjust_float_expressions.h
- - rw-r--r-- 3,477 auto_objects.cpp
- - rw-r--r-- 8,108 build_goto_trace.cpp
- - rw-r--r-- 530 build_goto_trace.h
- - rw-r--r-- 426 dynamic_allocation.h
- - rw-r--r-- 1,282 goto_symex.cpp
- - rw-r--r-- 8,124 goto_symex.h
- - rw-r--r-- 22,521 goto_symex_state.cpp
- - rw-r--r-- 9,634 goto_symex_state.h
- - rw-r--r-- 4,529 memory_model.cpp
- - rw-r--r-- 1,130 memory_model.h
- - rw-r--r-- 1,687 memory_model_pso.cpp
- - rw-r--r-- 737 memory_model_pso.h
- - rw-r--r-- 9,314 memory_model_sc.cpp
- - rw-r--r-- 1,171 memory_model_sc.h
- - rw-r--r-- 4,988 memory_model_tso.cpp
- - rw-r--r-- 840 memory_model_tso.h
- - rw-r--r-- 8,083 partial_order_concurrency.cpp
- - rw-r--r-- 10,393 partial_order_concurrency.h
- - rw-r--r-- 5,752 postcondition.cpp
- - rw-r--r-- 586 postcondition.h
- - rw-r--r-- 4,375 precondition.cpp
- - rw-r--r-- 622 precondition.h
- - rw-r--r-- 827 renaming_ns.h
- - rw-r--r-- 8,548 slice.cpp
- - rw-r--r-- 954 slice.h
- - rw-r--r-- 17,915 slice_by_trace.cpp
- - rw-r--r-- 1,739 slice_by_trace.h
- - rw-r--r-- 12,510 symex_assign.cpp
- - rw-r--r-- 3,219 symex_atomic_section.cpp
- - rw-r--r-- 14,771 symex_builtin_functions.cpp
- - rw-r--r-- 1,483 symex_catch.cpp
- - rw-r--r-- 2,576 symex_clean_expr.cpp
- - rw-r--r-- 2,081 symex_dead.cpp
- - rw-r--r-- 2,407 symex_decl.cpp
- - rw-r--r-- 10,241 symex_dereference.cpp
- - rw-r--r-- 2,615 symex_dereference_state.cpp
- - rw-r--r-- 1,124 symex_dereference_state.h
- - rw-r--r-- 14,238 symex_function_call.cpp
- - rw-r--r-- 10,744 symex_goto.cpp
- - rw-r--r-- 9,022 symex_main.cpp
- - rw-r--r-- 4,157 symex_other.cpp
- - rw-r--r-- 1,051 symex_slice_class.h
- - rw-r--r-- 3,241 symex_start_thread.cpp
- - rw-r--r-- 629 symex_target.cpp
- - rw-r--r-- 4,084 symex_target.h
- - rw-r--r-- 23,920 symex_target_equation.cpp
- - rw-r--r-- 8,371 symex_target_equation.h
- - rw-r--r-- 1,499 symex_throw.cpp