Merging Summary: Model Communication implemented Disabled tests: Adhoc.*…
e592c34b0681
Actions

Authored by pgess on Nov 30 2017, 6:55 PM.

Description

Merging Summary: Model Communication implemented Disabled tests: Adhoc.* - permanently Context.full_LateContext, Context.pathDependentContext - guards and context does not play nicely. Containers.* - containers await refactoring Compilation.full_IFStatementWithVariantType:Types.full_VariantType_Switch1 - require Variants comparison

Tests: Communication.*

Details

Committed

pgess

Nov 30 2017, 6:55 PM

Parents

rXR7dd7b0310b95: .

Branches

Unknown

Tags

Unknown

References

transient.exploitation, transient.diagnostic, archived.actions

Event Timeline

pgess committed rXRe592c34b0681: Merging Summary: Model Communication implemented Disabled tests: Adhoc.*… (authored by pgess).Nov 30 2017, 6:55 PM

Changes (9)

				Path
	M			config/default.json
	M			core/control-context-v3.lp
	M			cpp/src/analysis/dfagraph.cpp
	M			cpp/src/ast.cpp
	M			cpp/src/compilation/advancedinstructions.cpp
	M			cpp/src/compilation/polymorphcompiler.h
	M			cpp/tests/context.cpp
	M			cpp/tests/polymorph.cpp
	M			scripts/dfa/polymorphism.lp