SuccessChanges

Summary

  1. Add method to find object type VDM name (commit: 58be394) (details)
  2. Add formatting support for numeric unary expressions (commit: 4941f54) (details)
  3. Add support for unary minus (commit: ade3c8a) (details)
  4. Add support for unary plus (commit: 3e9d36c) (details)
  5. Test that numeric unary expressions are handled correctly (commit: 1772386) (details)
Commit 58be394cebd9cd0e37a704b12bb5c100e8f66d45 by Peter W. V. Tran-Jørgensen
Add method to find object type VDM name
Related to issue #2
(commit: 58be394)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 4941f54fbab5e45a932f2960aeb3d40dbd42defe by Peter W. V. Tran-Jørgensen
Add formatting support for numeric unary expressions
Addresses issue #46
(commit: 4941f54)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit ade3c8ad0e213e32bbe18bcae0aa3b9847fe2cc9 by Peter W. V. Tran-Jørgensen
Add support for unary minus
Addresses issue #46
(commit: ade3c8a)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMinusUnaryExpIR.vm (diff)
Commit 3e9d36ca3a6ce004b523699dab5e819d177870fe by Peter W. V. Tran-Jørgensen
Add support for unary plus
Addresses issue #46
(commit: 3e9d36c)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APlusUnaryExpIR.vm (diff)
Commit 1772386bbcf3e8f2d3fbdfb497d2148b65327d8c by Peter W. V. Tran-Jørgensen
Test that numeric unary expressions are handled correctly
Closes #46
(commit: 1772386)
The file was modifiedcore/vdm2c/src/test/resources/native/numeric/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionNumeric.vdmrt (diff)