Started 4 mo 20 days ago
Took 14 min

Success Build #12 (Nov 14, 2019 11:34:55 AM)

Changes
  1. Bump version in POM (commit: c1513b0) (details / githubweb)
  2. Fix NPE when generating dot graph for a unit that contains no facts (commit: c20a74f) (details / githubweb)
  3. Adapt README to version and repository change (commit: ba6536c) (details / githubweb)
  4. 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: 549b3ce620fd5ddd873ee9434bf6296da3ba6a46
  • refs/remotes/origin/master
Test Result (no failures)

    Module Builds

    Success Heros IFDS/IDE Solver1 min 26 sec
     heros (didn’t run)

    Downstream Builds