FailedChanges

Summary

  1. moved sources to root folder c (commit: 1c56ea0) (details)
  2. updated submodules (commit: 4693351) (details)
The file was addedc/c-examples/tests/Expressions_Tests.cpp
The file was addedc/c-examples/tests/ExpressionsBoolean_Tests.cpp
The file was removedvdm/expressions/ExpressionMapTest.vdmrt
The file was removedc-examples/tests/StructOffsetTest_Tests.cpp
The file was removedgenerator-test/tests/ExpressionsSet_Tests.cpp
The file was addedc/vdm/classes/ClassABTest.vdmrt
The file was removedvdm/.project
The file was addedc/c-examples/tests/ClassIO_Tests.cpp
The file was addedc/vdm/expressions/ExpressionProduct.vdmrt
The file was removedc-examples/lib/VdmProduct.h
The file was removedc-examples/classes/B.h
The file was addedc/c-examples/tests/ClassPrivateFieldABC_Tests.cpp
The file was addedc/readme.md
The file was addedc/c-examples/records/R1.c
The file was removedc-examples/lib/IOLib.c
The file was removedvdm/expressions/ExpressionSetForCGTesting.vdmrt
The file was removedc-examples/tests/ExpressionsNumeric_Tests.cpp
The file was addedc/c-examples/lib/VdmClass.c
The file was removedc-examples/tests/ClassIO_Tests.cpp
The file was addedc/vdm/lib/IO.vdmrt
The file was removedc-examples/tests/ClassBTest.cpp
The file was addedc/c-examples/lib/VdmProduct.c
The file was addedc/vdm/expressions/ExpressionMap.vdmrt
The file was removedgenerator-test/tests/ExpressionsForloop_Tests.cpp
The file was removedvdm/classes/ModelVarBOOL.vdmrt
The file was removedvdm/expressions/ExpressionSeq.vdmrt
The file was removedc-examples/lib/VdmClass.h
The file was removedc-examples/tests/HashTable_Tests.cpp
The file was removedc-examples/lib/VdmMap.h
The file was removedc-examples/lib/VdmRecord.h
The file was addedc/c-examples/lib/VdmProduct.h
The file was addedc/vdm/expressions/ExpressionForLoop.vdmrt
The file was addedc/c-examples/tests/ClassPublicFieldABC_Tests.cpp
The file was addedc/vdm/statements/StatementClassTest.vdmrt
The file was removedc-examples/lib/VdmSet.c
The file was removedvdm/expressions/ExpressionSetForCGTestingTest.vdmrt
The file was addedc/c-examples/lib/VdmClass.h
The file was addedc/c-examples/lib/VdmRecord.h
The file was addedc/vdm/expressions/ExpressionNumericTest.vdmrt
The file was addedc/c-examples/tests/Statements_Record_Tests.cpp
The file was addedc/c-examples/lib/VdmSet.h
The file was removedc-examples/lib/VdmSeq.c
The file was removedc-examples/tests/PrettyPrint_Tests.cpp
The file was addedc/vdm/expressions/Expression.vdmrt
The file was addedc/c-examples/tests/StructOffsetTest_Tests.cpp
The file was addedc/vdm/expressions/ExpressionClassTest.vdmrt
The file was addedc/vdm/classes/Call.vdmrt
The file was addedc/vdm/classes/ModelVarBOOL.vdmrt
The file was addedc/c-examples/lib/IOLib.h
The file was removedvdm/expressions/ExpressionProductTest.vdmrt
The file was removedc-examples/tests/typeoftest.c
The file was addedc/c-examples/tests/ClassATest.cpp
The file was removedvdm/expressions/ExpressionProduct.vdmrt
The file was addedc/vdm/expressions/ExpressionForloopTest.vdmrt
The file was removedc-examples/records/R1.c
The file was addedc/vdm/expressions/ExpressionSeq.vdmrt
The file was addedc/c-examples/lib/VdmSet.c
The file was addedc/vdm/classes/B.vdmrt
The file was removedvdm/expressions/ExpressionBoolean.vdmrt
The file was addedc/vdm/lib/VDMUnit.vdmrt
The file was addedc/c-examples/lib/VdmSeq.c
The file was removedvdm/lib/IO.vdmrt
The file was addedc/vdm/expressions/ExpressionSetTest.vdmrt
The file was removedc-examples/tests/ExpressionsSetRandom_Tests.cpp
The file was removedc-examples/classes/B.c
The file was addedc/c-examples/tests/ClassPublicCallABC_Tests.cpp
The file was addedc/vdm/.project
The file was addedc/c-examples/tests/ExpressionsSet_Tests.cpp
The file was removedreadme.md
The file was removedc-examples/tests/ExpressionsSeq_Tests.cpp
The file was removedc-examples/lib/TypedValue.c
The file was removedc-examples/tests/TypeofTest_Tests.cpp
The file was removedc-examples/tests/Statements_Record_Tests.cpp
The file was addedc/c-examples/lib/IOLib.c
The file was addedc/c-examples/classes/B.c
The file was addedc/vdm/expressions/ExpressionSetForCGTestingTest.vdmrt
The file was addedc/c-examples/tests/ExpressionsSeq_Tests.cpp
The file was addedc/c-examples/tests/typeoftest.h
The file was addedc/generator-test/CMakeLists.txt
The file was removedvdm/expressions/ExpressionSet.vdmrt
The file was addedc/vdm/expressions/ExpressionCases.vdmrt
The file was removedvdm/classes/A.vdmrt
The file was removedvdm/expressions/ExpressionLet.vdmrt
The file was removedc-examples/tests/ExpressionsProduct_Tests.cpp
The file was removedc-examples/classes/C.h
The file was removedvdm/classes/D.vdmrt
The file was addedc/c-examples/tests/ExpressionsSetRandom_Tests.cpp
The file was removedc-examples/records/R1.h
The file was removedc-examples/classes/C.c
The file was removedc-examples/tests/ClassATest.cpp
The file was removedc-examples/lib/VdmClass.c
The file was addedc/c-examples/classes/A.c
The file was addedc/vdm/expressions/ExpressionBoolean.vdmrt
The file was removedvdm/expressions/ExpressionSetTest.vdmrt
The file was addedc/c-examples/lib/PatternBindMatch.h
The file was removedvdm/expressions/ExpressionCases.vdmrt
The file was removedvdm/classes/C.vdmrt
The file was removedc-examples/lib/PrettyPrint.h
The file was removedc-examples/tests/ClassPrivateCallABC_Tests.cpp
The file was addedc/c-examples/lib/Vdm.h
The file was removedc-examples/tests/ExpressionsBoolean_Tests.cpp
The file was removedvdm/statements/StatementClassTest.vdmrt
The file was removedc-examples/lib/VdmProduct.c
The file was removedvdm/expressions/Expression.vdmrt
The file was removedvdm/expressions/ExpressionMap.vdmrt
The file was removedc-examples/CMakeLists.txt
The file was removedvdm/expressions/ExpressionForLoop.vdmrt
The file was removedc-examples/lib/VdmMap.c
The file was removedvdm/expressions/ExpressionTest.vdmrt
The file was addedc/vdm/New_configuration.launch
The file was addedc/c-examples/lib/VdmMap.h
The file was addedc/c-examples/lib/TypedValue.c
The file was removedvdm/classes/Call.vdmrt
The file was addedc/c-examples/tests/HashTable_Tests.cpp
The file was removedc-examples/lib/IOLib.h
The file was addedc/vdm/expressions/ExpressionProductTest.vdmrt
The file was addedc/vdm/expressions/ExpressionSetForCGTesting.vdmrt
The file was addedc/c-examples/lib/PatternBindMatch.c
The file was removedc-examples/lib/VdmSeq.h
The file was removedc-examples/tests/ClassPublicFieldABC_Tests.cpp
The file was addedc/c-examples/lib/VdmBasicTypes.c
The file was addedc/c-examples/tests/typeoftest.c
The file was addedc/c-examples/lib/VdmMap.c
The file was removedc-examples/tests/ClassPrivateFieldABC_Tests.cpp
The file was addedc/vdm/expressions/ExpressionMapTest.vdmrt
The file was addedc/c-examples/classes/C.c
The file was addedc/c-examples/tests/TypeofTest_Tests.cpp
The file was removedc-examples/lib/PatternBindMatch.c
The file was addedc/c-examples/tests/ClassPrivateCallABC_Tests.cpp
The file was addedc/c-examples/tests/PrettyPrint_Tests.cpp
The file was removedc-examples/tests/ClassCTest.cpp
The file was removedc-examples/lib/PatternBindMatch.h
The file was addedc/c-examples/tests/ExpressionForLoop.cpp
The file was removedc-examples/lib/VdmSet.h
The file was removedc-examples/classes/A.c
The file was addedc/generator-test/tests/ExpressionsSeq_Tests.cpp
The file was removedvdm/expressions/ExpressionSeqTest.vdmrt
The file was addedc/generator-test/tests/ExpressionsSet_Tests.cpp
The file was addedc/c-examples/CMakeLists.txt
The file was addedc/vdm/classes/A.vdmrt
The file was removedc-examples/lib/TypedValue.h
The file was removedc-examples/lib/PrettyPrint.c
The file was addedc/vdm/expressions/ExpressionSet.vdmrt
The file was removedgenerator-test/tests/ExpressionsBoolean_Tests.cpp
The file was addedc/vdm/expressions/ExpressionNumeric.vdmrt
The file was addedc/vdm/expressions/ExpressionBooleanTest.vdmrt
The file was removedCMakeLists.txt
The file was addedc/c-examples/lib/PrettyPrint.h
The file was addedc/CMakeLists.txt
The file was removedc-examples/classes/A.h
The file was addedc/c-examples/lib/VdmBasicTypes.h
The file was addedc/vdm/classes/C.vdmrt
The file was removedvdm/expressions/ExpressionForloopTest.vdmrt
The file was addedc/generator-test/MethodNameMap.h
The file was removedc-examples/tests/ExpressionsSet_Tests.cpp
The file was removedc-examples/tests/typeoftest.h
The file was addedc/vdm/classes/D.vdmrt
The file was removedvdm/expressions/ExpressionNumeric.vdmrt
The file was removedgenerator-test/tests/ExpressionsSeq_Tests.cpp
The file was removedc-examples/tests/ClassPublicCallABC_Tests.cpp
The file was removedvdm/expressions/ExpressionBooleanTest.vdmrt
The file was removedc-examples/lib/VdmBasicTypes.h
The file was addedc/vdm/expressions/ExpressionSeqTest.vdmrt
The file was removedc-examples/lib/Vdm.h
The file was addedc/c-examples/records/R1.h
The file was addedc/generator-test/tests/ExpressionsBoolean_Tests.cpp
The file was addedc/c-examples/classes/B.h
The file was removedc-examples/lib/VdmBasicTypes.c
The file was addedc/generator-test/tests/ExpressionsForloop_Tests.cpp
The file was removedthird_party/googletest
The file was removedc-examples/tests/ExpressionsMap_Tests.cpp
The file was addedc/c-examples/tests/ExpressionsMap_Tests.cpp
The file was addedc/c-examples/lib/VdmSeq.h
The file was addedc/c-examples/tests/ExpressionsNumeric_Tests.cpp
The file was addedc/c-examples/tests/ExpressionsProduct_Tests.cpp
The file was addedc/c-examples/tests/ClassCTest.cpp
The file was addedc/c-examples/tests/ClassBTest.cpp
The file was removedvdm/classes/B.vdmrt
The file was addedc/c-examples/lib/TypedValue.h
The file was removedvdm/expressions/ExpressionNumericTest.vdmrt
The file was addedc/c-examples/classes/A.h
The file was removedgenerator-test/MethodNameMap.h
The file was addedc/c-examples/classes/C.h
The file was removedgenerator-test/CMakeLists.txt
The file was addedc/c-examples/lib/PrettyPrint.c
The file was removedvdm/New_configuration.launch
The file was removedc-examples/tests/Expressions_Tests.cpp
The file was removedvdm/expressions/ExpressionClassTest.vdmrt
The file was removedc-examples/tests/ExpressionForLoop.cpp
The file was addedc/vdm/expressions/ExpressionTest.vdmrt
The file was removedvdm/lib/VDMUnit.vdmrt
The file was addedc/vdm/expressions/ExpressionLet.vdmrt
The file was removedvdm/classes/ClassABTest.vdmrt
The file was addedc/third_party/googletest
The file was modified.gitmodules (diff)