SuccessChanges

Summary

  1. Print C output folder as the last step (commit: 926f70e) (details)
  2. Change NameMangler to not report errors for unsupported types (commit: 12c9ad0) (details)
  3. Remove header files if the corresponding C sources cannot be generated (commit: 5856843) (details)
  4. Ensure folder structure when file is emitted (commit: 6b2c523) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 12c9ad00ab25017889716d00f9faaac482489970 by Peter W. V. Tran-Jørgensen
Change NameMangler to not report errors for unsupported types
Related to #78
(commit: 12c9ad0)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 58568432ebd698577ce27ffca317838c254a300d by Peter W. V. Tran-Jørgensen
Remove header files if the corresponding C sources cannot be generated
Closes #78
(commit: 5856843)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 6b2c5236596dbe6c252e09f9042abdc39ed85c98 by Peter W. V. Tran-Jørgensen
Ensure folder structure when file is emitted
(commit: 6b2c523)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)