Started 3 yr 6 mo ago
Took 3.7 sec on master

Success Build #238 (Apr 9, 2017 10:39:10 PM)

Changes
  1. Add GC support for vdmSetElementAt (used by CForIterator) (commit: 88a7810) (details / githubweb)
  2. Add GC support for 'in set' (commit: 3e81416) (details / githubweb)
  3. Add GC support for 'union' (commit: ea6cb15) (details / githubweb)
  4. Add GC support for 'inter' (commit: 2f95fe0) (details / githubweb)
  5. Add GC support for '\' (set difference) (commit: 7010cd2) (details / githubweb)
  6. Add GC support for 'subset' (commit: 0a04908) (details / githubweb)
  7. Add GC support for 'psubset' (commit: fce0830) (details / githubweb)
  8. Add GC support for 'card' (commit: 5818e25) (details / githubweb)
  9. Add GC support for 'dunion' (commit: 32066ad) (details / githubweb)
  10. Add GC support for 'dinter' (commit: 3b1f124) (details / githubweb)
  11. Add GC support for 'power' (commit: 7c5820e) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 7c5820ee2bf9ca7549a6cadb2e227ec0446ea67a
  • refs/remotes/origin/development