commit: ba0bfc68aaeb6119999e96773d3c7b89ddc4bcbb
[log] [tgz]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Wed May 31 10:57:03 2017 +0200
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Wed May 31 10:57:03 2017 +0200
tree: 820a385f7498e5a6665e42b051f6ff668ece891e
parent: e58277b79dca4e646359ba52d68e1b21bc1810fa [diff]

Bug 511116 - [Initial Commit] EFM-Symbex

Change-Id: I0a0f6ca1048f0cbb5f8a460538b92d04b3881e4b
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>

org.eclipse.efm.symbex/.antlr-eclipse[Added - diff]
org.eclipse.efm.symbex/.cproject[Added - diff]
org.eclipse.efm.symbex/.gitignore[Added - diff]
org.eclipse.efm.symbex/.project[Added - diff]
org.eclipse.efm.symbex/CHANGELOG.md[Added - diff]
org.eclipse.efm.symbex/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/CONTRIBUTING.md[Added - diff]
org.eclipse.efm.symbex/README.md[Added - diff]
org.eclipse.efm.symbex/TODO.md[Added - diff]
org.eclipse.efm.symbex/about.html[Added - diff]
org.eclipse.efm.symbex/cmake.sh[Added - diff]
org.eclipse.efm.symbex/cmake/BuildANTLR2.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/BuildCVC4.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/BuildCVC4.cmake.bak[Added - diff]
org.eclipse.efm.symbex/cmake/BuildGMP.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/CodeCoverage.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/DetectRevision.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/DetectSystem.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/DetectToolChain.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/FindANTLR2.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/FindANTLR3.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/FindCVC4.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/FindGMP.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/GenericOptions.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/InitCoverage.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/LookForMandatoryPrereq.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/LookForSCM.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/PrintBanner.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/SelectSpecificOptions.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/SpecificOptions-Linux.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/SpecificOptions-WinMSYS2.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/SpecificOptions-WinMinGW.cmake[Added - diff]
org.eclipse.efm.symbex/cmake/antlr2-patch/lib/cpp/antlr/CharScanner.hpp[Added - diff]
org.eclipse.efm.symbex/cmake/antlr2-patch/scripts/config.guess[Added - diff]
org.eclipse.efm.symbex/cmake/antlr2-patch/scripts/config.sub[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-1.4-patch/config/boost-v2.m4[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-1.4-patch/config/boost.m4[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-1.4-patch/config/boost.m4.txt[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-1.4-patch/options/options_template.cpp[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-1.4-patch/util/integer_gmp_imp.h[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-1.4-patch/util/rational_gmp_imp.h[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-master-patch/config/boost-v2.m4[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-master-patch/config/boost.m4[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-master-patch/config/boost.m4.txt[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-master-patch/options/options_template.cpp[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-master-patch/util/integer_gmp_imp.h[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-master-patch/util/rational_gmp_imp.h[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-patch/config/boost-v2.m4[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-patch/config/boost.m4[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-patch/config/boost.m4.txt[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-patch/options/options_template.cpp[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-patch/util/integer_gmp_imp.h[Added - diff]
org.eclipse.efm.symbex/cmake/cvc4-patch/util/rational_gmp_imp.h[Added - diff]
org.eclipse.efm.symbex/ftests/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/ftests/CTestTestfile.cmake[Added - diff]
org.eclipse.efm.symbex/ftests/cmake/DefineSymbexFuncTestProject.cmake[Added - diff]
org.eclipse.efm.symbex/resources/doc/BUILD_WITH_CMAKE.md[Added - diff]
org.eclipse.efm.symbex/resources/doc/INSTALL_LINUX.md[Added - diff]
org.eclipse.efm.symbex/resources/doc/INSTALL_MSYS2.md[Added - diff]
org.eclipse.efm.symbex/resources/doc/INSTALL_SOLVERS.md[Added - diff]
org.eclipse.efm.symbex/resources/doc/README.md[Added - diff]
org.eclipse.efm.symbex/resources/doc/SYMBOLIC_EXECUTION_WORKFLOW.md[Added - diff]
org.eclipse.efm.symbex/src/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/GUIDELINES.md[Added - diff]
org.eclipse.efm.symbex/src/README.md[Added - diff]
org.eclipse.efm.symbex/src/base/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/base/ClassKindInfo.cpp[Added - diff]
org.eclipse.efm.symbex/src/base/ClassKindInfo.h[Added - diff]
org.eclipse.efm.symbex/src/base/InstanceCounter.h[Added - diff]
org.eclipse.efm.symbex/src/base/README.md[Added - diff]
org.eclipse.efm.symbex/src/base/ReferenceCounter.cpp[Added - diff]
org.eclipse.efm.symbex/src/base/ReferenceCounter.h[Added - diff]
org.eclipse.efm.symbex/src/base/SmartPointer.h[Added - diff]
org.eclipse.efm.symbex/src/base/SmartPointerUtil.cpp[Added - diff]
org.eclipse.efm.symbex/src/base/SmartPointerUtil.h[Added - diff]
org.eclipse.efm.symbex/src/base/SmartTable.h[Added - diff]
org.eclipse.efm.symbex/src/builder/Builder.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/Builder.h[Added - diff]
org.eclipse.efm.symbex/src/builder/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/builder/Loader.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/Loader.h[Added - diff]
org.eclipse.efm.symbex/src/builder/README.md[Added - diff]
org.eclipse.efm.symbex/src/builder/analysis/CommunicationDependency.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/analysis/CommunicationDependency.h[Added - diff]
org.eclipse.efm.symbex/src/builder/analysis/MachineDependency.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/analysis/MachineDependency.h[Added - diff]
org.eclipse.efm.symbex/src/builder/analysis/TransitionReachability.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/analysis/TransitionReachability.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/BaseCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/BaseCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/BaseCompilerTable.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/BaseMachineCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/BaseMachineCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/Compiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/Compiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfInteraction.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfInteraction.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfProgram.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfProgram.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfTransition.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfTransition.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfVariable.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/CompilerOfVariable.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/README.md[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/SymbolPredicate.h[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/SymbolTable.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/compiler/SymbolTable.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AbstractAvmcodeCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AbstractAvmcodeCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeActivityCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeActivityCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeAssignCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeAssignCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeCommunicationCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeCommunicationCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeContainerCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeContainerCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeCtorExpressionCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeCtorExpressionCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeExpressionCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeExpressionCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeGinacCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeGinacCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeGuardCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeGuardCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeInvokeCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeInvokeCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeIteCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeIteCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeJumpCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeJumpCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeLambdaCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeLambdaCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeLookupExprCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeLookupExprCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeLoopCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeLoopCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeMachineStatusCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeMachineStatusCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeMathFunctionCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeMathFunctionCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeMetaStatementCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeMetaStatementCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeQueueCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeQueueCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeSchedulingCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeSchedulingCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeSequenceCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeSequenceCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeUfiCastExpressionCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeUfiCastExpressionCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeVariableStatusCompiler.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/AvmcodeVariableStatusCompiler.h[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/CompilationEnvironment.cpp[Added - diff]
org.eclipse.efm.symbex/src/builder/primitive/CompilationEnvironment.h[Added - diff]
org.eclipse.efm.symbex/src/cmake/DefineSymbexProject.cmake[Added - diff]
org.eclipse.efm.symbex/src/cmake/GenerateInfoHeaders.cmake[Added - diff]
org.eclipse.efm.symbex/src/cmake/INSTALL_tmp-toc.xml[Added - diff]
org.eclipse.efm.symbex/src/cmake/INSTALL_tmp.html[Added - diff]
org.eclipse.efm.symbex/src/cmake/INSTALL_tmp.md[Added - diff]
org.eclipse.efm.symbex/src/cmake/INSTALL_tmp.xml[Added - diff]
org.eclipse.efm.symbex/src/cmake/PrintBanner.cmake[Added - diff]
org.eclipse.efm.symbex/src/collection/Array.h[Added - diff]
org.eclipse.efm.symbex/src/collection/BFContainer.cpp[Added - diff]
org.eclipse.efm.symbex/src/collection/BFContainer.h[Added - diff]
org.eclipse.efm.symbex/src/collection/Bitset.h[Added - diff]
org.eclipse.efm.symbex/src/collection/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/collection/Collection.h[Added - diff]
org.eclipse.efm.symbex/src/collection/List.h[Added - diff]
org.eclipse.efm.symbex/src/collection/Multiset.h[Added - diff]
org.eclipse.efm.symbex/src/collection/Pair.h[Added - diff]
org.eclipse.efm.symbex/src/collection/README.md[Added - diff]
org.eclipse.efm.symbex/src/collection/Set.h[Added - diff]
org.eclipse.efm.symbex/src/collection/Typedef.h[Added - diff]
org.eclipse.efm.symbex/src/collection/Vector.h[Added - diff]
org.eclipse.efm.symbex/src/common/AvmObject.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/AvmObject.h[Added - diff]
org.eclipse.efm.symbex/src/common/AvmPointer.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/AvmPointer.h[Added - diff]
org.eclipse.efm.symbex/src/common/BF.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/BF.h[Added - diff]
org.eclipse.efm.symbex/src/common/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/common/Element.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/Element.h[Added - diff]
org.eclipse.efm.symbex/src/common/NamedElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/NamedElement.h[Added - diff]
org.eclipse.efm.symbex/src/common/README.md[Added - diff]
org.eclipse.efm.symbex/src/common/RunnableElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/RunnableElement.h[Added - diff]
org.eclipse.efm.symbex/src/common/SerializerFeature.cpp[Added - diff]
org.eclipse.efm.symbex/src/common/SerializerFeature.h[Added - diff]
org.eclipse.efm.symbex/src/computer/BaseEnvironment.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/BaseEnvironment.h[Added - diff]
org.eclipse.efm.symbex/src/computer/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/computer/EnvironmentFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/EnvironmentFactory.h[Added - diff]
org.eclipse.efm.symbex/src/computer/EvaluationEnvironment.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/EvaluationEnvironment.h[Added - diff]
org.eclipse.efm.symbex/src/computer/ExecutionDataFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/ExecutionDataFactory.h[Added - diff]
org.eclipse.efm.symbex/src/computer/ExecutionEnvironment.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/ExecutionEnvironment.h[Added - diff]
org.eclipse.efm.symbex/src/computer/PathConditionProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/PathConditionProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/computer/instruction/AvmBytecode.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/instruction/AvmBytecode.h[Added - diff]
org.eclipse.efm.symbex/src/computer/instruction/AvmInstruction.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/instruction/AvmInstruction.h[Added - diff]
org.eclipse.efm.symbex/src/computer/instruction/InstructionEnvironment.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/instruction/InstructionEnvironment.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmActivityPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmActivityPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmAssignPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmAssignPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmBaseConcurrencyPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmBaseConcurrencyPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmBitwisePrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmBitwisePrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmBufferPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmBufferPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCommunicationFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCommunicationFactory.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCommunicationPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCommunicationPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCommunicationRdvPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCommunicationRdvPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmConcurrencyPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmConcurrencyPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCtorPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmCtorPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmExpressionPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmExpressionPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmGuardPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmGuardPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmInputEnabledPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmInputEnabledPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmInvokePrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmInvokePrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmItePrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmItePrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmIterationPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmIterationPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmJumpPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmJumpPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmLookupPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmLookupPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmMathPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmMathPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmMetaPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmMetaPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmPrimitiveProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmPrimitiveProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmSchedulingPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmSchedulingPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmSequencePrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmSequencePrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmStatusPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmStatusPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmSynchronizationFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/AvmSynchronizationFactory.h[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/BaseAvmPrimitive.cpp[Added - diff]
org.eclipse.efm.symbex/src/computer/primitive/BaseAvmPrimitive.h[Added - diff]
org.eclipse.efm.symbex/src/fam/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/fam/README.md[Added - diff]
org.eclipse.efm.symbex/src/fam/api/AbstractProcessorUnit.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/AbstractProcessorUnit.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/CompositeControllerUnit.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/CompositeControllerUnit.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ExtenderProcessorUnit.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ExtenderProcessorUnit.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/IProcessorUnitTest.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/IProcessorUnitTest.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/MainProcessorUnit.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/MainProcessorUnit.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ProcessorUnitAutoRegistration.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ProcessorUnitAutoRegistration.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ProcessorUnitFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ProcessorUnitFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ProcessorUnitRepository.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/api/ProcessorUnitRepository.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageAbstractView.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageAbstractView.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageDirectiveTraceBuilder.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageDirectiveTraceBuilder.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageHeuristicProperty.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageHeuristicProperty.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageOneTraceDriver.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageOneTraceDriver.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageStatistics.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageTraceDriver.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageTraceDriver.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageTraceView.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageTraceView.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageTransitionView.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/AvmCoverageTransitionView.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/BaseCoverageFilter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/BaseCoverageFilter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/FormulaCoverageFilter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/FormulaCoverageFilter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/StatemachineReachability.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/StatemachineReachability.h[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/TransitionCoverageFilter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/coverage/TransitionCoverageFilter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/debug/AvmDebugProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/debug/AvmDebugProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/debug/IDebugProcessorProvider.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/debug/IDebugProcessorProvider.h[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/AvmHitOrJumpProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/AvmHitOrJumpProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/BaseHitProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/BaseHitProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/HitOrderedProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/HitOrderedProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/HitUnorderedProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/hitorjump/HitUnorderedProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/queue/ExecutionQueue.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/queue/ExecutionQueue.h[Added - diff]
org.eclipse.efm.symbex/src/fam/queue/WaitingBasicStrategy.h[Added - diff]
org.eclipse.efm.symbex/src/fam/queue/WaitingStrategy.h[Added - diff]
org.eclipse.efm.symbex/src/fam/queue/WaitingStrategyBLOCK.h[Added - diff]
org.eclipse.efm.symbex/src/fam/queue/WaitingStrategyWEIGHT.h[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/BaseDataComparator.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/BaseDataComparator.h[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/ConfigurationComparator.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/ConfigurationComparator.h[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/DataSolverComparator.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/DataSolverComparator.h[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/DataSyntaxicEquivalence.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/DataSyntaxicEquivalence.h[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/PathScopeIterator.h[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/RedundancyFilter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/redundancy/RedundancyFilter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/serializer/GraphVizExecutionGraphSerializer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/serializer/GraphVizExecutionGraphSerializer.h[Added - diff]
org.eclipse.efm.symbex/src/fam/serializer/GraphVizStatemachineSerializer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/serializer/GraphVizStatemachineSerializer.h[Added - diff]
org.eclipse.efm.symbex/src/fam/serializer/Serializer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/serializer/Serializer.h[Added - diff]
org.eclipse.efm.symbex/src/fam/testing/OfflineTestProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/testing/OfflineTestProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/AbstractTraceBuilder.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/AbstractTraceBuilder.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/AbstractTraceFormatter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/AbstractTraceFormatter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/AvmTraceGenerator.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/AvmTraceGenerator.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/BasicTraceBuilder.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/BasicTraceBuilder.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/BasicTraceFormatter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/BasicTraceFormatter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TTCNTitanTraceFormatter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TTCNTitanTraceFormatter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TTCNTraceFormatter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TTCNTraceFormatter.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TraceManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TraceManager.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TraceNormalizer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TraceNormalizer.h[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TraceNumerizer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fam/trace/TraceNumerizer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/fml/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/BaseBufferForm.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/BaseBufferForm.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/BaseBufferQueue.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/BaseBufferQueue.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/BroadcastBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/BroadcastBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/FifoBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/FifoBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/LifoBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/LifoBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/MultiFifoBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/MultiFifoBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/MultiLifoBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/MultiLifoBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/MultisetBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/MultisetBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/RamBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/RamBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/SetBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/buffer/SetBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/Boolean.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/Boolean.h[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/BuiltinForm.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/BuiltinForm.h[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/Character.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/Character.h[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/Identifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/Identifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/QualifiedIdentifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/QualifiedIdentifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/String.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/builtin/String.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/BasePointer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/BasePointer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/BehavioralElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/BehavioralElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/CompiledElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/CompiledElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/LocationElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/LocationElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/ModifierElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/ModifierElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/ObjectClassifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/ObjectClassifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/ObjectElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/ObjectElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/PropertyElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/PropertyElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/common/SpecifierElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/SpecifierElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/common/TraceableElement.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/common/TraceableElement.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/AvmLambda.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/AvmLambda.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/AvmProgram.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/AvmProgram.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/AvmTransition.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/AvmTransition.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/BaseAvmProgram.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/BaseAvmProgram.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/BaseCompiledForm.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/BaseCompiledForm.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/BaseInstanceForm.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/BaseInstanceForm.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ComRouteData.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ComRouteData.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableForm.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableForm.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableLib.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableLib.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableQuery.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableQuery.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableSystem.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/ExecutableSystem.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfBuffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfBuffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfConnect.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfConnect.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfData.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfData.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfMachine.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfMachine.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfPort.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/InstanceOfPort.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/Router.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/Router.h[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/RoutingData.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/executable/RoutingData.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/AvmCode.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/AvmCode.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/AvmCodeFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/AvmCodeFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/BuiltinArray.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/BuiltinArray.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/BuiltinContainer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/BuiltinContainer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/BuiltinQueue.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/BuiltinQueue.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionComparer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionComparer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionConstant.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionConstant.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionConstructor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionConstructor.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionConstructorImpl.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionConstructorImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionEval.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionEval.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionSimplifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionSimplifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionTypeChecker.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/ExpressionTypeChecker.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/StatementConstructor.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/StatementConstructor.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/StatementFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/StatementFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/StatementTypeChecker.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/expression/StatementTypeChecker.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/BehavioralPart.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/BehavioralPart.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Buffer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Buffer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Channel.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Channel.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ComPoint.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ComPoint.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ComProtocol.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ComProtocol.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ComRoute.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ComRoute.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/CompositePart.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/CompositePart.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Connector.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Connector.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/DataType.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/DataType.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/InstanceSpecifierPart.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/InstanceSpecifierPart.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/InteractionPart.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/InteractionPart.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Machine.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Machine.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/MachineQuery.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/MachineQuery.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ModelOfComputationPart.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/ModelOfComputationPart.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Package.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Package.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Port.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Port.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/PropertyPart.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/PropertyPart.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Routine.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Routine.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/System.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/System.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Transition.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Transition.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/TransitionMoc.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/TransitionMoc.h[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Variable.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/infrastructure/Variable.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmAnalysis.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmAnalysis.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmLang.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmLang.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationExpression.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationExpression.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationMachine.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationMachine.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationVariable.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/AvmOperationVariable.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/IComPoint.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/IComPoint.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/ITracePoint.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/ITracePoint.h[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/ITypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/lib/ITypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Float.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Float.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Integer.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Integer.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Number.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Number.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Numeric.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Numeric.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Rational.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/Rational.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/basic/FloatImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/basic/IntegerImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/basic/NumericImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/basic/RationalImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/boost/FloatImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/boost/IntegerImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/boost/NumericImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/boost/RationalImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/gmp/FloatImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/gmp/IntegerImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/gmp/NumericImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/numeric/gmp/RationalImpl.h[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/Operator.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/Operator.h[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/OperatorLib.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/OperatorLib.h[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/OperatorManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/OperatorManager.h[Added - diff]
org.eclipse.efm.symbex/src/fml/operator/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionConfiguration.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionConfiguration.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionContext.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionContext.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionContextFlags.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionContextFlags.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionData.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionData.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionInformation.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionInformation.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionLocation.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionLocation.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionSynchronizationPoint.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/ExecutionSynchronizationPoint.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/LocalRuntime.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/LocalRuntime.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/Message.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/Message.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeDef.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeDef.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeForm.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeForm.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeID.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeID.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeLib.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeLib.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeQuery.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/RuntimeQuery.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/TableOfData.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/TableOfData.h[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/TableOfRuntimeFormState.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/runtime/TableOfRuntimeFormState.h[Added - diff]
org.eclipse.efm.symbex/src/fml/symbol/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/symbol/Symbol.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/symbol/Symbol.h[Added - diff]
org.eclipse.efm.symbex/src/fml/symbol/TableOfSymbol.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/symbol/TableOfSymbol.h[Added - diff]
org.eclipse.efm.symbex/src/fml/template/TemplateFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/template/TemplateFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fml/template/TimedMachine.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/template/TimedMachine.h[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/BasicTraceParser.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/BasicTraceParser.h[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceChecker.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceChecker.h[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceFactory.h[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceFilter.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceFilter.h[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TracePoint.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TracePoint.h[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceSequence.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/trace/TraceSequence.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/BaseSymbolTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/BaseSymbolTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/BaseTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/BaseTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/ChoiceTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/ChoiceTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/ClassTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/ClassTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/ContainerTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/ContainerTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/EnumTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/EnumTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/IntervalTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/IntervalTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/README.md[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TableOfTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TableOfTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TypeAliasSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TypeAliasSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TypeManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TypeManager.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/TypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/type/UnionTypeSpecifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/type/UnionTypeSpecifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/Query.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/Query.h[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/UniFormIdentifier.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/UniFormIdentifier.h[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/WObject.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/WObject.h[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/WPropertyImpl.cpp[Added - diff]
org.eclipse.efm.symbex/src/fml/workflow/WPropertyImpl.h[Added - diff]
org.eclipse.efm.symbex/src/main/AvmLauncher.cpp[Added - diff]
org.eclipse.efm.symbex/src/main/AvmLauncher.h[Added - diff]
org.eclipse.efm.symbex/src/main/AvmMain.cpp[Added - diff]
org.eclipse.efm.symbex/src/main/AvmMain.h[Added - diff]
org.eclipse.efm.symbex/src/main/README.md[Added - diff]
org.eclipse.efm.symbex/src/main/SignalHandler.cpp[Added - diff]
org.eclipse.efm.symbex/src/main/SignalHandler.h[Added - diff]
org.eclipse.efm.symbex/src/main/main.cpp[Added - diff]
org.eclipse.efm.symbex/src/main/version.h.in[Added - diff]
org.eclipse.efm.symbex/src/parser/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/parser/ParserManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/parser/ParserManager.h[Added - diff]
org.eclipse.efm.symbex/src/parser/README.md[Added - diff]
org.eclipse.efm.symbex/src/parser/model/ParserUtil.cpp[Added - diff]
org.eclipse.efm.symbex/src/parser/model/ParserUtil.h[Added - diff]
org.eclipse.efm.symbex/src/parser/model/fml.g[Added - diff]
org.eclipse.efm.symbex/src/parser/model/fml.tokens[Added - diff]
org.eclipse.efm.symbex/src/parser/model/fmlLexer.c[Added - diff]
org.eclipse.efm.symbex/src/parser/model/fmlLexer.h[Added - diff]
org.eclipse.efm.symbex/src/parser/model/fmlParser.c[Added - diff]
org.eclipse.efm.symbex/src/parser/model/fmlParser.h[Added - diff]
org.eclipse.efm.symbex/src/parser/workflow/.gitignore[Added - diff]
org.eclipse.efm.symbex/src/parser/workflow/Workflow.g[Added - diff]
org.eclipse.efm.symbex/src/printer/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/printer/Manipulators.cpp[Added - diff]
org.eclipse.efm.symbex/src/printer/Manipulators.h[Added - diff]
org.eclipse.efm.symbex/src/printer/OutStream.cpp[Added - diff]
org.eclipse.efm.symbex/src/printer/OutStream.h[Added - diff]
org.eclipse.efm.symbex/src/printer/WrapStream.cpp[Added - diff]
org.eclipse.efm.symbex/src/printer/WrapStream.h[Added - diff]
org.eclipse.efm.symbex/src/sew/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/sew/Configuration.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/Configuration.h[Added - diff]
org.eclipse.efm.symbex/src/sew/README.md[Added - diff]
org.eclipse.efm.symbex/src/sew/SEW.md[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexController.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexController.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexControllerRequestManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexControllerRequestManager.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexControllerRequestStatus.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexControllerUnitManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexControllerUnitManager.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexDispatcher.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexDispatcher.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexEngine.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexEngine.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexEventManager.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexEventManager.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexJob.h[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexProcessor.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/SymbexProcessor.h[Added - diff]
org.eclipse.efm.symbex/src/sew/Workflow.cpp[Added - diff]
org.eclipse.efm.symbex/src/sew/Workflow.h[Added - diff]
org.eclipse.efm.symbex/src/solver/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/solver/CVC4Solver.cpp[Added - diff]
org.eclipse.efm.symbex/src/solver/CVC4Solver.h[Added - diff]
org.eclipse.efm.symbex/src/solver/OmegaSolver.cpp[Added - diff]
org.eclipse.efm.symbex/src/solver/OmegaSolver.h[Added - diff]
org.eclipse.efm.symbex/src/solver/README.md[Added - diff]
org.eclipse.efm.symbex/src/solver/Z3Solver.cpp[Added - diff]
org.eclipse.efm.symbex/src/solver/Z3Solver.h[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SatSolver.cpp[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SatSolver.h[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SmtSolver.h[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SolverDef.cpp[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SolverDef.h[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SolverFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/solver/api/SolverFactory.h[Added - diff]
org.eclipse.efm.symbex/src/svninfo.mk[Added - diff]
org.eclipse.efm.symbex/src/util/BoostFactory.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/BoostFactory.h[Added - diff]
org.eclipse.efm.symbex/src/util/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/src/util/ExecutionTime.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/ExecutionTime.h[Added - diff]
org.eclipse.efm.symbex/src/util/README.md[Added - diff]
org.eclipse.efm.symbex/src/util/avm_assert.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_assert.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_debug.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_debug.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_injector.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_injector.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_numeric.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_numeric.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_string.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_string.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_types.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_types.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_uri.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_uri.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_util.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_util.h[Added - diff]
org.eclipse.efm.symbex/src/util/avm_vfs.cpp[Added - diff]
org.eclipse.efm.symbex/src/util/avm_vfs.h[Added - diff]
org.eclipse.efm.symbex/src/util/confs.h.in[Added - diff]
org.eclipse.efm.symbex/utests/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/utests/base/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/utests/base/t_InstanceCounter.cpp[Added - diff]
org.eclipse.efm.symbex/utests/base/t_base_runner.cpp[Added - diff]
org.eclipse.efm.symbex/utests/cmake/DefineSymbexUnitTestProject.cmake[Added - diff]
org.eclipse.efm.symbex/utests/cmake/LookForSymbexLibs.cmake[Added - diff]
org.eclipse.efm.symbex/utests/fml/CMakeLists.txt[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_ExpressionConstructor.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_Float.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_Integer.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_Numeric.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_Rational.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_fml_runner.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_solver_ginac.cpp[Added - diff]
org.eclipse.efm.symbex/utests/fml/t_solver_yices.cpp[Added - diff]
org.eclipse.efm.symbex/utests/to_migrate/to_migrate.zip[Added - diff]

778 files changed

tree: 820a385f7498e5a6665e42b051f6ff668ece891e

README.md

EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform