modified: src/2ls/2ls_parse_options.cpp

[sarbojit4]

modified:   src/2ls/2ls_parse_options.h
modified:   src/2ls/Makefile
new file:   src/2ls/a.dep
modified:   src/2ls/cover_goals_ext.h
modified:   src/2ls/dynamic_cfg.cpp
modified:   src/2ls/dynamic_cfg.h
modified:   src/2ls/graphml_witness_ext.cpp
modified:   src/2ls/graphml_witness_ext.h
modified:   src/2ls/horn_encoding.cpp
modified:   src/2ls/instrument_goto.cpp
modified:   src/2ls/preprocessing_util.cpp
modified:   src/2ls/show.cpp
modified:   src/2ls/show.h
modified:   src/2ls/summary_checker_ai.cpp
modified:   src/2ls/summary_checker_ai.h
modified:   src/2ls/summary_checker_base.cpp
modified:   src/2ls/summary_checker_base.h
modified:   src/2ls/summary_checker_bmc.cpp
modified:   src/2ls/summary_checker_bmc.h
modified:   src/2ls/summary_checker_kind.cpp
modified:   src/2ls/summary_checker_kind.h
new file:   src/2ls/summary_checker_nonterm.cpp
new file:   src/2ls/summary_checker_nonterm.h
new file:   src/2ls/summary_checker_rect.cpp
new file:   src/2ls/summary_checker_rect.h
modified:   src/2ls/version.h
new file:   src/config.inc.bak
modified:   src/config.inc.template
modified:   src/domains/Makefile
new file:   src/domains/a.dep
modified:   src/domains/domain.h
new file:   src/domains/heap_domain.cpp
new file:   src/domains/heap_domain.h
new file:   src/domains/heap_interval_domain.cpp
new file:   src/domains/heap_interval_domain.h
modified:   src/domains/incremental_solver.h
modified:   src/domains/lexlinrank_domain.cpp
modified:   src/domains/linrank_domain.cpp
new file:   src/domains/list_iterator.cpp
new file:   src/domains/list_iterator.h
modified:   src/domains/predabs_domain.cpp
modified:   src/domains/predabs_domain.h
modified:   src/domains/ssa_analyzer.cpp
modified:   src/domains/ssa_analyzer.h
modified:   src/domains/strategy_solver_base.h
modified:   src/domains/strategy_solver_binsearch.cpp
modified:   src/domains/strategy_solver_binsearch.h
new file:   src/domains/strategy_solver_heap.cpp
new file:   src/domains/strategy_solver_heap.h
new file:   src/domains/strategy_solver_heap_interval.cpp
new file:   src/domains/strategy_solver_heap_interval.h
new file:   src/domains/template_gen_rec_summary.cpp
new file:   src/domains/template_gen_rec_summary.h
modified:   src/domains/template_generator_base.cpp
modified:   src/domains/template_generator_base.h
modified:   src/domains/template_generator_callingcontext.cpp
modified:   src/domains/template_generator_ranking.cpp
modified:   src/domains/template_generator_summary.cpp
modified:   src/domains/tpolyhedra_domain.cpp
modified:   src/domains/tpolyhedra_domain.h
modified:   src/domains/util.cpp
modified:   src/domains/util.h
modified:   src/solver/Makefile
new file:   src/solver/a.dep
modified:   src/solver/summarizer_base.cpp
modified:   src/solver/summarizer_bw.h
modified:   src/solver/summarizer_fw.cpp
modified:   src/solver/summarizer_fw.h
new file:   src/solver/summarizer_rec_fw.cpp
new file:   src/solver/summarizer_rec_fw.h
modified:   src/solver/summary.cpp
modified:   src/solver/summary.h
modified:   src/ssa/Makefile
new file:   src/ssa/a.dep
modified:   src/ssa/address_canonizer.cpp
modified:   src/ssa/assignments.cpp
modified:   src/ssa/assignments.h
modified:   src/ssa/local_ssa.cpp
modified:   src/ssa/local_ssa.h
modified:   src/ssa/malloc_ssa.cpp
modified:   src/ssa/malloc_ssa.h
new file:   src/ssa/may_alias_analysis.cpp
new file:   src/ssa/may_alias_analysis.h
modified:   src/ssa/ssa_build_goto_trace.cpp
modified:   src/ssa/ssa_db.h
modified:   src/ssa/ssa_dereference.cpp
modified:   src/ssa/ssa_domain.cpp
new file:   src/ssa/ssa_heap_domain.cpp
new file:   src/ssa/ssa_heap_domain.h
modified:   src/ssa/ssa_inliner.cpp
modified:   src/ssa/ssa_inliner.h
modified:   src/ssa/ssa_object.cpp
modified:   src/ssa/ssa_object.h
new file:   src/ssa/ssa_pointed_objects.cpp
new file:   src/ssa/ssa_pointed_objects.h
modified:   src/ssa/ssa_unwinder.cpp
modified:   src/ssa/ssa_unwinder.h
modified:   src/ssa/ssa_value_set.cpp
modified:   src/ssa/ssa_value_set.h
new file:   src/ssa/ssa_var_collector.cpp
new file:   src/ssa/ssa_var_collector.h
modified:   src/ssa/unwindable_local_ssa.cpp
modified:   src/ssa/unwindable_local_ssa.h