Repository Xreate 2b02e209347d

Late Reasoning basic implementation
2b02e209347d
Actions

Authored by pgess on Jun 13 2018, 4:49 PM.

Description

Late Reasoning basic implementation

Syntax: type slave feature added
Types: getSlaveVariants to process slave types
Transcend: LateReasoningTranscendDecorator to process late models
Compilation: LateReasoningCompiler to compile switch late statement

Tests: LateReasoning.Compilation2

Details

Committed

pgess

Jun 13 2018, 4:49 PM

Parents

rXR87e238a8cc56: Transition to OPENSUSE LEAP 15

Branches

Unknown

Tags

Unknown

Event Timeline

pgess committed rXR2b02e209347d: Late Reasoning basic implementation (authored by pgess).Jun 13 2018, 4:49 PM

Changes (37)

				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/typeinference.cpp
	M			cpp/src/analysis/typeinference.h
	M			cpp/src/analysis/utils.cpp
	M			cpp/src/ast.cpp
	M			cpp/src/ast.h
	M			cpp/src/attachments.h
	A			cpp/src/aux/latereasoning.cpp
	A			cpp/src/aux/latereasoning.h
	A			cpp/src/aux/transcend-decorators.h
	M			cpp/src/aux/xreatemanager-decorators.cpp
	M			cpp/src/compilation/latereasoning.cpp
	M			cpp/src/compilation/latereasoning.h
	M			cpp/src/compilation/targetinterpretation.h
	M			cpp/src/pass/abstractpass.h
	M			cpp/src/pass/compilepass.cpp
	M			cpp/src/pass/dfapass.cpp
	M			cpp/src/pass/dfapass.h
	A			cpp/src/pass/latereasoningpass.h
	M			cpp/src/query/polymorph.cpp
	M			cpp/src/transcendlayer.cpp
	M			cpp/src/transcendlayer.h
	M			cpp/src/xreatemanager.cpp
	M			cpp/src/xreatemanager.h
	M			cpp/tests/CMakeLists.txt
	M			cpp/tests/cfa.cpp
	V			cpp/tests/{communication.cpp → effects-communication.cpp}
	V			cpp/tests/{effects-communication.cpp ← communication.cpp}
	M			cpp/tests/latereasoning.cpp
	M			cpp/tests/main.cpp
	M			cpp/tests/polymorph.cpp
	A			cpp/tests/transcend.cpp
	A			git-commit-template
	M			grammar/xreate.ATG