translator_vm_verifier Directory Reference

Files
	translator_decomposition_relation_ultra.cpp
	translator_delta_range_constraint_relation.cpp
	translator_extra_relations.cpp
	translator_non_native_field_relation.cpp
	translator_permutation_relation.cpp
	translator_recursive_flavor.hpp
	translator_recursive_verifier.cpp
	translator_recursive_verifier.hpp
	translator_recursive_verifier.test.cpp