Started 17 days ago
Took 24 min on VM1

Aborted Build #1898 (Jul 27, 2020, 12:14:59 PM)

Stop overmaterialising aggregate bodies
https://github.com/souffle-lang/souffle/pull/1551
PR #1551
Changes
  1. not sure (commit: 53a4a9d) (details / githubweb)
  2. Introduce RamParallelAggregate (commit: e1764a0) (details / githubweb)
  3. Introduce RamParallelIndexAggregate (commit: f1594b8) (details / githubweb)
  4. Sketched ParallelTransforms (commit: eeb953e) (details / githubweb)
  5. made RamAggregate/RamIndexAggregate be translated into their parallel counterparts as long as the aggregate is on the outermost level (commit: 87db3ce) (details / githubweb)
  6. added code generation for parallel aggregates (commit: 6aed57a) (details / githubweb)
  7. Generate context for parallel aggregates (commit: 2453e8b) (details / githubweb)
  8. Fix formatting (commit: 59dda55) (details / githubweb)
  9. Handle parallel count operations (commit: b51aa90) (details / githubweb)
  10. remove duplicate omp parallel (commit: ead9716) (details / githubweb)
  11. Specify reduction operation (commit: 293179b) (details / githubweb)
  12. Use standard naming for non-shared result variables (commit: 4b8c0c5) (details / githubweb)
  13. Fix variable naming (commit: d033849) (details / githubweb)
  14. Add Parallel stub for index aggregates (commit: 18c57df) (details / githubweb)
  15. Fix clone operations (commit: f61bea8) (details / githubweb)
  16. Add parallel aggregate nodes to Interpreter (commit: fc492e3) (details / githubweb)
  17. Merge IterUtil and ContainerUtils (commit: 2873468) (details / githubweb)
  18. Move Ast files into ast subdir (commit: 1a41fce) (details / githubweb)
  19. Rename transforms subdir to transform (commit: 9dfadc5) (details / githubweb)
  20. Move Ram files into ram subdirectories (commit: 3a7693b) (details / githubweb)
  21. added tests for index aggregates (commit: d3abce8) (details / githubweb)
  22. formatted (commit: 8a6bfda) (details / githubweb)
  23. not sure (commit: 466037b) (details / githubweb)
  24. Update src/Synthesiser.cpp (commit: 6bd684c) (details / githubweb)
  25. Update src/Synthesiser.cpp (commit: 0949e1c) (details / githubweb)
  26. Update tests/evaluation/aggregates7/aggregates7.dl (commit: 3b2015a) (details / githubweb)
  27. remove redundant files (commit: bc78cd1) (details / githubweb)
  28. Fix spelling (commit: 712f3ad) (details / githubweb)
  29. Fix repeated slash (commit: 7491e16) (details / githubweb)
  30. Introduce RamParallelAggregate (commit: 336652d) (details / githubweb)
  31. Introduce RamParallelIndexAggregate (commit: 3672e2f) (details / githubweb)
  32. Sketched ParallelTransforms (commit: 96e0be9) (details / githubweb)
  33. made RamAggregate/RamIndexAggregate be translated into their parallel counterparts as long as the aggregate is on the outermost level (commit: 15f6e91) (details / githubweb)
  34. added code generation for parallel aggregates (commit: 09b0624) (details / githubweb)
  35. Generate context for parallel aggregates (commit: 57d305f) (details / githubweb)
  36. Fix formatting (commit: 67c2a6f) (details / githubweb)
  37. Handle parallel count operations (commit: 6e58b13) (details / githubweb)
  38. remove duplicate omp parallel (commit: 52bfa26) (details / githubweb)
  39. Specify reduction operation (commit: 1903c2b) (details / githubweb)
  40. Use standard naming for non-shared result variables (commit: 74b429f) (details / githubweb)
  41. Fix variable naming (commit: 9fde7b8) (details / githubweb)
  42. Add Parallel stub for index aggregates (commit: 1b61f80) (details / githubweb)
  43. Fix clone operations (commit: 267815e) (details / githubweb)
  44. Add parallel aggregate nodes to Interpreter (commit: 8758846) (details / githubweb)
  45. added tests for index aggregates (commit: 2e50b59) (details / githubweb)
  46. formatted (commit: 728017b) (details / githubweb)
  47. Update src/Synthesiser.cpp (commit: 24ef7a8) (details / githubweb)
  48. Update src/Synthesiser.cpp (commit: 5589595) (details / githubweb)
  49. Update tests/evaluation/aggregates7/aggregates7.dl (commit: 90d61e9) (details / githubweb)
  50. remove redundant files (commit: 92eebdf) (details / githubweb)
  51. reinstated parallel_start macro (commit: e6f3e00) (details / githubweb)
  52. Update tests/evaluation/aggregates7/aggregates7.dl (commit: 8b11a31) (details / githubweb)
  53. updated descriptions of Index[Parallel]Aggregate (commit: e597e88) (details / githubweb)
  54. update aggregate tests to differentiate between count and max results (commit: 768b713) (details / githubweb)
  55. Don't materialize aggregates that are the only literal in the rule (commit: e9b2f94) (details / githubweb)
  56. Use output-dir for output (commit: 5664f59) (details / githubweb)
  57. Removed char* + int operation. (commit: d22a106) (details / githubweb)
  58. Move IO transform logic out of AstTranslator (commit: 8c191e3) (details / githubweb)
  59. Move -D- handling into IO transformer (commit: 7324522) (details / githubweb)
  60. Split IO transformer into defaults and attributes transformers (commit: 97f22cf) (details / githubweb)
  61. Added subtransformer-getter for metatransformers. (commit: ea629da) (details / githubweb)
  62. Move ast transforms to appropriate subdirs (commit: 154ed4a) (details / githubweb)
  63. Update documentation (commit: 3c85eee) (details / githubweb)
  64. Fix transformer name (commit: af9479f) (details / githubweb)
  65. Used fixed key for type information in internal IO stream json. (commit: cb762fa) (details / githubweb)
  66. Added extra IO test testing for name IO tag != true relation name. (commit: a3fdfa3) (details / githubweb)
  67. Fixed ram_relation unit test to match new internal IO JSON format. (commit: 0b438f1) (details / githubweb)
  68. Fixed style. (commit: 3aa3a69) (details / githubweb)
  69. Remove AstIOs when their AstRelation is removed (commit: f7b6abe) (details / githubweb)
  70. Fixed a missing key change in synthesiser. (commit: 80c717b) (details / githubweb)
  71. disable magic set tests until rewritten (commit: 3b8bc69) (details / githubweb)
  72. Update documentation about primitive types (commit: 820df26) (details / githubweb)
  73. Added clone method to transformers (needs some fixup though). (commit: 67e32fe) (details / githubweb)
  74. Changed unique pointer use in pipeline cloning to raw pointers. (commit: 95092af) (details / githubweb)
  75. Added new constructor for pipeline transformer. (commit: e5b2126) (details / githubweb)
  76. Fixed formatting. (commit: f915d6d) (details / githubweb)
  77. Made some final fixups to the clone method. (commit: 5916697) (details / githubweb)
  78. Fixed up pipeline changes post-merge. (commit: b01a2d1) (details / githubweb)
  79. Refactor to use souffle::clone (commit: c17e621) (details / githubweb)
  80. Remove stray semicolon (commit: 7dff8c7) (details / githubweb)
  81. Refactor unsafe casting (commit: 6bfe0d7) (details / githubweb)
  82. Refactor some more opaque clones (commit: eb8fe74) (details / githubweb)
  83. make each visitAggregate function reflect each other more closely (commit: 7d1be9a) (details / githubweb)
  84. Don't include directories when searching for souffle binary (commit: 19464ef) (details / githubweb)
  85. add overflow tests for aggregate mean (commit: e6cd28c) (details / githubweb)
  86. style fix (commit: 77083c4) (details / githubweb)
  87. Only search PATH for binaries (commit: a4d9082) (details / githubweb)
  88. fixed .dl extraneous whitespace (commit: 6fb165d) (details / githubweb)
  89. 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: 3452aea) (details / githubweb)

GitHub pull request #1551 of commit 3452aea7ffd1d804391a940c2bf4b44e286cf00f, has merge conflicts.

Revision: 3452aea7ffd1d804391a940c2bf4b44e286cf00f
  • detached

Aborted by user anonymous