Started 12 days ago
Took 25 min on VM1

Success Build #726 (Aug 1, 2020, 11:58:21 AM)

  1. Refactoring (commit: b0e1727) (details / githubweb)
  2. Improve TupleOperation so that profile node is inserted only when (commit: 216dadc) (details / githubweb)
  3. Build specific Interpreter node for each RAM node. (commit: 22d132f) (details / githubweb)
  4. REBASE: super-instruction part1 (commit: 4041dca) (details / githubweb)
  5. InterpreterNode classes hierarchy refactor part1. (commit: fa93b60) (details / githubweb)
  6. Try adding inline keyword to fix duplicate symbol error (commit: 3602f1a) (details / githubweb)
  7. Add another inline keyword (commit: 4924954) (details / githubweb)
  8. symbol2numeric: use if constexpr to fix duplicate symbol linker error (commit: 518d3a3) (details / githubweb)
  9. Fix formatting (commit: 6074f34) (details / githubweb)
  10. reorder AstProvenanceNegation and AstNegation, and RamProvenanceExistenceCheck and RamExistenceCheck so the special provenance checks are generated properly (commit: dc6d6d8) (details / githubweb)
  11. fix generation of lowerUpperRanges for provenance existence checks (commit: cdace55) (details / githubweb)
  12. fix index generation for ProvenanceExistenceCheck (commit: e6d31cf) (details / githubweb)
  13. fix issues synthesising values for ProvenanceExistenceChecks (commit: 8c77286) (details / githubweb)
  14. accidentally included something wrong (commit: 7635270) (details / githubweb)
  15. minor code style improvements (commit: 3d34b65) (details / githubweb)
  16. more style changes (commit: 5e97728) (details / githubweb)
  17. remove subtreeHeights provenance method (commit: 76749c0) (details / githubweb)
  18. remove unneeded existence check with provenance and interpreter (commit: 218cca3) (details / githubweb)
  19. delete commented code and formatting (commit: 2cbe7cb) (details / githubweb)
  20. fix interpreter semantics for ProvenanceExistenceCheck and add assertions to ensure that payload arguments are fully specified (commit: 22d67ea) (details / githubweb)
  21. add internal params representations (commit: 65d573a) (details / githubweb)
  22. clang format for IOAttribute (commit: 7add457) (details / githubweb)
  23. Use enum class instead of enum for Diagnostic message type (commit: a744446) (details / githubweb)
  24. Extend base type error message (commit: 94e5973) (details / githubweb)
  25. support json object style output (commit: 7ed9a9f) (details / githubweb)
  26. auto recognize read format & bug fixs (commit: ad22b64) (details / githubweb)
  27. Set higher precision for csv output (commit: 892551a) (details / githubweb)
  28. Update tests to match extended float output (commit: 9e31136) (details / githubweb)
  29. PR feedback (commit: 54d5493) (details / githubweb)
  30. Rename AstTranslator to AstToRamTranslator (commit: 2c99c75) (details / githubweb)
  31. Move interpreter files to interpreter subdir (commit: 3c82a20) (details / githubweb)
  32. Move Synthesiser files to synthesiser subdir (commit: ac3a142) (details / githubweb)
  33. Refactor ast transforms into separate files (commit: 339fdc4) (details / githubweb)
  34. Refactor ram transforms into separate files (commit: c658212) (details / githubweb)
  35. Standardise Analysis naming (commit: f271c45) (details / githubweb)
  36. Fix file naming in doxygen headers (commit: 34f421b) (details / githubweb)
  37. Fix headers (commit: 8310710) (details / githubweb)
  38. Split PrecedenceGraph.h into separate files (commit: dcafc88) (details / githubweb)
  39. stopped aggregates from overmaterialising. Now, only rules with more than one atom will be materialised. If an atom is not present, we add a +Tautology atom to the body of the aggregate. A rule with one atom and any number of constraints will not be materialised anymore (commit: 138664e) (details / githubweb)
  40. refactor to give more meaningful variable name (commit: fb3baff) (details / githubweb)
  41. fixed style (commit: 3603b64) (details / githubweb)
  42. Nicer TypeEnv initialization (commit: 00f8979) (details / githubweb)
  43. Add procedure for checking type equivalence (commit: 8f900a6) (details / githubweb)
  44. Check for type equivalence instead of equality (commit: a02edd2) (details / githubweb)
  45. Change testcase to be safe for 64 bit and 32bit (commit: 49a5358) (details / githubweb)
  46. File renaming (commit: 1d52438) (details / githubweb)
  47. Renamed AST files (commit: f408493) (details / githubweb)
  48. Fixed RAM and tests (commit: 96c26c0) (details / githubweb)
  49. Fix (commit: 231682e) (details / githubweb)
  50. Reformatting (commit: f4e55e1) (details / githubweb)
  51. Update changelog (commit: d7ea407) (details / githubweb)
  52. Update extracted file attributions (commit: f6d51dd) (details / githubweb)
  53. Tidy up BinaryConstraint type checks. (commit: 0685c40) (details / githubweb)
  54. Protect threaded access to record map (commit: fc7de42) (details / githubweb)
  55. Fix merge. (commit: b66d462) (details / githubweb)
  56. Add documentation, fix typos, minor changes. (commit: 1db816e) (details / githubweb)
  57. Clang-format (commit: 0149714) (details / githubweb)
  58. Fix silly typos and give better naming. (commit: 2ca12b3) (details / githubweb)
  59. Formatting. (commit: 5bc2340) (details / githubweb)

Started by GitHub push by b-scholz

Revision: ade059d43af9302be521c6d3d69b6cb1692cf7db
  • refs/remotes/origin/master