Started 14 days ago
Took 1 hr 4 min on plang7

Success Build #496 (Jul 30, 2020, 10:26: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
  • refs/remotes/origin/master