Started 5 mo 28 days ago
Took 20 sec on master

Success Build The Proof Obligation Generator (Feb 12, 2020 7:04:39 PM)

  1. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  2. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) (details)
  3. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) (details)
  4. Added some clones to TypeCompatabilityObligation, see #15 (commit: 759f6ff) (details)
  5. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
Task Scanner: 6 open tasks in 105 workspace files.
    Test Result (no failures)