SuccessChanges

Summary

  1. -  Expanded is_ support to cover basic types. -  Addresses #108. (commit: 3ddd752) (details)
  2. -  Runtime support for is_ test on basic types plus tests. -  Addresses (commit: c426bc3) (details)
  3. -  Is sequence of int support. -  Addresses #108. (commit: f534a26) (details)
  4. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - (commit: 812dc20) (details)
  5. Large is construct for basic built-in types. (commit: e445135) (details)
  6. Tests for deep nesting. (commit: d62531a) (details)
  7. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (commit: 850f4fa) (details)
  8. WIP support for records in is queries. (commit: daef3e2) (details)
  9. WIP renaming VDM MATH library. (commit: 31dc1ac) (details)
  10. Use transformation to emit "is" checks (commit: c10cef4) (details)
  11. Remove templates that are not needed anymore #108 (commit: 3a7ad16) (details)
  12. Test that is_nat generates correctly #108 (commit: a42e8d0) (details)
  13. Add support for is_nat1 #108 (commit: d9cec88) (details)
  14. Support is_int #108 (commit: ed8de05) (details)
  15. Support is_bool #108 (commit: 897c1ad) (details)
  16. Support is_rat #108 (commit: e159274) (details)
  17. Support is_char #108 (commit: 197a99a) (details)
  18. Support is_token #108 (commit: c0c1654) (details)
  19. Support is_real #108 (commit: c8b8070) (details)
  20. -  WIP is_ query on arbitrary types. -  Addresses #108. (commit: 2090488) (details)
  21. Emit class association file (commit: c87f064) (details)
  22. Add "generated file" comment to VdmClassHierarchy.h (commit: cf05c88) (details)
  23. -  Support for arbitrary sequence and set is_ queries. -  Addresses (commit: 5a708e0) (details)
  24. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (commit: eab9362) (details)
  25. -  Runtime library support for is checks on product, class and record (commit: 69c90e9) (details)
  26. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (commit: af88a94) (details)
  27. -  No longer emitting global field numFields_X as it is no longer used. (commit: a76753f) (details)
  28. Comment cleanup. (commit: 858fa3d) (details)
  29. -  Runtime library support for issameclass. -  Addresses #108. (commit: 9b720d0) (details)
  30. -  Fixed name of sameclass query in runtime library. -  Addresses *108. (commit: ba0dc11) (details)
  31. -  Product test for (int * char) * int. -  Addresses #108. (commit: f44d07b) (details)
  32. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (commit: e5990c4) (details)
  33. -  Runtime library support for isofbaseclass. -  Addresses #108. (commit: 374d65f) (details)
  34. -  Runtime library support for samebaseclass. -  Addresses #108. (commit: 1b29f53) (details)
  35. Class association should not consider standard library classes (commit: dce9001) (details)
  36. Update distribution code-generator to emit class association file (commit: ef8433d) (details)
  37. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (commit: 8360294) (details)
  38. -  Map composition support in the runtime library. -  Addresses #108. (commit: eacd08d) (details)
  39. -  GC version of map composition in the runtime library. -  Addresses (commit: 0b15451) (details)
  40. -  Map iteration support in the runtime library. -  Addresses #108. (commit: 03ef0a6) (details)
  41. -  Reducing flash footprint. -  Addresses #120. (commit: e484cc4) (details)
  42. -  Support for is seq1. -  Addresses #108. (commit: ba7ac73) (details)
  43. -  Support for is set1 type queries. -  More tests for is seq1. - (commit: 2f7b002) (details)
  44. -  Runtime support for is map queries. -  Addresses #108. (commit: 7ec244b) (details)
  45. Add initial support for type encoding #108 (commit: 60bfb5c) (details)
  46. Code cleanup, comments. (commit: 43ec87d) (details)
  47. Update type encoder to support set1, seq1 and map (commit: 8211423) (details)
  48. -  Reduction in flash footprint:  maps. -  Addresses #120. (commit: 3081624) (details)
  49. Address wrong assumption in the distributed code-generator (commit: 887d559) (details)
  50. -  Flash footprint reduction, sequences. -  Addresses #120. (commit: 638e9ef) (details)
  51. -  Flash footprint reduction, sets. -  Addresses #120. (commit: ec28ff2) (details)
  52. -  Eliminating some compiler warnings in distribution runtime. - (commit: baf6778) (details)
  53. -  Bugfix. -  Addresses #120. (commit: d68c28b) (details)
  54. -  WIP runtime library support for optional types encoding. -  Addresses (commit: f12f3a8) (details)
  55. -  Runtime library support for is queries on optional types. - (commit: 6f5a2ed) (details)
  56. -  Runtime support for eliminating is queries based on NO_IS flag. - (commit: dc54b7c) (details)
  57. Emit NO_IS flag in model features file #108 (commit: f15c330) (details)
  58. Support exists1 quantifier #108 (commit: d885aa3) (details)
  59. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (commit: fcab775) (details)
  60. Support preconditions #108 (commit: aaf9e4f) (details)
  61. Support encoding of optional types #108 (commit: 4831a70) (details)
  62. Temporarily build against Overture 2.5.3-SNAPSHOT (commit: 169d311) (details)
  63. Update VDM2C to work with newest Overture (commit: 4e7ab1e) (details)
  64. Support map iteration #108 (commit: 6c440d7) (details)
  65. Support map composition #108 (commit: d45fd36) (details)
  66. Support iota #108 (commit: ac2f061) (details)
  67. Support non-deterministic statements #108 (commit: 9045250) (details)
  68. Support isofbaseclass #108 (commit: e31f0d5) (details)
  69. Support isofclass operator #108 (commit: c1c4e58) (details)
  70. Support samebaseclass operator #108 (commit: e69402e) (details)
  71. Support sameclass operator #108 (commit: 4872b49) (details)
  72. -  Typo in type encoding in test. -  Addresses #108. (commit: 38e82bd) (details)
  73. Work on checking union types in is_ expressions #108 (commit: c5ad1e1) (details)
  74. Emit type encoding for is_* checks #108 (commit: ae81a7f) (details)
  75. Fix two issues in IsExpUnionTypeFinder #108 (commit: dbe8316) (details)
  76. Support union types in is_* expressions #108 (commit: 8f41307) (details)
  77. Fix memory leak in field initializers (commit: 40c78ca) (details)
  78. Fix index issue in "for all" loops (commit: 3679031) (details)
  79. -  Fixed bugs in runtime library OO support. -  isofclass is both (commit: f228303) (details)
  80. -  Fixed bug with exclusion of class inheritance header file. - (commit: 87740a5) (details)
  81. -  Minor refinement to exclusion mechanism. -  Addresses #108. (commit: 673ca1c) (details)
  82. Use Overture 2.5.4 (commit: 177a847) (details)
  83. Fix clean up in OOChecks test (commit: ef9b360) (details)
  84. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (commit: 3ec2000) (details)
  85. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (commit: 7b124de) (details)
