SuccessChanges

Summary

  1. Add support for product types (commit: ea9ec71) (details)
  2. Test that product types code-generate correctly (commit: 460647c) (details)
  3. Ignore CSV test input (commit: a538f97) (details)
Commit ea9ec7103d0ff846d65f9b1fe2f80b0c2f745da1 by Peter W. V. Tran-Jørgensen
Add support for product types
Addresses #63
(commit: ea9ec71)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AFieldNumberExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATupleExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ATupleTypeIR.vm (diff)
Commit 460647cc34bee08b0fb7beaf0d395466552cbaa1 by Peter W. V. Tran-Jørgensen
Test that product types code-generate correctly
Closes #63
(commit: 460647c)
The file was addedcore/vdm2c/src/test/resources/vdmrt/value-types/Tuples.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/tuples/Tuple_Tests.cpp
The file was modified.gitignore (diff)