Started 4 mo 20 days ago
Took 31 min

Success Build #187 (Nov 14, 2019 11:27:40 AM)

  1. renamed JoinLattice to MeetLattice and joinWith to meetWith etc. because previously it was all rather confusion: we are, in fact, implementing a meet lattice, so we should also name it that way (commit: 8e59e82) (details / githubweb)

Started by GitHub push by ericbodden

Revision: 8e59e82e2223034b952d4c7ba7d07de1d732cf8c
  • refs/remotes/origin/develop
Test Result (no failures)

    Module Builds

    Success Heros IFDS/IDE Solver55 sec
     heros (didn’t run)

    Downstream Builds