Commit 3ddd7521a43529be6775ad4e33a150e3e0f5e287 by Victor Bandur
-  Expanded is_ support to cover basic types. -  Addresses #108.
(commit: 3ddd752)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit c426bc3b00992990387b47fd13713cb22947cff9 by Victor Bandur
-  Runtime support for is_ test on basic types plus tests. -  Addresses
#108.
(commit: c426bc3)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit f534a2685da6231aae2063c88ea3e4ac8de0afa7 by Victor Bandur
-  Is sequence of int support. -  Addresses #108.
(commit: f534a26)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit 812dc20cd3b83bfc4c43c52e002b936e42644407 by Victor Bandur
-  WIP on recurive is check for arbitrary nesting of seqs and sets. - 
Addresses #108.
(commit: 812dc20)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit e445135d8effafa85c9a9e18087d9bb8c2681688 by Victor Bandur
Large is construct for basic built-in types.
(commit: e445135)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit 850f4faa2c4a789813478cb378ee393728b28d02 by Victor Bandur
-  Sequence and Set exclusion mechanism for is queries. -  Addresses
#108.
(commit: 850f4fa)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit daef3e20954f005aeeea39b89e5a397d98eee1bf by Victor Bandur
WIP support for records in is queries.
(commit: daef3e2)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameMathLibraryTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit c10cef40e6a2fecf549558d7fdf6b5cabb4e57f0 by Peter W. V. Tran-Jørgensen
Use transformation to emit "is" checks
Currently, only is_nat is supported
Addresses #108
(commit: c10cef4)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 3a7ad1614ae1d3512ff30dc0dccf38c330fd5265 by Peter W. V. Tran-Jørgensen
Remove templates that are not needed anymore #108
(commit: 3a7ad16)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ABoolIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIntIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARealIsExpIR.vm
Commit a42e8d00996c74daed143aaac376e54afdff5e52 by Peter W. V. Tran-Jørgensen
Test that is_nat generates correctly #108
(commit: a42e8d0)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
Commit 209048850fdb5ac58accfba8fefbb9b380d6ace8 by Victor Bandur
-  WIP is_ query on arbitrary types. -  Addresses #108.
(commit: 2090488)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit c87f064e83f40cee090ddb5cf75d2905f844aacf by Peter W. V. Tran-Jørgensen
Emit class association file
Implemented according to the description in
https://github.com/overturetool/vdm2c/issues/108#issuecomment-325973402
(commit: c87f064)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ClassAssocAnalysisTest.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java
Commit cf05c8898297b042925e8efdbf0f8ebeb523e077 by Peter W. V. Tran-Jørgensen
Add "generated file" comment to VdmClassHierarchy.h
(commit: cf05c88)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ClassAssocAnalysisTest.java (diff)
Commit 5a708e037d091afd2a099771350acce6202961b8 by Victor Bandur
-  Support for arbitrary sequence and set is_ queries. -  Addresses
#108.
(commit: 5a708e0)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit eab9362b50e9fdffca88b1925bfb7f8a81476215 by Victor Bandur
-  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108.
(commit: eab9362)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 69c90e958f7c407e06f27e23793cf94425ab2425 by Victor Bandur
-  Runtime library support for is checks on product, class and record
types. -  Addresses #108.
(commit: 69c90e9)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit af88a94321796bd83e534a1aad1e0467c223b999 by Victor Bandur
-  Cleanup, removed unused VDM-RT runtime library test models. -  Closes
#8
.
(commit: af88a94)
The file was removedc/vdm/.project
The file was removedc/vdm/expressions/ExpressionMapTest.vdmrt
The file was removedc/vdm/expressions/ExpressionNumericTest.vdmrt
The file was removedc/vdm/lib/IO.vdmrt
The file was removedc/vdm/classes/A.vdmrt
The file was removedc/vdm/expressions/Expression.vdmrt
The file was removedc/vdm/expressions/ExpressionMap.vdmrt
The file was removedc/vdm/expressions/ExpressionSetTest.vdmrt
The file was removedc/vdm/classes/Call.vdmrt
The file was removedc/vdm/classes/ClassABTest.vdmrt
The file was removedc/vdm/classes/ModelVarBOOL.vdmrt
The file was removedc/vdm/expressions/ExpressionBoolean.vdmrt
The file was removedc/vdm/expressions/ExpressionLet.vdmrt
The file was removedc/vdm/statements/StatementClassTest.vdmrt
The file was removedc/vdm/expressions/ExpressionSeqTest.vdmrt
The file was removedc/vdm/expressions/ExpressionProduct.vdmrt
The file was removedc/vdm/New_configuration.launch
The file was removedc/vdm/expressions/ExpressionSeq.vdmrt
The file was removedc/vdm/expressions/ExpressionTest.vdmrt
The file was removedc/vdm/classes/D.vdmrt
The file was removedc/vdm/expressions/ExpressionCases.vdmrt
The file was removedc/vdm/classes/C.vdmrt
The file was removedc/vdm/lib/VDMUnit.vdmrt
The file was removedc/vdm/expressions/ExpressionBooleanTest.vdmrt
The file was removedc/vdm/classes/B.vdmrt
The file was removedc/vdm/expressions/ExpressionSetForCGTesting.vdmrt
The file was removedc/vdm/expressions/ExpressionProductTest.vdmrt
The file was removedc/vdm/expressions/ExpressionClassTest.vdmrt
The file was removedc/vdm/expressions/ExpressionForloopTest.vdmrt
The file was removedc/vdm/expressions/ExpressionNumeric.vdmrt
The file was removedc/vdm/expressions/ExpressionForLoop.vdmrt
The file was removedc/vdm/expressions/ExpressionSetForCGTestingTest.vdmrt
The file was removedc/vdm/expressions/ExpressionSet.vdmrt
Commit a76753f5ce892af0b5521c9ab10e74be1e67f9f5 by Victor Bandur
-  No longer emitting global field numFields_X as it is no longer used.
-  Addresses *104.
(commit: a76753f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java (diff)
Commit 9b720d04fbc842202f59d915687b5c44449ea5a4 by Victor Bandur
-  Runtime library support for issameclass. -  Addresses #108.
(commit: 9b720d0)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
Commit ba0dc116ae7633716d19a2dfb301f42562e6461a by Victor Bandur
-  Fixed name of sameclass query in runtime library. -  Addresses *108.
(commit: ba0dc11)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
Commit f44d07b57cc7d263fc2a315d9523f26534d61dc2 by Victor Bandur
-  Product test for (int * char) * int. -  Addresses #108.
(commit: f44d07b)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit e5990c4f3076eb0fd17cb1274aaa782e48e9af32 by Victor Bandur
-  Dummy VdmClassHierarchy.h file for runtime library testing. - 
Addresses #108.
(commit: e5990c4)
The file was addedc/vdmclib/src/test/resources/VdmClassHierarchy.h
Commit 374d65ff307ea5dc9aa4750e7e57457371a35df6 by Victor Bandur
-  Runtime library support for isofbaseclass. -  Addresses #108.
(commit: 374d65f)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 1b29f539d0b15f9fbec750b1a6f1d66b7bc6dabe by Victor Bandur
-  Runtime library support for samebaseclass. -  Addresses #108.
(commit: 1b29f53)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/resources/VdmClassHierarchy.h (diff)
Commit dce9001c9146c7d1ca2afadc3dd2b08dc8375078 by Peter W. V. Tran-Jørgensen
Class association should not consider standard library classes
Addresses #108
(commit: dce9001)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ClassAssocAnalysisTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java (diff)
Commit ef8433da9918e6d23b9bcaaa0691fa804de85da2 by Peter W. V. Tran-Jørgensen
Update distribution code-generator to emit class association file
(commit: ef8433d)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 8360294f307856be7ae1ce98b5bd53beaf512a66 by Victor Bandur
-  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - 
Addresses #108.
(commit: 8360294)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit eacd08deb19a4dbd2313364f2941489511e50b80 by Victor Bandur
-  Map composition support in the runtime library. -  Addresses #108.
(commit: eacd08d)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit 0b154513875272615440a5c7c5c78530c2e92b6d by Victor Bandur
-  GC version of map composition in the runtime library. -  Addresses
#108.
(commit: 0b15451)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 03ef0a6fccb7c237f2488c2f99e3f196f7031515 by Victor Bandur
-  Map iteration support in the runtime library. -  Addresses #108.
(commit: 03ef0a6)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit e484cc46e7e4e41166ef12f670d50db48dfd39c4 by Victor Bandur
-  Reducing flash footprint. -  Addresses #120.
(commit: e484cc4)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit ba7ac7308b86c8a8d57bda092650d5beddce6e3f by Victor Bandur
-  Support for is seq1. -  Addresses #108.
(commit: ba7ac73)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 2f7b0021c712e656d72ddc6c549a9bc1980acb9e by Victor Bandur
-  Support for is set1 type queries. -  More tests for is seq1. - 
Addresses #108.
(commit: 2f7b002)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 7ec244b4dbc4b153fe65112289bbb023c495383e by Victor Bandur
-  Runtime support for is map queries. -  Addresses #108.
(commit: 7ec244b)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 60bfb5caf045be5dfb36fdcd895266f45edec28c by Peter W. V. Tran-Jørgensen
Add initial support for type encoding #108
(commit: 60bfb5c)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpTypeEncoder.java
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpTypeEncoderTest.java
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 8211423f98183babcbef55bbd189d3eee80fe975 by Peter W. V. Tran-Jørgensen
Update type encoder to support set1, seq1 and map
(commit: 8211423)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpTypeEncoderTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpTypeEncoder.java (diff)
Commit 308162445d134c7ea0c1161836348b57d786c844 by Victor Bandur
-  Reduction in flash footprint:  maps. -  Addresses #120.
(commit: 3081624)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 887d5597a6ad83adefb8f4206eb606e26f8538ee by Peter W. V. Tran-Jørgensen
Address wrong assumption in the distributed code-generator
(commit: 887d559)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 638e9ef7b19e00501b7a04dcdf0d5139c7c7166b by Victor Bandur
-  Flash footprint reduction, sequences. -  Addresses #120.
(commit: 638e9ef)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit ec28ff29efd55c979da8ca11fcad76aa1b05d88e by Victor Bandur
-  Flash footprint reduction, sets. -  Addresses #120.
(commit: ec28ff2)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit baf67780ebbe6e1a5efb094b1d8a257b6b05ad0d by Victor Bandur
-  Eliminating some compiler warnings in distribution runtime. - 
Addresses #121.
(commit: baf6778)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.h (diff)
The file was modifiedc/vdmclibdist/src/main/serialise.c (diff)
Commit d68c28b7e7d8c6ff26f31967b802f14ad8b590f9 by Victor Bandur
-  Bugfix. -  Addresses #120.
(commit: d68c28b)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit f12f3a828792d598ce82b280e6e31d2814e6fdd7 by Victor Bandur
-  WIP runtime library support for optional types encoding. -  Addresses
#108.
(commit: f12f3a8)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 6f5a2ed5f2fb28e2828f961cd6f32fb217c5db42 by Victor Bandur
-  Runtime library support for is queries on optional types. - 
Addresses #108.
(commit: 6f5a2ed)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit dc54b7cd5b9fa386ac371ea082db4ba9a83d89ce by Victor Bandur
-  Runtime support for eliminating is queries based on NO_IS flag. - 
Addresses #108.
(commit: dc54b7c)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit f15c330019b42e0a872815eca6efb973698a4d15 by Peter W. V. Tran-Jørgensen
Emit NO_IS flag in model features file #108
(commit: f15c330)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesIsExpAnalysis.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CExists1QuantifierStrategy.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit fcab775c2bc33e8730a4a6818d5678aabd2fb325 by Victor Bandur
-  WIP memory leaks with freeing non-GC tokens. -  Addresses #100.
(commit: fcab775)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ContractsGarbageCollectionTests.java
The file was addedcore/vdm2c/src/test/resources/native/contracts/PreConditions_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/contracts/PreConditions.vdmrt
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CPreCheckTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ContractsTests.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpTypeEncoderTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpTypeEncoder.java (diff)
Commit 169d311960a1e3493c4b47d22c1e30f760551b21 by Peter W. V. Tran-Jørgensen
Temporarily build against Overture 2.5.3-SNAPSHOT
(commit: 169d311)
The file was modifiedpom.xml (diff)
Commit 4e7ab1e640dab4fb1bec42e544486d8b2225216a by Peter W. V. Tran-Jørgensen
Update VDM2C to work with newest Overture
(commit: 4e7ab1e)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CExists1QuantifierStrategy.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/set/ExpressionsSetForCGTesting_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CIotaStrategy.java
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionSetForCGTesting.vdmrt (diff)
Commit 9045250a3894757a114c17c251d34badf955ba6f by Peter W. V. Tran-Jørgensen
Support non-deterministic statements #108
(commit: 9045250)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/nondet/NonDet_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/nondet/NonDet.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
Commit 38e82bd7f0a0451dce42989ef79c758ab9193ab4 by Victor Bandur
-  Typo in type encoding in test. -  Addresses #108.
(commit: 38e82bd)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit c5ad1e153f3ad0c52d711ff08a224fbfd1047452 by Peter W. V. Tran-Jørgensen
Work on checking union types in is_ expressions #108
(commit: c5ad1e1)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/UnionFinder.java
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpUnionTypeFinderTest.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpUnionTypeFinder.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit dbe831600105380f7e3f693b948d9c5515dbbaa3 by Peter W. V. Tran-Jørgensen
Fix two issues in IsExpUnionTypeFinder #108
(commit: dbe8316)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpUnionTypeFinderTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpUnionTypeFinder.java (diff)
Commit 8f41307ac5567fdc5dd073cc5f7c724e1f1f66c5 by Peter W. V. Tran-Jørgensen
Support union types in is_* expressions #108
(commit: 8f41307)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpUnionTypeTrans.java
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ValueSemantics.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)
Commit f2283039bbb231a7d83343ff2642d1c1dcb906a6 by Victor Bandur
-  Fixed bugs in runtime library OO support. -  isofclass is both
hirarchy-based as well as an is query, so it is now part of both in
terms of define exclusion. -  Addresses #108.
(commit: f228303)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 87740a5d303aefda07923c6312d64c0c79fa65e1 by Victor Bandur
-  Fixed bug with exclusion of class inheritance header file. - 
Addresses #108.
(commit: 87740a5)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 673ca1c57f92aa8c9ad6b05ea616b8a0f8510937 by Victor Bandur
-  Minor refinement to exclusion mechanism. -  Addresses #108.
(commit: 673ca1c)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
Commit 3ec2000ad7f3c81781560602a56900ed494862af by Victor Bandur
-  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses
#108.
(commit: 3ec2000)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 7b124de192603edfdcea658b246ec1d0020cc04b by Victor Bandur
-  Fixed bug with sameclass query under NO_INHERITANCE in header file. -
Addresses #108.
(commit: 7b124de)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)