Enable Polymorph Compiler to use Late Reasoning
fcce9688c6ba
Actions

Authored by pgess on May 9 2018, 12:19 PM.

Description

Enable Polymorph Compiler to use Late Reasoning

Compilation: PolymorphCodeScopeUnit adapted
Reasoning:

PolymorphQuery adapted
Changed/introduced templates dfa_callfn(SymbRet, FnName), dfa_callguard(SymbRet, Guard), weak/dfa_callargs(SymbRet, argFormal, argActual)

-SymbolGeneralized introduced

Tests:Polymorphs.LateCall1

Committed

pgess

May 9 2018, 12:19 PM

Parents

rXRf4d2cf8606a4: Late reasoning initial commit

Branches

Unknown

Tags

Unknown

				Path
	M			config/default.json
	M			cpp/src/CMakeLists.txt
	M			cpp/src/analysis/dfagraph.cpp
	M			cpp/src/analysis/dfagraph.h
	M			cpp/src/analysis/utils.cpp
	M			cpp/src/analysis/utils.h
	M			cpp/src/attachments.h
	M			cpp/src/clasplayer.cpp
	M			cpp/src/clasplayer.h
	V			cpp/src/compilation/{polymorph.h ← polymorphcompiler.h}
	V			cpp/src/compilation/{polymorphcompiler.h → polymorph.h}
	M			cpp/src/compilation/scopedecorators.h
	M			cpp/src/pass/compilepass.cpp
	M			cpp/src/pass/dfapass.cpp
	M			cpp/src/query/polymorph.cpp
	M			cpp/src/query/polymorph.h
	M			cpp/tests/latereasoning.cpp
	M			cpp/tests/polymorph.cpp
	M			scripts/dfa/polymorphism.lp
	M			scripts/dfa/propagation.lp
	M			scripts/exploitation/test1.assembly.lp
	M			scripts/latereasoning/test2.assembly.lp