SuccessChanges

Summary

  1. Corrections for CLI argument validation (commit: db79217) (details)
  2. Add missing source nodes to class headers (commit: 2f04993) (details)
  3. Represent the generated code using CGP means (commit: 4f7ba9e) (details)
  4. Update CLI to report errors/unsupported constructs (commit: 25c8a3d) (details)
  5. Translate standard libraries to IR modules (commit: e3b1f3d) (details)
  6. Translate generated modules to C sources (commit: 54a050f) (details)
  7. Update the VDM2C plugin to output the user's code (commit: 763a468) (details)
  8. Correct initialisation of mangledNames (commit: 15a5ed3) (details)
  9. Better user feedback for unsupported constructs (commit: 3c864a8) (details)
Commit db79217296235fed5c5b36f2363f9b4759046751 by Peter W. V. Tran-Jørgensen
Corrections for CLI argument validation
Initial work on #41
(commit: db79217)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 2f049938c64858000bc676bcfffa26b93f220273 by Peter W. V. Tran-Jørgensen
Add missing source nodes to class headers
(commit: 2f04993)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit 4f7ba9e3c71de78ed8909205e9f2dadc4b46f63c by Peter W. V. Tran-Jørgensen
Represent the generated code using CGP means
Intermediate work on #41
(commit: 4f7ba9e)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 25c8a3d8132594129ea47d5c79e6f591f3cebf7f by Peter W. V. Tran-Jørgensen
Update CLI to report errors/unsupported constructs
Addresses #41
(commit: 25c8a3d)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit e3b1f3d4de5da91576726b017ecd6a6d3ac3e2dc by Peter W. V. Tran-Jørgensen
Translate standard libraries to IR modules
Related to issue #41
(commit: e3b1f3d)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 54a050f956e9bb25bb50dad5a19583d390a7613d by Peter W. V. Tran-Jørgensen
Translate generated modules to C sources
(commit: 54a050f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 763a46811d8d36c0b76c314f0116ee32827ad4be by Peter W. V. Tran-Jørgensen
Update the VDM2C plugin to output the user's code
(commit: 763a468)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 3c864a8ddd5f58d356aa5a674e10a4b123f2204e by Peter W. V. Tran-Jørgensen
Better user feedback for unsupported constructs
Closes #41
(commit: 3c864a8)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)