clasp: changed conversion rules between Gringo::Symbol and Expression(clasp…
9f4fc0af2d9a
Actions

Authored by pgess on Aug 12 2017, 9:23 PM.

Description

clasp: changed conversion rules between Gringo::Symbol and Expression(clasp identifier treated as FUNC with zero params)

clasp: small fixes
compilepass: small refactoring
compilepass: class CompilePassCustomDecorators to allow custom compiler decorators

Details

Committed

pgess

Aug 12 2017, 9:23 PM

Parents

rXR3602dcef6135: namespace `typeinference` introduced

Branches

Unknown

Tags

Unknown

Event Timeline

pgess committed rXR9f4fc0af2d9a: clasp: changed conversion rules between Gringo::Symbol and Expression(clasp… (authored by pgess).Aug 12 2017, 9:23 PM

Changes (44)

		Path
M		config/default.json
M		cpp/src/CMakeLists.txt
M		cpp/src/analysis/aux.cpp
M		cpp/src/analysis/typeinference.cpp
M		cpp/src/ast.cpp
M		cpp/src/ast.h
M		cpp/src/attachments.h
A	(dir)	cpp/src/aux/
A	(dir)	cpp/src/aux/serialization/
V		cpp/src/{aux ← misc}/serialization/expressionserializer.cpp
V		cpp/src/{aux ← misc}/serialization/expressionserializer.h
V		cpp/src/{aux ← misc}/xreatemanager-decorators.cpp
V		cpp/src/{aux ← misc}/xreatemanager-decorators.h
V		cpp/src/{aux ← misc}/xreatemanager-modules.h
M		cpp/src/clasplayer.h
M		cpp/src/compilation/advanced.cpp
M		cpp/src/compilation/containers.cpp
M		cpp/src/compilation/containers.h
M		cpp/src/compilation/latecontextcompiler2.cpp
M		cpp/src/compilation/latecontextcompiler2.h
M		cpp/src/compilation/scopedecorators.h
M		cpp/src/compilation/targetinterpretation.cpp
M		cpp/src/compilation/targetinterpretation.h
M		cpp/src/compilation/targets.h
M		cpp/src/compilation/transformations.h
M		cpp/src/compilation/versions.h
D		cpp/src/misc
D		cpp/src/misc/serialization
V		cpp/src/{misc → aux}/serialization/expressionserializer.cpp
V		cpp/src/{misc → aux}/serialization/expressionserializer.h
V		cpp/src/{misc → aux}/xreatemanager-decorators.cpp
V		cpp/src/{misc → aux}/xreatemanager-decorators.h
V		cpp/src/{misc → aux}/xreatemanager-modules.h
M		cpp/src/pass/adhocpass.cpp
M		cpp/src/pass/compilepass.cpp
M		cpp/src/pass/compilepass.h
M		cpp/src/pass/dfapass.cpp
M		cpp/src/pass/interpretationpass.cpp
M		cpp/src/serialization.h
M		cpp/src/xreatemanager.cpp
M		cpp/tests/ExpressionSerializer.cpp
M		cpp/tests/interpretation.cpp
M		cpp/tests/modules.cpp
M		grammar/xreate.ATG