Started 7 days 10 hr ago
Took 24 min on VM1

Success Build #2045 (Jul 27, 2020, 12:30:10 PM)

Indexed Inequalities in Souffle
https://github.com/souffle-lang/souffle/pull/1549
PR #1549
Changes
  1. added indexed inequalities for at most 1 inequality (commit: 35a000b) (details / githubweb)
  2. fixed errors in synthesiserrelation (commit: 6e21904) (details / githubweb)
  3. finally got working indexed inequalities with naive method (commit: c1175db) (details / githubweb)
  4. fixed bug with more->less edges (commit: 0cccf2d) (details / githubweb)
  5. trying experimental method (commit: cd1a133) (details / githubweb)
  6. implemented working chain merging optimisation (commit: 4d356bd) (details / githubweb)
  7. moved implementations from header to cpp file (commit: 6d18be6) (details / githubweb)
  8. refactored SynthesiserRelation to handle range queries (commit: 8941b37) (details / githubweb)
  9. cleaned up some code (commit: b6ee571) (details / githubweb)
  10. added new algorithm for window query (commit: d7304b0) (details / githubweb)
  11. removed experiment files (commit: 6010e6b) (details / githubweb)
  12. fixed bug in attributes to discharge method (commit: dce3136) (details / githubweb)
  13. fixed error with inequalities in single length chains (commit: 152233b) (details / githubweb)
  14. fixed error with backtracking chains on equal/inequal (commit: 2f83e01) (details / githubweb)
  15. rectified many errors with indexing inequalities (commit: 13d7cfb) (details / githubweb)
  16. refactored STL container choices to support better index selection (commit: bd2e4a5) (details / githubweb)
  17. Properly refactored merging algorithms to ensure no inequalities are discharged (commit: b42219b) (details / githubweb)
  18. refactored naive merging code (commit: 4a95106) (details / githubweb)
  19. Fixed up discharging algorithm some more (commit: 3e315fe) (details / githubweb)
  20. removed print statement (commit: 52e8eae) (details / githubweb)
  21. handled eq case by introducing subset function (commit: 9fe09c2) (details / githubweb)
  22. finalised algorithm implementationgit add . (commit: b915458) (details / githubweb)
  23. fixed dumb bug (commit: 6db70f4) (details / githubweb)
  24. added padding from the calling ram index operation for range query and support for multiple types (commit: 907d020) (details / githubweb)
  25. added unsigned inequalities (commit: 3e9ffb8) (details / githubweb)
  26. latest version w/provenance test failing (commit: 962ea6d) (details / githubweb)
  27. fixed supremum and infimum with different types (commit: 9f7d4eb) (details / githubweb)
  28. removed my large binaries... (commit: e558630) (details / githubweb)
  29. added supremum and infimum bounds for parallel index aggregate operations (commit: 650b83b) (details / githubweb)
  30. reorder AstProvenanceNegation and AstNegation, and RamProvenanceExistenceCheck and RamExistenceCheck so the special provenance checks are generated properly (commit: 1cfa01a) (details / githubweb)
  31. fix generation of lowerUpperRanges for provenance existence checks (commit: f75b6f9) (details / githubweb)
  32. changed order from left to right for readability (commit: a07567a) (details / githubweb)
  33. fix index generation for ProvenanceExistenceCheck (commit: feaa3ef) (details / githubweb)
  34. fix issues synthesising values for ProvenanceExistenceChecks (commit: 9c700f8) (details / githubweb)
  35. accidentally included something wrong (commit: 0b90149) (details / githubweb)
  36. commented out subtree heights from test suite (commit: 28b7168) (details / githubweb)
  37. add internal params representations (commit: 16756bb) (details / githubweb)
  38. minor code style improvements (commit: 1162733) (details / githubweb)
  39. more style changes (commit: 87cc7d1) (details / githubweb)
  40. clang format for IOAttribute (commit: ee646eb) (details / githubweb)
  41. remove subtreeHeights provenance method (commit: cba9ce3) (details / githubweb)
  42. remove unneeded existence check with provenance and interpreter (commit: 6026fa3) (details / githubweb)
  43. delete commented code and formatting (commit: 7a2ffb5) (details / githubweb)
  44. fix interpreter semantics for ProvenanceExistenceCheck and add assertions to ensure that payload arguments are fully specified (commit: e396732) (details / githubweb)
  45. Try adding inline keyword to fix duplicate symbol error (commit: 4d2fad0) (details / githubweb)
  46. Add another inline keyword (commit: 36ce8f8) (details / githubweb)
  47. symbol2numeric: use if constexpr to fix duplicate symbol linker error (commit: 84b304e) (details / githubweb)
  48. Fix formatting (commit: 1c524ac) (details / githubweb)
  49. Set higher precision for csv output (commit: 4a72a6e) (details / githubweb)
  50. Update tests to match extended float output (commit: 89dd923) (details / githubweb)
  51. fixed issues with provenance (commit: 4f5d6e4) (details / githubweb)
  52. some refactoring to get more efficient implementations of core algorithms (commit: af1a810) (details / githubweb)
  53. removed .set method in favor of convenient overloaded [] operator (commit: c5bf730) (details / githubweb)
  54. support json object style output (commit: ea7a7c8) (details / githubweb)
  55. created helper function for padding lower/upper bounds for range query in synthesiser (commit: eb5d507) (details / githubweb)
  56. auto recognize read format & bug fixs (commit: e2a8030) (details / githubweb)
  57. refactored backtracking the chains to lexorder (commit: 8fb3604) (details / githubweb)
  58. Use enum class instead of enum for Diagnostic message type (commit: 072d1cd) (details / githubweb)
  59. Extend base type error message (commit: 5449521) (details / githubweb)
  60. PR feedback (commit: f44dae0) (details / githubweb)
  61. massively refactored chain merging algorithm into something readable (commit: d42f654) (details / githubweb)
  62. removed some comments (commit: b22e466) (details / githubweb)
  63. removed binaries (commit: 2fe2267) (details / githubweb)
  64. fixed style (commit: ab8fe94) (details / githubweb)
  65. removed files in souffle root (commit: 3ea186c) (details / githubweb)

GitHub pull request #1549 of commit d4220cf18882c9f4c54d79f8cbac29f107d9a75d, has merge conflicts.

Revision: d4220cf18882c9f4c54d79f8cbac29f107d9a75d
  • detached