Skip to content
Jenkins
log in
Jenkins
All
overture-development
The Java Code Generator Runtime
#290
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Open Tasks
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Changes
Summary
Start solving the Record issue (
commit: b5af1c9
) (
details
)
Commit b5af1c93b66482ff1339f01d0fce1f9d6af09c7a by
idhugoid
Start solving the Record issue
(
commit: b5af1c9
)
core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Record.java
core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMRecord.java
core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/ComparisonIR.java