Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#267
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
Make generated code C89 compliant (
commit: 86a2ec3
) (
details
)
Commit
86a2ec3388be18d0090342c1f4c2ac6c79722ebb
by
Peter W. V. Tran-Jørgensen
Make generated code C89 compliant
Closes #93
(
commit: 86a2ec3
)
core/vdm2c/src/main/resources/ccg.ast
(diff)
core/vdm2c/src/test/resources/CMakeLists.txt
(diff)
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/statements/AC89forLoopStmIR.vm
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/AForLoopStmIR.vm
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/C89ForLoopTrans.java
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
(diff)