Started 3 yr 7 mo ago
Took 19 sec on master

Success Build #132 (Oct 28, 2016 9:25:53 AM)

  1. -  Constructing a correct reference to the "self" object. -  Addresses (commit: 9b33765) (details / githubweb)
  2. Implementation of newMapVarToGrow() to support map comprehensions. (commit: 2df0af9) (details / githubweb)
  3. Implementation of vdmMapGrow() to support map comprehensions. (commit: 024428e) (details / githubweb)
  4. Comments. (commit: 1fb9f99) (details / githubweb)
  5. Formatting. (commit: 8fc91cd) (details / githubweb)
  6. Minor optimization in terms of calling newMapVarToGrow with no key-value (commit: d72e400) (details / githubweb)
  7. Addition of constructors to the virtual function table. (commit: 6f7c670) (details / githubweb)
  8. Fix so that self expression does not output VDM_RECORD instead of (commit: 1e392e0) (details / githubweb)
  9. Tests for nested constructor calls, no inheritance. (commit: 5d8fd46) (details / githubweb)
  10. Remove garbage file (commit: 0643bf1) (details / githubweb)
  11. Clean up imports (commit: 177b3ac) (details / githubweb)
  12. Add support for "let be st" constructs (commit: 54eaad6) (details / githubweb)
  13. Test that "let be st" constructs code generate correctly (commit: c5392d6) (details / githubweb)

Started by GitHub push by peterwvj

Revision: c5392d6790a89f818face94a83f8e563e6bbaf04
  • refs/remotes/origin/development