Changes

Summary

Corrections for CLI argument validation (commit: db79217) (details)
Add missing source nodes to class headers (commit: 2f04993) (details)
Represent the generated code using CGP means (commit: 4f7ba9e) (details)
Update CLI to report errors/unsupported constructs (commit: 25c8a3d) (details)
Translate standard libraries to IR modules (commit: e3b1f3d) (details)
Translate generated modules to C sources (commit: 54a050f) (details)
Update the VDM2C plugin to output the user's code (commit: 763a468) (details)
Correct initialisation of mangledNames (commit: 15a5ed3) (details)
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)
	core/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)
	core/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)
	core/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)
	core/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)
	core/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)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
	core/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)
	ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 15a5ed343fd6047fd39f612e45658da802a91bf4 by Peter W. V. Tran-Jørgensen Correct initialisation of mangledNames (commit: 15a5ed3)
	core/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)
	ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)