Latex and Polymorph on top of late reasoning!
7cc7d3489b6f
Actions

Authored by pgess on Jul 2 2018, 5:36 PM.

Description

Latex and Polymorph on top of late reasoning!

CFA: AST correspondence(ast_scope_binding) implemented
LateReasoning:

generalized Target(not only Symbol can be Target)
LateReasoningCompiler auto expansion functionality

Interpretation: Switch late processing
Scripts: cfa/context.lp updated
Documentation: AST-correspondence.fods, latex.graphml, polymorphism.graphml, latereasoning.graphml
Tests: CFA.ASTCorrespondence_Scope_Bindings_1, Latex.*, Polymorphs.PSCU_1

Details

Committed

pgess

Aug 17 2018, 8:11 PM

Parents

rXRc5a62b40e5c4: Latex support

Branches

Unknown

Tags

Unknown

Event Timeline

pgess committed rXR7cc7d3489b6f: Latex and Polymorph on top of late reasoning! (authored by pgess).Aug 17 2018, 8:11 PM

Changes (62)

				Path
	M			config/default.json
	M			cpp/src/CMakeLists.txt
	M			cpp/src/analysis/cfagraph.cpp
	M			cpp/src/analysis/cfagraph.h
	M			cpp/src/analysis/interpretation.cpp
	M			cpp/src/analysis/interpretation.h
	M			cpp/src/analysis/typeinference.cpp
	M			cpp/src/analysis/typeinference.h
	M			cpp/src/attachments.h
	M			cpp/src/aux/latereasoning.cpp
	M			cpp/src/aux/latereasoning.h
	M			cpp/src/aux/transcend-decorators.h
	M			cpp/src/aux/xreatemanager-decorators.cpp
	M			cpp/src/aux/xreatemanager-decorators.h
	M			cpp/src/compilation/interpretation-instructions.cpp
	M			cpp/src/compilation/interpretation-instructions.h
	M			cpp/src/compilation/latereasoning.cpp
	M			cpp/src/compilation/latereasoning.h
	M			cpp/src/compilation/latex.cpp
	M			cpp/src/compilation/latex.h
	A			cpp/src/compilation/polymorph.cpp
	M			cpp/src/compilation/polymorph.h
	M			cpp/src/compilation/targetinterpretation.cpp
	M			cpp/src/compilation/targetinterpretation.h
	M			cpp/src/compilation/targets.h
	M			cpp/src/llvmlayer.cpp
	M			cpp/src/pass/cfapass.cpp
	M			cpp/src/pass/compilepass.cpp
	M			cpp/src/pass/compilepass.h
	M			cpp/src/pass/interpretationpass.cpp
	M			cpp/src/pass/interpretationpass.h
	M			cpp/src/pass/latereasoningpass.h
	M			cpp/src/query/latex.cpp
	M			cpp/src/query/latex.h
	M			cpp/src/query/polymorph.cpp
	M			cpp/src/query/polymorph.h
	M			cpp/src/transcendlayer.cpp
	M			cpp/src/transcendlayer.h
	M			cpp/tests/CMakeLists.txt
	M			cpp/tests/cfa.cpp
	M			cpp/tests/interpretation.cpp
	M			cpp/tests/latereasoning.cpp
	M			cpp/tests/latex.cpp
	M			cpp/tests/polymorph.cpp
	M			cpp/tests/types.cpp
	A			documentation-api/AST-correspondence.fods
	A			documentation-api/interpretation.graphml
	M			documentation-api/latereasoning.graphml
	A			documentation-api/latex.graphml
	A			documentation-api/polymorphism.graphml
	M			grammar/xreate.ATG
	M			scripts/cfa/context.lp
	D			scripts/cfa/control-context-v1.lp
	D			scripts/cfa/control-context-v3.lp
	D			scripts/cfa/control-context.lp
	D			scripts/cfa/latex1.xreate
	D			scripts/cfa/test2.assembly.lp
	D			scripts/cfa/test2.xreate
	D			scripts/latereasoning
	D			scripts/latereasoning/context-v1.lp
	D			scripts/latereasoning/test2.assembly.lp
	D			scripts/latereasoning/test2.xreate