SuccessChanges

Summary

  1. Fix for compatibility with FMU exporter. (commit: b8f48af) (details)
  2. -  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses (commit: fa76ed3) (details)
  3. -  Eliminated compilation warning  due to parentheses. (commit: 6c54ec7) (details)
Commit b8f48afdbd3af81e3694bd774313164ad6eb65a2 by Victor Bandur
Fix for compatibility with FMU exporter.
(commit: b8f48af)
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (diff)
Commit fa76ed3c96cd274cff8858a2c2c08c8f7174ba2a by Victor Bandur
-  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses
#90.
(commit: fa76ed3)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 6c54ec7821afd7034dc926215118ebba322cc6f4 by Victor Bandur
-  Eliminated compilation warning  due to parentheses.
(commit: 6c54ec7)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)