Virtualization demo completed
c813eddc80b6
Actions

Authored by pgess on Sep 19 2018, 7:53 PM.

Description

Virtualization demo completed

Syntax:

-'intrinsic query late'(Operator::QUERY_LATE) instruction added
- struct fields access by index(for types)

Compilation: QUERY_LATE implementation(IntrinsicQueryInstruction::processLate)
Types: type convertion {Int}->Int added, other type convertion improvements
Clang: fixed problems after transition to OpenSuse15/Clang6

Tests: Virtualization.*, Association.QueryLate*, Types.IndexNumber*

Details

Committed

pgess

Sep 19 2018, 7:56 PM

Parents

rXR7cc7d3489b6f: Latex and Polymorph on top of late reasoning!

Branches

Unknown

Tags

Unknown

Event Timeline

pgess committed rXRc813eddc80b6: Virtualization demo completed (authored by pgess).Sep 19 2018, 7:56 PM

Changes (43)

				Path
	M			config/default.json
	M			cpp/src/CMakeLists.txt
	M			cpp/src/ExternLayer.cpp
	M			cpp/src/ExternLayer.h
	M			cpp/src/analysis/cfagraph.cpp
	M			cpp/src/analysis/typeinference.cpp
	M			cpp/src/ast.cpp
	M			cpp/src/ast.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.h
	M			cpp/src/compilation/polymorph.h
	M			cpp/src/compilation/scopedecorators.h
	M			cpp/src/compilation/targetinterpretation.cpp
	M			cpp/src/compilation/targetinterpretation.h
	M			cpp/src/llvmlayer.cpp
	M			cpp/src/pass/compilepass.cpp
	M			cpp/src/pass/interpretationpass.cpp
	M			cpp/src/pass/interpretationpass.h
	M			cpp/src/query/latex.cpp
	M			cpp/src/query/latex.h
	M			cpp/src/utils.h
	M			cpp/tests/association.cpp
	M			cpp/tests/types.cpp
	M			cpp/tests/virtualization.cpp
	M			documentation-api/AST-correspondence.fods
	M			documentation-api/latereasoning.graphml
	M			documentation-api/latex.graphml
	M			documentation-api/polymorphism.graphml
	M			grammar/gen-grammar
	M			grammar/xreate.ATG
	M			scripts/cfa/context.lp
	M			scripts/containers/Containers_Implementation_LinkedList1.xreate
	M			scripts/virtualization/test1.assembly.lp
	A			scripts/virtualization/test1.h
	M			scripts/virtualization/test1.xreate
	A			scripts/virtualization/test2.assembly.lp
	M			scripts/virtualization/test2.xreate
	A			scripts/virtualization/test3.assembly.lp
	A			scripts/virtualization/test3.xreate
	D			scripts/virtualization/virtualization.lp