Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#311
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
Fix issue with for-index loops (
commit: b19f1b4
) (
details
)
Commit
b19f1b4733ae8bf0f8b64fdaeb638ca00341e754
by
Peter W. V. Tran-Jørgensen
Fix issue with for-index loops
Closes #103
(
commit: b19f1b4
)
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALessEqualNumericBinaryExpIR.vm
(diff)
core/vdm2c/src/test/resources/native/forloop/ExpressionsForloop_Tests.cpp
(diff)
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionForLoop.vdmrt
(diff)
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AGreaterEqualNumericBinaryExpIR.vm
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java
(diff)