SuccessChanges

Summary

  1. Java CG: perform topological sort of field graph (details)
Commit a6a8e40c7838ca683357d26ea7c46d88cc9b522c by Peter W. V. Tran-Jørgensen
Java CG: perform topological sort of field graph
The file was modifiedcore/codegen/javagen/src/test/resources/cloning_specs/AlarmTraces.vdmpp.result (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/classic_specs/AlarmTraces.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaTransSeries.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/FieldOrder.vdmsl
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/FieldOrder.vdmsl.eval.result
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was addedcore/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/FieldOrder.vdmsl.result