SuccessChanges

Summary

  1. Better way to find enclosing class (commit: d441a72) (details)
  2. Add record test (commit: ee47eef) (details)
  3. Convert record types to class types (commit: 0ad86df) (details)
  4. Convert record declarations to class declarations (commit: 328af1c) (details)
  5. Migrating records infrastructure in the native library to use records as (commit: 7cc34be) (details)
  6. Construct VDM type for records (commit: 1ca3aa6) (details)
  7. -  Working on support in the native library for record value semantics. (commit: 939621a) (details)
  8. Emitting definition of class struct field to hold number of fields. (commit: bc7665a) (details)
  9. Fix the record/class check used in the templates (commit: b961d78) (details)
  10. Update transformations not to generate vdmClone calls (commit: 41f806c) (details)
  11. Working out structure walking mechanism for record value semantics. (commit: 637dde8) (details)
  12. Pointer arithmetic to access number-of-fields field in class struct. (commit: 105b7ae) (details)
  13. Can now walk fields of structure and clone each correctly. (commit: 49f9196) (details)
  14. Cleanup imports (commit: c84f8f6) (details)
  15. Fix construction of 'null' expression (commit: 5baeaf6) (details)
  16. Update literal transformation to use constants (commit: e0bcb49) (details)
  17. Revert change that was introducing a problem with records (commit: 9dd417b) (details)
  18. Fix construction of 'null' expression (commit: 67b2195) (details)
  19. Cleanup imports (commit: e60b9da) (details)
  20. Debugging confirms that vdmClone now duplicates record fields in (commit: 1abd321) (details)
  21. Value semantics for record equality checking with vdmEquals confirmed (commit: 0676454) (details)
  22. Expanding test for record value semantics with structured values inside (commit: 656fdf3) (details)
  23. Add 'numFields' field to every class (commit: e9054df) (details)
  24. Privatise fields (commit: 525a69b) (details)
  25. Add missing null pointer check (commit: 3ceed4a) (details)
  26. Another record value semantics test using structured fields. (commit: 97a29d4) (details)
  27. -  Working on freeing records properly. -  Addresses #33. (commit: 8920080) (details)
  28. -  Further work on vdmFree for records. -  Addresses #33. (commit: 819e83c) (details)
  29. Test value type semantics for generated records (commit: 9d9685d) (details)
  30. Undo commit that removes vdmClone calls (commit: dab8c97) (details)
  31. Clean-up FieldExpRewriteTrans (commit: b7263c4) (details)
  32. -  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned (commit: 256ceaf) (details)
  33. -  Freeing more of the memory allocated to a record. -  Addresses #33. (commit: cce5434) (details)
  34. -  Comments. -  Addresses #33. (commit: 037d4ca) (details)
  35. Add 'installation' section to the README (commit: 61e2a89) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/value-types/Records.vdmrt
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypesTests.java
The file was addedcore/vdm2c/src/test/resources/native/records/Records_Tests.cpp
Commit 0ad86df223c77362a696b90579d6d3b1a2604b1f by Peter W. V. Tran-Jørgensen
Convert record types to class types
Addresses issue #18
(commit: 0ad86df)
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/RecTypeToClassTypeTrans.java
Commit 328af1c3a6ec2c6bb7285e9a54c87e35a6dad7b6 by Peter W. V. Tran-Jørgensen
Convert record declarations to class declarations
(commit: 328af1c)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 7cc34be1e9af742763db11cc190efa4fb33e1f18 by Victor Bandur
Migrating records infrastructure in the native library to use records as
classes instead.
modified:   vdmclib/src/main/TypedValue.c
modified:   vdmclib/src/test/Statements_Record_Tests.cpp
(commit: 7cc34be)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
Commit 1ca3aa6bc134e9b8340210da896ccc567df3b578 by Peter W. V. Tran-Jørgensen
Construct VDM type for records
Related to issue #33
(commit: 1ca3aa6)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 939621add144012a932fa20cb383f66ab4d476bb by Victor Bandur
-  Working on support in the native library for record value semantics.
-  Value semantics respected for records containing only basic types. -
Addresses issue #33.
modified:   c/vdmclib/src/main/TypedValue.c
modified:   c/vdmclib/src/main/Vdm.h
new file:   c/vdmclib/src/test/Statements_Record_Tests_2.cpp
new file:   c/vdmclib/src/test/records/MyRec.c
new file:   c/vdmclib/src/test/records/MyRec.h
new file:   c/vdmclib/src/test/records/RecordTest.c
new file:   c/vdmclib/src/test/records/RecordTest.h
(commit: 939621a)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was addedc/vdmclib/src/test/records/RecordTest.h
The file was addedc/vdmclib/src/test/records/MyRec.c
The file was addedc/vdmclib/src/test/Statements_Record_Tests_2.cpp
The file was addedc/vdmclib/src/test/records/RecordTest.c
The file was addedc/vdmclib/src/test/records/MyRec.h
Commit bc7665a6c2742f9540c9b349f93930f4e178bc0a by Victor Bandur
Emitting definition of class struct field to hold number of fields.
modified: 
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassStateDeclIR.vm
(commit: bc7665a)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassStateDeclIR.vm (diff)
Commit b961d78525f3947d8b6a40ac737385ee7aac2f7c by Peter W. V. Tran-Jørgensen
Fix the record/class check used in the templates
Related to issue #33
(commit: b961d78)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 41f806c2d1b708952b7c134d5ba68341c80b6d10 by Peter W. V. Tran-Jørgensen
Update transformations not to generate vdmClone calls
Related to issue #33
(commit: 41f806c)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
Commit 637dde89237322529056b74696587207f7f11f48 by Victor Bandur
Working out structure walking mechanism for record value semantics.
modified:   c/vdmclib/src/main/Vdm.h
modified:   c/vdmclib/src/test/records/MyRec.c
modified:   c/vdmclib/src/test/records/MyRec.h
(commit: 637dde8)
The file was modifiedc/vdmclib/src/test/records/MyRec.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
Commit 105b7ae7fbbba806910cd6799b58c0ce9b97f690 by Victor Bandur
Pointer arithmetic to access number-of-fields field in class struct.
modified:   vdmclib/src/main/TypedValue.c
modified:   vdmclib/src/test/records/MyRec.c
modified:   vdmclib/src/test/records/MyRec.h
(commit: 105b7ae)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 49f919673d30e5d5d2780853089349912a29e525 by Victor Bandur
Can now walk fields of structure and clone each correctly.
modified:   c/vdmclib/src/main/TypedValue.c
(commit: 49f9196)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 5baeaf62cf4c83dcb5c45745483d6fe4926e17d2 by Peter W. V. Tran-Jørgensen
Fix construction of 'null' expression
Also tag constructors
(commit: 5baeaf6)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/tags/CTags.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit e0bcb4941475e55cc9a9facf73138a267621365b by Peter W. V. Tran-Jørgensen
Update literal transformation to use constants
(commit: e0bcb49)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LiteralInstantiationRewriteTrans.java (diff)
Commit 9dd417b80e685d075dc83bf4de14da3b224d14e7 by Peter W. V. Tran-Jørgensen
Revert change that was introducing a problem with records
(commit: 9dd417b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit 67b2195800a3ee64cda0c6218ae1bd2e280f2a3d by Peter W. V. Tran-Jørgensen
Fix construction of 'null' expression
It's not an identifier
(commit: 67b2195)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit 1abd3216b571ee425d5de7438712f337bc6916e8 by Victor Bandur
Debugging confirms that vdmClone now duplicates record fields in
accordance with value semantics.
(commit: 1abd321)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 0676454ef758e98981422b00727d0bd998c43164 by Victor Bandur
Value semantics for record equality checking with vdmEquals confirmed
with simple test (records containing only basic types).
(commit: 0676454)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 656fdf345b29094f26dffc860da13a81533c1d95 by Victor Bandur
Expanding test for record value semantics with structured values inside
records.
(commit: 656fdf3)
The file was modifiedc/vdmclib/src/test/records/RecordTest.h (diff)
The file was addedc/vdmclib/src/test/records/MyRec2.c
The file was addedc/vdmclib/src/test/records/MyRec2.h
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was removedc/vdmclib/src/test/Statements_Record_Tests_2.cpp
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
Commit e9054df6f5f2239e62e61cd51126c5c8167c8fdb by Peter W. V. Tran-Jørgensen
Add 'numFields' field to every class
Addresses issue #33
(commit: e9054df)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameConverter.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit 97a29d4a4438f0362e7ef8b3060b23d5b5fa7db2 by Victor Bandur
Another record value semantics test using structured fields.
(commit: 97a29d4)
The file was modifiedc/vdmclib/src/test/records/RecordTest.h (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.h (diff)
Commit 89200803856f0cb617a03c6a33dd680956ae20d2 by Victor Bandur
-  Working on freeing records properly. -  Addresses #33.
(commit: 8920080)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
Commit 819e83cf2525f9a000d059c23f4264156b11de88 by Victor Bandur
-  Further work on vdmFree for records. -  Addresses #33.
(commit: 819e83c)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
Commit 9d9685d3be23ed8266b2a06c168990f74d09a340 by Peter W. V. Tran-Jørgensen
Test value type semantics for generated records
(commit: 9d9685d)
The file was addedcore/vdm2c/src/test/resources/native/records/RecordsValueSemanticsTest_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/value-types/RecordsValueSemanticsTest.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java (diff)
Commit 256ceaff91e375657d9c5e652f0e6b15ecd6ba41 by Victor Bandur
-  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned
records. -  Addresses #33
(commit: 256ceaf)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
Commit cce54345465557581d0e11b4649789bcc39c0cba by Victor Bandur
-  Freeing more of the memory allocated to a record. -  Addresses #33.
(commit: cce5434)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 037d4caa3ef90f079932350edf2a27bfb627910a by Victor Bandur
-  Comments. -  Addresses #33.
(commit: 037d4ca)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 61e2a893ccb75928e27ca8e0abf59fdf83f3c3e7 by Peter W. V. Tran-Jørgensen
Add 'installation' section to the README
(commit: 61e2a89)
The file was modifiedreadme.md (diff)