Repository Xreate a96ef1303b10

merge
a96ef1303b10
Actions

Authored by pgess on Mar 2 2019, 6:51 PM.

Description

merge

Details

Committed

pgess

Mar 2 2019, 6:51 PM

Parents

rXR05067b07fa35: working Dockerfile-debian
rXR6f8a349a3b92: Demo completed

Branches

Unknown

Tags

Unknown

References

permanent.installation

Event Timeline

pgess committed rXRa96ef1303b10: merge (authored by pgess).Mar 2 2019, 6:51 PM

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.

Commit	Author	Details	Committed
6f8a349a3b92	pgess	Demo completed	Oct 4 2018
c813eddc80b6	pgess	Virtualization demo completed	Sep 19 2018
7cc7d3489b6f	pgess	Latex and Polymorph on top of late reasoning!	Aug 17 2018
c5a62b40e5c4	pgess	Latex support	Aug 17 2018
c40f21488ca2	pgess	Typed Query implemented	Jun 20 2018
2b02e209347d	pgess	Late Reasoning basic implementation	Jun 13 2018
87e238a8cc56	pgess	Transition to OPENSUSE LEAP 15	May 30 2018
fcce9688c6ba	pgess	Enable Polymorph Compiler to use Late Reasoning	May 9 2018
f4d2cf8606a4	pgess	Late reasoning initial commit	May 4 2018
33b22fb84d87	pgess	Context reimplementation by high-level means of xreate	Apr 7 2018
0038ae343140	pgess	Syntax: `query_scope` - quering current scope Compilation: declaration…	Mar 30 2018
84055422aadd	pgess	Merging Summary: Model Exploitation implemented	Feb 22 2018
268df36b808d	pgess	Exploitation example provided: scripts/exploitation/test1.xreate	Feb 21 2018
7b977231ab37	pgess	Scope dependencies collected. Dominators analysis now based on scope…	Feb 15 2018
bafcfaa4caa0	pgess	syntax: SEQUENCE operator added ast: SequenceDecl	Jan 1 2018
e592c34b0681	pgess	Merging Summary: Model Communication implemented Disabled tests: Adhoc.*…	Nov 30 2017
7dd7b0310b95	pgess	.	Nov 30 2017
8f62df86338b	pgess	DFA Analysis: Weak Analysis introduced Introduced `weak(...)` relations to…	Nov 29 2017
1a3ee7ab4ddb	pgess	Bugfix: wrong code blocks while compiling `if ` statement	Nov 28 2017
cd1348c6de4e	pgess	Compilation of `variant`, `switch variant` with no arguments added	Nov 28 2017
d5d42e578e2c	pgess	`Switch Variant`, `Variant` compilation added	Nov 26 2017
756773c3899a	pgess	git log Reminder: revisit commit	Nov 12 2017
4a5db1fec88d	pgess	new feature: guarded polymorphism (compilation/polymorphcompiler.h) syntax…	Oct 12 2017
9cf0e3216412	pgess	documentation: API documentation added documentation-api/doxygenctl to generate…	Sep 11 2017
91fcc4ef6d0d	pgess	interpretation: `query` implemented, ability to interpret Multiindex syntax…	Sep 3 2017
93c34c04fea8	pgess	Solemn occasion: From this point forward Xreate covered by MPL2.0 licence. So…	Aug 30 2017
321173612daf	pgess	syntax: optional alias in switch variant	Aug 29 2017
599434dc3b8d	pgess	feature: variant switch interpretation: hybrid and pure interpretation of…	Aug 28 2017
496bd6a61a62	pgess	.	Aug 15 2017
579875349bc4	pgess	types: VARIANT type improved; general improvements Variant…	Aug 15 2017
9f4fc0af2d9a	pgess	clasp: changed conversion rules between Gringo::Symbol and Expression(clasp…	Aug 12 2017
3602dcef6135	pgess	namespace `typeinference` introduced	Aug 2 2017
24e90b97356c	pgess	merged transient.improvements	Aug 2 2017
61d11179eb6e	pgess	refactored to have semantic namespaces: adhoc, cfa, dfa, containers, context…	Aug 1 2017
4a5ee9e4dd65	pgess	modules: ability to provide plain module path	Jul 26 2017
90a80da04d40	pgess	new functionality: Modules(src/modules.cpp)	Jul 24 2017
61ed58239a5c	pgess	syntax: anonymous structs / tuples implemented types: old TUPLE type removed…	Apr 16 2017
84ae89b7c7dc	pgess	operators: Added struct update operator types: fixed expression's type…	Apr 8 2017
f43e4499deb1	pgess	.	Apr 1 2017
e03daa845bf5	pgess	Scripts and Core files reorganization	Apr 1 2017
bc8e129467a9	pgess	general: Expression comparison fixed pass/Interpretation: Function's evaluation…	Mar 31 2017
33df067437c8	pgess	AST: negative numbers fix. Types: i64 added. Pointer arithmetic: initial commit.	Mar 30 2017
fc0c141ab3c6	pgess	Merge branch 'transient-effects-1'	Mar 28 2017
852b91342596	pgess	.	Mar 28 2017
17ee832bedd4	pgess	Merge branch 'master' into transient-effects-1	Mar 28 2017
61ebf1379f98	pgess	.	Mar 28 2017
4dd997516c05	pgess	All tests work	Mar 28 2017
2186bfab02f1	pgess	.	Mar 25 2017
0f407f032345	pgess	tests/containers.cpp: Fixed containers tests	Mar 25 2017
27e004eb1808	pgess	Added arg COCO_FRAMES_PATH. CMake args to compile on OpenSuse: cmake…	Mar 23 2017

Changes (308)

		Path
M		.gitignore
D		coco
D		coco/gen-grammar
D		coco/xreate.ATG
M		config/default.json
D		core
D		core/aux
D		core/aux/graphs_trees_depth.lp
D		core/containers.lp
D		core/control-context-v1.lp
D		core/control-context-v3.lp
D		core/control-context.lp
D		core/dominators.lp
D		core/exploitation.lp
D		core/null.lp
D		core/precompilation.lp
M		cpp/CMakeLists.txt
M		cpp/src/CMakeLists.txt
M		cpp/src/ExternLayer.cpp
M		cpp/src/ExternLayer.h
A		cpp/src/analysis/DominatorsAnalysisProvider.cpp
A		cpp/src/analysis/DominatorsAnalysisProvider.h
D		cpp/src/analysis/DominatorsTreeAnalysisProvider.cpp
D		cpp/src/analysis/DominatorsTreeAnalysisProvider.h
V		cpp/src/analysis/{aux.cpp → utils.cpp}
D		cpp/src/analysis/aux.h
M		cpp/src/analysis/cfagraph.cpp
M		cpp/src/analysis/cfagraph.h
M		cpp/src/analysis/dfagraph.cpp
M		cpp/src/analysis/dfagraph.h
A		cpp/src/analysis/interpretation.cpp
A		cpp/src/analysis/interpretation.h
A		cpp/src/analysis/typeinference.cpp
A		cpp/src/analysis/typeinference.h
V		cpp/src/analysis/{utils.cpp ← aux.cpp}
A		cpp/src/analysis/utils.h
M		cpp/src/ast.cpp
M		cpp/src/ast.h
M		cpp/src/attachments.cpp
M		cpp/src/attachments.h
A	(dir)	cpp/src/aux/
A		cpp/src/aux/latereasoning.cpp
A		cpp/src/aux/latereasoning.h
A	(dir)	cpp/src/aux/serialization/
V		cpp/src/{aux ← }/serialization/expressionserializer.cpp
V		cpp/src/{aux ← }/serialization/expressionserializer.h
A		cpp/src/aux/transcend-decorators.h
A		cpp/src/aux/xreatemanager-decorators.cpp
A		cpp/src/aux/xreatemanager-decorators.h
A		cpp/src/aux/xreatemanager-modules.h
D		cpp/src/clasplayer.cpp
D		cpp/src/clasplayer.h
D		cpp/src/compilation/advanced.cpp
V		cpp/src/compilation/{advanced.h → advancedinstructions.h}
A		cpp/src/compilation/advancedinstructions.cpp
V		cpp/src/compilation/{advancedinstructions.h ← advanced.h}
M		cpp/src/compilation/containers.cpp
M		cpp/src/compilation/containers.h
A		cpp/src/compilation/interpretation-instructions.cpp
A		cpp/src/compilation/interpretation-instructions.h
D		cpp/src/compilation/latecontextcompiler2.cpp
D		cpp/src/compilation/latecontextcompiler2.h
A		cpp/src/compilation/latereasoning.cpp
A		cpp/src/compilation/latereasoning.h
A		cpp/src/compilation/latex.cpp
A		cpp/src/compilation/latex.h
A		cpp/src/compilation/operators.cpp
A		cpp/src/compilation/operators.h
A		cpp/src/compilation/polymorph.cpp
A		cpp/src/compilation/polymorph.h
A		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.cpp
M		cpp/src/compilation/transformations.h
A		cpp/src/compilation/transformersaturation.cpp
A		cpp/src/compilation/transformersaturation.h
A		cpp/src/compilation/versions.h
M		cpp/src/contextrule.cpp
M		cpp/src/contextrule.h
M		cpp/src/llvmlayer.cpp
M		cpp/src/llvmlayer.h
A		cpp/src/modules.cpp
A		cpp/src/modules.h
M		cpp/src/pass/abstractpass.cpp
M		cpp/src/pass/abstractpass.h
D		cpp/src/pass/adhocpass.cpp
D		cpp/src/pass/adhocpass.h
M		cpp/src/pass/cfapass.cpp
M		cpp/src/pass/cfapass.h
M		cpp/src/pass/compilepass.cpp
M		cpp/src/pass/compilepass.h
M		cpp/src/pass/dfapass.cpp
M		cpp/src/pass/dfapass.h
M		cpp/src/pass/interpretationpass.cpp
M		cpp/src/pass/interpretationpass.h
A		cpp/src/pass/latereasoningpass.h
D		cpp/src/pass/loggerpass.cpp
D		cpp/src/pass/loggerpass.h
D		cpp/src/pass/rulespass.cpp
D		cpp/src/pass/rulespass.h
A		cpp/src/pass/versionspass.cpp
A		cpp/src/pass/versionspass.h
D		cpp/src/passmanager.cpp
D		cpp/src/passmanager.h
M		cpp/src/query/containers.cpp
M		cpp/src/query/containers.h
D		cpp/src/query/context.cpp
D		cpp/src/query/context.h
A		cpp/src/query/latex.cpp
A		cpp/src/query/latex.h
A		cpp/src/query/polymorph.cpp
A		cpp/src/query/polymorph.h
D		cpp/src/serialization
M		cpp/src/serialization.h
V		cpp/src/{ → aux}/serialization/expressionserializer.cpp
V		cpp/src/{ → aux}/serialization/expressionserializer.h
D		cpp/src/serialization/expressionserializer2.cpp
D		cpp/src/serialization/expressionserializer2.h
A		cpp/src/transcendlayer.cpp
A		cpp/src/transcendlayer.h
M		cpp/src/utils.cpp
M		cpp/src/utils.h
A		cpp/src/xreatemanager.cpp
A		cpp/src/xreatemanager.h
M		cpp/tests/CMakeLists.txt
M		cpp/tests/ExpressionSerializer.cpp
D		cpp/tests/adhoc.cpp
A		cpp/tests/association.cpp
M		cpp/tests/ast.cpp
A		cpp/tests/attachments.cpp
D		cpp/tests/basic.cpp
M		cpp/tests/cfa.cpp
M		cpp/tests/compilation.cpp
M		cpp/tests/containers.cpp
D		cpp/tests/context.cpp
M		cpp/tests/dfa.cpp
A		cpp/tests/effects-communication.cpp
A		cpp/tests/effects-versions.cpp
A		cpp/tests/exploitation.cpp
M		cpp/tests/externc.cpp
M		cpp/tests/interpretation.cpp
A		cpp/tests/latereasoning.cpp
A		cpp/tests/latex.cpp
M		cpp/tests/loops.cpp
M		cpp/tests/main.cpp
A		cpp/tests/modules.cpp
A		cpp/tests/polymorph.cpp
A	(dir)	cpp/tests/supplemental/
A		cpp/tests/supplemental/versions-algorithm-data_dependency.cpp
D		cpp/tests/testClangAPI.h
A		cpp/tests/transcend.cpp
M		cpp/tests/types.cpp
A		cpp/tests/virtualization.cpp
A	(dir)	documentation-api/
A		documentation-api/AST-correspondence.fods
A		documentation-api/XreateDoxyfile
A		documentation-api/XreateDoxygenLayout.xml
A		documentation-api/containers.graphml
A		documentation-api/doxygenctl
A		documentation-api/folders.dox
A		documentation-api/interpretation.graphml
A		documentation-api/latereasoning.graphml
A		documentation-api/latex.graphml
A		documentation-api/overview.dox
A		documentation-api/polymorphism.graphml
M		documentation/Articles/declarative_patterns.remarkup
M		documentation/Articles/logic_inference.remarkup
D		documentation/Aspects
D		documentation/Aspects/Optimization
V		documentation/{Aspects → Objectives}/Optimization/component_level_optimization.remarkup
V		documentation/{Aspects → Objectives}/Optimization/index.remarkup
D		documentation/Aspects/Security_and_safety
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/access_control.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/bugs_and_review_management.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/component_guaranties.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/index.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/krivyakin.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/metrics.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/pointers_safety.remarkup
V		documentation/{Aspects/Security_and_safety → Objectives/Reliability}/unit-tests.remarkup
D		documentation/Aspects/Virtualization
V		documentation/{Aspects/Virtualization/index.remarkup → Objectives/Reliability/virtualization.remarkup}
V		documentation/{Aspects → Objectives/Adaptability}/highlevel.remarkup
V		documentation/{Aspects → Objectives/Adaptability}/refactoring.remarkup
A		documentation/Concepts/modules.remarkup
A		documentation/Concepts/versions.remarkup
M		documentation/Concepts/wells_time_machine.remarkup
A	(dir)	documentation/Objectives/
A	(dir)	documentation/Objectives/Adaptability/
V		documentation/{Objectives/Adaptability ← Aspects}/highlevel.remarkup
V		documentation/{Objectives/Adaptability ← Aspects}/refactoring.remarkup
A	(dir)	documentation/Objectives/Optimization/
V		documentation/{Objectives ← Aspects}/Optimization/component_level_optimization.remarkup
V		documentation/{Objectives ← Aspects}/Optimization/index.remarkup
A	(dir)	documentation/Objectives/Reliability/
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/access_control.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/bugs_and_review_management.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/component_guaranties.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/index.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/krivyakin.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/metrics.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/pointers_safety.remarkup
V		documentation/{Objectives/Reliability ← Aspects/Security_and_safety}/unit-tests.remarkup
V		documentation/{Objectives/Reliability/virtualization.remarkup ← Aspects/Virtualization/index.remarkup}
A		documentation/Objectives/index.remarkup
M		documentation/development/files.remarkup
M		documentation/index.remarkup
A		git-commit-template
A	(dir)	grammar/
A		grammar/gen-grammar
A		grammar/modules.ATG
A		grammar/xreate.ATG
D		installation/docker/Dockerfile
D		installation/install-dependencies-opensuse
D		problems
D		problems/basket
D		problems/basket/cond.lp
D		problems/basket/containers.lp
D		problems/basket/dependencies.lp
D		problems/basket/example-computations.lp
D		problems/basket/example-computations2.lp
D		problems/basket/gte.lp
D		problems/basket/kitchen.lp
D		problems/basket/test-list.lp
D		problems/basket/test.lp
D		problems/basket/timetable-tests.lp
D		problems/basket/timetable.lp
D		problems/code-bugs.lp
D		problems/code-containers-impl.lp
D		problems/unsafe-code.lp
D		scripts/cases
D		scripts/cases/bugs-code.xreate
D		scripts/cases/log.xreate
D		scripts/cases/unsafe-code.xreate
A	(dir)	scripts/cfa/
A		scripts/cfa/context.lp
D		scripts/containers-set-intersection.xreate
V		scripts/{containers ← testspass}/Containers_Implementation_LinkedList1-data.xml
V		scripts/{containers ← testspass}/Containers_Implementation_LinkedList1.xreate
D		scripts/containers/containers-indexed-1.xreate
A		scripts/containers/containers.lp
D		scripts/containers/containers.xreate
A	(dir)	scripts/dfa/
A		scripts/dfa/ast-attachments.lp
A		scripts/dfa/polymorphism.lp
A		scripts/dfa/propagation.lp
A		scripts/dsl/regexp.xreate
D		scripts/dsl/regexps.xreate
A	(dir)	scripts/effects-communication/
A		scripts/effects-communication/communication.lp
A		scripts/effects-communication/config.lp
A		scripts/effects-communication/example1-wr.xreate
A		scripts/effects-communication/example2-wr.xreate
A		scripts/effects-communication/example3-wrwr.xreate
A		scripts/exploitation/exploitation.lp
D		scripts/exploitation/test1-fixture.lp
A		scripts/exploitation/test1.assembly.lp
A		scripts/exploitation/test1.h
M		scripts/exploitation/test1.xreate
D		scripts/function-modifications
D		scripts/function-modifications/current
D		scripts/function-modifications/data-context.lp
D		scripts/metatests
D		scripts/metatests/aux
D		scripts/metatests/aux/graphs_trees_depth-test1.lp
D		scripts/metatests/aux/graphs_trees_depth-test2.lp
D		scripts/precompilation-1.lp
D		scripts/sprint1_environment
D		scripts/sprint1_environment/current
D		scripts/sprint1_environment/sprint1-Installation1.xreate
D		scripts/sprint1_environment/xreate-environment
D		scripts/testspass
V		scripts/{testspass → containers}/Containers_Implementation_LinkedList1-data.xml
V		scripts/{testspass → containers}/Containers_Implementation_LinkedList1.xreate
D		scripts/testspass/log.xreate
D		scripts/testspass/sprint1-Installation1.xreate
D		scripts/testspass/xml-test1.xreate
D		scripts/trash
D		scripts/trash/ftransform.li
D		scripts/trash/intersection.li2
D		scripts/trash/opcode.comments
D		scripts/trash/opcode.li
A	(dir)	scripts/virtualization/
A		scripts/virtualization/test1.assembly.lp
A		scripts/virtualization/test1.h
A		scripts/virtualization/test1.xreate
A		scripts/virtualization/test2.assembly.lp
A		scripts/virtualization/test2.xreate
A		scripts/virtualization/test3.assembly.lp
A		scripts/virtualization/test3.xreate
D		scripts/xml
D		scripts/xml/[old] xml-client.xreate
D		scripts/xml/all.xreate
D		scripts/xml/xml-test1.xreate
D		vendors/clang-codegen-private-3.8
D		vendors/clang-codegen-private-3.8/ABIInfo.h
D		vendors/clang-codegen-private-3.8/Address.h
D		vendors/clang-codegen-private-3.8/CGCall.h
D		vendors/clang-codegen-private-3.8/CGVTables.h
D		vendors/clang-codegen-private-3.8/CGValue.h
D		vendors/clang-codegen-private-3.8/CodeGenModule.h
D		vendors/clang-codegen-private-3.8/CodeGenTypeCache.h
D		vendors/clang-codegen-private-3.8/CodeGenTypes.h
D		vendors/clang-codegen-private-3.8/EHScopeStack.h
D		vendors/clang-codegen-private-3.8/SanitizerMetadata.h
M	(sub)	vendors/jeayeson