Started 4 days 11 hr ago
Took 3 min 28 sec on VM1

Aborted Build #621 (Jul 30, 2020, 10:27:16 AM)

Changes
  1. Nicer TypeEnv initialization (commit: 89ced82) (details / githubweb)
  2. Add procedure for checking type equivalence (commit: 56e9226) (details / githubweb)
  3. Check for type equivalence instead of equality (commit: 19bdc63) (details / githubweb)
  4. Tidy up BinaryConstraint type checks. (commit: 3fd6dde) (details / githubweb)

Started by GitHub push by b-scholz

Revision: 9b4ab887a267d47f6723505c930feff6d289d9a0
  • origin/master