Started 2 days 10 hr ago
Took 31 min on VM1

Success Build #956 (Aug 1, 2020, 11:22:15 AM)

Changes
  1. Refactoring (details / githubweb)
  2. Improve TupleOperation so that profile node is inserted only when (details / githubweb)
  3. Build specific Interpreter node for each RAM node. (details / githubweb)
  4. REBASE: super-instruction part1 (details / githubweb)
  5. InterpreterNode classes hierarchy refactor part1. (details / githubweb)
  6. Try adding inline keyword to fix duplicate symbol error (details / githubweb)
  7. Add another inline keyword (details / githubweb)
  8. symbol2numeric: use if constexpr to fix duplicate symbol linker error (details / githubweb)
  9. Fix formatting (details / githubweb)
  10. reorder AstProvenanceNegation and AstNegation, and RamProvenanceExistenceCheck and RamExistenceCheck so the special provenance checks are generated properly (details / githubweb)
  11. fix generation of lowerUpperRanges for provenance existence checks (details / githubweb)
  12. fix index generation for ProvenanceExistenceCheck (details / githubweb)
  13. fix issues synthesising values for ProvenanceExistenceChecks (details / githubweb)
  14. accidentally included something wrong (details / githubweb)
  15. minor code style improvements (details / githubweb)
  16. more style changes (details / githubweb)
  17. remove subtreeHeights provenance method (details / githubweb)
  18. remove unneeded existence check with provenance and interpreter (details / githubweb)
  19. delete commented code and formatting (details / githubweb)
  20. fix interpreter semantics for ProvenanceExistenceCheck and add assertions to ensure that payload arguments are fully specified (details / githubweb)
  21. add internal params representations (details / githubweb)
  22. clang format for IOAttribute (details / githubweb)
  23. Use enum class instead of enum for Diagnostic message type (details / githubweb)
  24. Extend base type error message (details / githubweb)
  25. support json object style output (details / githubweb)
  26. auto recognize read format & bug fixs (details / githubweb)
  27. Set higher precision for csv output (details / githubweb)
  28. Update tests to match extended float output (details / githubweb)
  29. PR feedback (details / githubweb)
  30. Rename AstTranslator to AstToRamTranslator (details / githubweb)
  31. Move interpreter files to interpreter subdir (details / githubweb)
  32. Move Synthesiser files to synthesiser subdir (details / githubweb)
  33. Refactor ast transforms into separate files (details / githubweb)
  34. Refactor ram transforms into separate files (details / githubweb)
  35. Standardise Analysis naming (details / githubweb)
  36. Fix file naming in doxygen headers (details / githubweb)
  37. Fix headers (details / githubweb)
  38. Split PrecedenceGraph.h into separate files (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 (details / githubweb)
  40. refactor to give more meaningful variable name (details / githubweb)
  41. fixed style (details / githubweb)
  42. Nicer TypeEnv initialization (details / githubweb)
  43. Add procedure for checking type equivalence (details / githubweb)
  44. Check for type equivalence instead of equality (details / githubweb)
  45. Change testcase to be safe for 64 bit and 32bit (details / githubweb)
  46. File renaming (details / githubweb)
  47. Renamed AST files (details / githubweb)
  48. Fixed RAM and tests (details / githubweb)
  49. Fix makefile.am (details / githubweb)
  50. Reformatting (details / githubweb)
  51. Update changelog (details / githubweb)
  52. Update extracted file attributions (details / githubweb)
  53. Tidy up BinaryConstraint type checks. (details / githubweb)
  54. Protect threaded access to record map (details / githubweb)
  55. Fix merge. (details / githubweb)
  56. Add documentation, fix typos, minor changes. (details / githubweb)
  57. Clang-format (details / githubweb)
  58. Fix silly typos and give better naming. (details / githubweb)
  59. Formatting. (details / githubweb)

Started by GitHub push by b-scholz

Revision: ade059d43af9302be521c6d3d69b6cb1692cf7db
  • refs/remotes/origin/master