Started 5 mo 20 days ago
Took 3 min 35 sec on VM1

Failed Build #532 (Feb 25, 2020, 4:41:43 PM)

  1. Removed clauseSize from AstRelation. (commit: 7f56a98) (details / githubweb)
  2. Fixed arity types in translator. (commit: 1f32b0b) (details / githubweb)
  3. Removed some unnecessary methods from AstRelation. (commit: 653d80e) (details / githubweb)
  4. Changed tests to use new AstRelation interface. (commit: 6252b7a) (details / githubweb)
  5. Overhauled entire relation qualifier system. (commit: 60c5254) (details / githubweb)
  6. Removed unnecessary qualifier checkers from AstRelation. (commit: 73c0746) (details / githubweb)
  7. Added checks for relation-representation setting via qualifiers. (commit: 020e3bd) (details / githubweb)
  8. Added printing function for AstRelationQualifiers. (commit: 8864a3d) (details / githubweb)
  9. Added license to AstRelationQualifier header. (commit: 400ba52) (details / githubweb)
  10. Printed out qualifiers directly in AstRelation. (commit: d6d9adc) (details / githubweb)
  11. Minor revision of changes to tests. (commit: f6fddd4) (details / githubweb)
  12. Merged qualifiers and tree structures into relation tag structure. (commit: 6c43d6e) (details / githubweb)
  13. Fixed unsigned vs. signed comparison warning. (commit: 411fb2d) (details / githubweb)
  14. Fixed formatting. (commit: f330235) (details / githubweb)
  15. Removed lingering comment. (commit: 32534c9) (details / githubweb)
  16. Reverted parser change. (commit: 234cc7e) (details / githubweb)
  17. Cleaned up code for PR. (commit: 6b51630) (details / githubweb)
  18. Fixed buggy assertion. (commit: ecf64e3) (details / githubweb)

Started by GitHub push by azreika

Revision: e3a5983f51cc8835f78b9647e4e8aaed1b6d8404
  • refs/remotes/origin/master