Late reasoning initial commit
f4d2cf8606a4
Actions

Authored by pgess on May 2 2018, 7:36 PM.

Description

Late reasoning initial commit

Reasoning: classes LateModel, GuardedAnnotation to reflect late reasoning
Removed: AdhocPass, ContextQuery

Tests: LateReasoning.PutAndGetLateAnnotation1

Committed

pgess

May 4 2018, 5:33 PM

Parents

Branches

Unknown

Tags

Unknown

		Path
M		config/default.json
M		cpp/src/CMakeLists.txt
V		cpp/src/analysis/{aux.cpp → utils.cpp}
V		cpp/src/analysis/{aux.h → utils.h}
M		cpp/src/analysis/cfagraph.cpp
M		cpp/src/analysis/dfagraph.cpp
V		cpp/src/analysis/{utils.cpp ← aux.cpp}
V		cpp/src/analysis/{utils.h ← aux.h}
M		cpp/src/ast.h
M		cpp/src/attachments.h
M		cpp/src/aux/xreatemanager-decorators.cpp
M		cpp/src/clasplayer.cpp
M		cpp/src/clasplayer.h
D		cpp/src/compilation/adhocfunctiondecorator.h
M		cpp/src/compilation/advancedinstructions.cpp
M		cpp/src/compilation/containers.h
M		cpp/src/compilation/targetinterpretation.cpp
M		cpp/src/contextrule.cpp
M		cpp/src/modules.cpp
D		cpp/src/pass/adhocpass.cpp
D		cpp/src/pass/adhocpass.h
M		cpp/src/pass/compilepass.cpp
M		cpp/src/pass/compilepass.h
M		cpp/src/query/containers.cpp
D		cpp/src/query/context.cpp
D		cpp/src/query/context.h
M		cpp/src/query/polymorph.cpp
M		cpp/src/xreatemanager.cpp
M		cpp/src/xreatemanager.h
M		cpp/tests/CMakeLists.txt
D		cpp/tests/adhoc.cpp
M		cpp/tests/cfa.cpp
M		cpp/tests/exploitation.cpp
A		cpp/tests/latereasoning.cpp
M		cpp/tests/virtualization.cpp
M		grammar/xreate.ATG
A	(dir)	scripts/latereasoning/
V		scripts/{latereasoning ← virtualization}/context-v1.lp
V		scripts/{latereasoning ← virtualization}/test2.assembly.lp
V		scripts/{latereasoning ← virtualization}/test2.xreate
V		scripts/{virtualization → latereasoning}/context-v1.lp
V		scripts/{virtualization → latereasoning}/test2.assembly.lp
V		scripts/{virtualization → latereasoning}/test2.xreate