[Jenkins]Jenkins

SuccessChanges

Summary

  1. Start solving the Record issue (commit: b5af1c9) (details)
  2. Changes the template to generate VDMRecord (commit: 8e73876) (details)
Commit b5af1c93b66482ff1339f01d0fce1f9d6af09c7a by idhugoid
Start solving the Record issue
 (commit: b5af1c9)
The file was addedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMRecord.java
The file was removedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Record.java
The file was modifiedcore/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/ComparisonIR.java (diff)
Commit 8e73876ae1e259b041db9a11afc7f8b93c385fa6 by idhugoid
Changes the template to generate VDMRecord
 (commit: 8e73876)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/NarrowRecordFieldAccess.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModifyStateRecFieldExplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordNesting.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/CasesStmOpCallExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/InvariantWithLet.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/BracketTypeUnionArgInExtendedExplicitOp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/ForAllSeqLoop.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/NewExpRecord.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecModExpVarExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModifyUninitialisedState.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordComparison.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/TraceVarStm.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/BlockWithInterdependentPatterns.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecModExpSimple1.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecordUsageAcrossClass.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/FieldDesignatorOfRecObjChainOfTwo.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModifyStateRecFieldImplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecModExpForAllExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordPatternWithSimplePatterns.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_expansion_specs/LetBeStRecPattern.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/PreCondAccessState.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordPatternIdentifierPatterns.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/VarExpTypeNarrowedByIsCheck.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/VarShadowingState.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/IdNormalising.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordUsage.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecordComp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ReadStateExplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordDecls.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/ForAllUnionTypeField.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/FieldExpNotRootOfApplyExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/bind_specs/LetBeStStmWithRecPattern.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/LetBeStRecPattern.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/NormaliseAccessedStateField.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/OptionallyTypedRecordFieldComparison.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/StateSingleModule.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ReadStateImplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/StateFieldModuleValueSameName.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/FieldDesignatorOfRecObj.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecordValue.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/ForAllSetLoop.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/AssignFieldOfUnionRec.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/ComplexStateSingleModule.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/FieldExpOfRecordArgToApplyExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/MapSeqStateDesignatorChangeRecField.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/RecPattern.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/CasesStmRecordPatternNamedInvariantUnionTypedExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/cloning_specs/CashDispenserPP.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/VarShadowingOpFunc.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/FieldDesignatorOfRecObjChainOfThree.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/NilRefError.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecModExpArgToApplyExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/package_specs/RecordUsageAcrossClassSimple.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordCreation.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/EmptyRecords.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/MapSeqStateDesignatorNesting.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/CasesStmRec.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/UnknownTypeArgInNewExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordWithIgnorePattern.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/traces_sl_specs/StateOtherModule.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordCycle.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordWithFieldOfUnknownType.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/FieldExpMissingRecField.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/CasesExpRecordPatternNamedInvariantUnionTypedExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecModExpInRecModExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordNoFields.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/classic_specs/CashDispenserPP.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModifyStateImplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ReadStateWithRecFieldImplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/CasesExpRec.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/main/resources/JavaTemplates/org/overture/codegen/ir/declarations/ARecordDeclIR.vm (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/FieldExpOfRecord.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/TupleWithRecord.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/RecordModUnionOneRecordIsMissingField.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/ApplyObjectDesignatorWithRecFieldObj1.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ExtendedExplicitOpCallPostCond.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ValueDef.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModuleNameSameAsStateName.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/ApplyObjectDesignatorWithRecFieldObj2.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModifyStateExplicit.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordLastFieldInt.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/LetBeStRecElem.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordUsageAcrossClass.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/RecNoFieldNames.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/pattern_specs/RecordWithTuple.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/RecordPrimitiveFields.vdmpp.result (diff)