Name		Name	Last commit message	Last commit date
parent directory ..
CMakeLists.txt		CMakeLists.txt
Makefile		Makefile
README.md		README.md
cegis_evaluator.cpp		cegis_evaluator.cpp
cegis_evaluator.h		cegis_evaluator.h
cegis_verifier.cpp		cegis_verifier.cpp
cegis_verifier.h		cegis_verifier.h
dump_loop_contracts.cpp		dump_loop_contracts.cpp
dump_loop_contracts.h		dump_loop_contracts.h
enumerative_loop_contracts_synthesizer.cpp		enumerative_loop_contracts_synthesizer.cpp
enumerative_loop_contracts_synthesizer.h		enumerative_loop_contracts_synthesizer.h
expr_enumerator.cpp		expr_enumerator.cpp
expr_enumerator.h		expr_enumerator.h
goto_synthesizer_languages.cpp		goto_synthesizer_languages.cpp
goto_synthesizer_main.cpp		goto_synthesizer_main.cpp
goto_synthesizer_parse_options.cpp		goto_synthesizer_parse_options.cpp
goto_synthesizer_parse_options.h		goto_synthesizer_parse_options.h
loop_contracts_synthesizer_base.h		loop_contracts_synthesizer_base.h
module_dependencies.txt		module_dependencies.txt
synthesizer_utils.cpp		synthesizer_utils.cpp
synthesizer_utils.h		synthesizer_utils.h

README.md

\ingroup module_hidden \defgroup goto-synthesizer goto-synthesizer

Folder goto-synthesizer

\author Qinheping Hu

The goto-synthesizer/ contains all processing of loop-contracts synthesizer.