100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
Optimise RAM Choice to use "True" for filter when no filters exist...
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
Purged provenance-specific constructs from the...
Purged provenance-specific constructs from the...
Removes deprecated AC_CONFIG_MACRO_DIR
https://github.com/souffle-lang/souffle/pull/1835
PR #1835
WIP: Post-PR cleanups
https://github.com/souffle-lang/souffle/pull/1830
PR #1830
WIP: Post-PR cleanups
https://github.com/souffle-lang/souffle/pull/1830
PR #1830
Purged provenance-specific constructs from the...
Purged provenance-specific constructs from the...
WIP: Support for Python bindings using...
Purged provenance-specific constructs from the...
Purged provenance-specific constructs from the...
Purged provenance-specific constructs from the...
WIP: Support for Python bindings using...
WIP: Support for Python bindings using...
WIP: Support for Python bindings using...
WIP: Support for Python bindings using...
WIP: Support for Python bindings using...
WIP: Support for Python bindings using...
WIP: Post-PR cleanups
https://github.com/souffle-lang/souffle/pull/1830
PR #1830
Purged provenance-specific constructs from the...
Purged provenance-specific constructs from the...
Addressed potential nullptr dereference - MERGE...
Purged provenance-specific constructs from the...
RFC: Experimental support for better Python bindings through...

Changes

#2514 (Jan 15, 2021, 6:04:11 PM)

  1. Changes to make distcheck work. (commit: b0da9b9) — puverle+github / githubweb

#2510 (Jan 13, 2021, 3:38:57 PM)

  1. Added support for provenance. (commit: df617c9) — puverle+github / githubweb
  2. Improved noxfile and tool detection for Python. (commit: 21b6182) — puverle+github / githubweb

#2509 (Jan 13, 2021, 8:11:03 AM)

  1. Small updates. (commit: 0251739) — tom / githubweb

#2505 (Jan 8, 2021, 6:33:07 PM)

  1. Add auxiliary function in Order and Index classes. (commit: 974edb4) — 573119056 / githubweb
  2. Remove left-over code from before. (commit: 9ec2d6b) — 573119056 / githubweb
  3. Finish compilation time reordering. (commit: bd0d4d2) — 573119056 / githubweb
  4. Refactor getProgram() (commit: 7e212b4) — Bernhard.Scholz / githubweb
  5. Fixed test-cases (commit: 9d67a62) — Bernhard.Scholz / githubweb
  6. Tidy up RAM TranslationUni (commit: d514657) — Bernhard.Scholz / githubweb
  7. Remove forward class declaration (commit: 773b7f6) — Bernhard.Scholz / githubweb
  8. Added enough information to translator for SIPS. (commit: 3e739b6) — azre6702 / githubweb
  9. Moved SIPS creation logic into actual SipsMetric class. (commit: 3daa8e2) — azre6702 / githubweb
  10. Updated translator to create SIPS more naturally. (commit: 8a5d614) — azre6702 / githubweb
  11. Added input SIPS. (commit: 83364a4) — azre6702 / githubweb
  12. Added names to the three new translator-related heuristics. (commit: a8e7089) — azre6702 / githubweb
  13. Pushed out class definitions out of main ast2ram translator. (commit: 9c99f55) — azre6702 / githubweb
  14. Removed unused declarations in ast2ram. (commit: a3cfca9) — azre6702 / githubweb
  15. Fix reading from exec output (commit: 91ae220) — mmcgrane / githubweb
  16. Cleaned up first round of includes in ast2ram. (commit: 21449a3) — azre6702 / githubweb
  17. add missing casts for indirect relations comparators. (commit: 0251442) — afloresmontoya / githubweb
  18. Removed ram includes from ast2ram header. (commit: 0bcd7c3) — azre6702 / githubweb
  19. Removed almost all ast includes from ast2ram. (commit: ed3615a) — azre6702 / githubweb
  20. Removed symbol table dependency from ast2ram header. (commit: d21672d) — azre6702 / githubweb
  21. New cmp test-case (commit: c985773) — Bernhard.Scholz / githubweb
  22. Added header (commit: 0bdeeec) — Bernhard.Scholz / githubweb
  23. Remove helper IO API. (commit: 3c83ca7) — 573119056 / githubweb
  24. removing state from functors (adopting Bernhard's branch) (commit: 1eb5d72) — tytus.metrycki / githubweb
  25. Wrapped ast2ram translator in ast2ram namespace. (commit: 3a7dcf7) — azre6702 / githubweb
  26. Reordered private/protected/public scopes to be consistent. (commit: c7c0ef9) — azre6702 / githubweb
  27. Moved provenance clause translator into its own file. (commit: c8de8b8) — azre6702 / githubweb
  28. Add test for reordering. (commit: e29c9e5) — 573119056 / githubweb
  29. Moved clause translator out into its own file. (commit: beb441f) — azre6702 / githubweb
  30. Moved ValueIndex into its own ast2ram file. (commit: 3fb3ae6) — azre6702 / githubweb
  31. First attempt with basic correctness. (commit: b9dd8d2) — 573119056 / githubweb
  32. Fixed formatting. (commit: ae6ecc8) — azre6702 / githubweb
  33. Refactor macro naming and template design. (commit: 6beefac) — 573119056 / githubweb
  34. Add test for interpreter relation (commit: 8ef4386) — 573119056 / githubweb
  35. Enable specialized 0-arity souffle::tuple across all platforms to avoid warning in the interpreter. (commit: 907cf32) — 573119056 / githubweb
  36. Split up Location into its own file. (commit: 540f656) — azre6702 / githubweb
  37. Remove unused functions. (commit: c85dd13) — 573119056 / githubweb
  38. Refactor InterpreterRelation class. (commit: 93228b8) — 573119056 / githubweb
  39. Fix minor errors. Fix compile time warning when compared to unsigned 0. (commit: 587d8f0) — 573119056 / githubweb
  40. Better approach to avoid compiler warning. (commit: 761c447) — 573119056 / githubweb
  41. Refactor InterpreterNode. Add comment for macros. (commit: afa599c) — 573119056 / githubweb
  42. Manange include files. (commit: 2b685fc) — 573119056 / githubweb
  43. Factory to speedup compiltation time (hopefully). (commit: bbdd6c6) — 573119056 / githubweb
  44. Split relation creations into its own file. (commit: dec5f96) — 573119056 / githubweb
  45. Cleaned up some more includes in ast2ram. (commit: 164f342) — azre6702 / githubweb
  46. Cleaned up includes in ast2ram translator cpp. (commit: 6ab051b) — azre6702 / githubweb
  47. Refactor (commit: 43b91fc) — 573119056 / githubweb
  48. Refactor (commit: 7bf3b21) — 573119056 / githubweb
  49. Refactor (commit: a27ec32) — 573119056 / githubweb
  50. Update CASE macro, update makefile. (commit: e63d7fd) — 573119056 / githubweb
  51. Add parallel instruction. (commit: e988fca) — 573119056 / githubweb
  52. Automate type defer and casting. (commit: 35b0e2f) — 573119056 / githubweb
  53. Disconnected Location from AstToRamTranslator. (commit: c22b941) — azre6702 / githubweb
  54. Disable specialization for IO operation. (commit: 9d5fbde) — 573119056 / githubweb
  55. Remove unnecessary files. (commit: 4bbb6d4) — 573119056 / githubweb
  56. Add interfaces in Eqrel for interpreter. (commit: ee9523f) — 573119056 / githubweb
  57. Fix makefile (commit: 6f895df) — 573119056 / githubweb
  58. Fix makefile format (commit: 7d466ca) — 573119056 / githubweb
  59. Separated ValueIndex from AstToRamTranslator. (commit: bcd2780) — azre6702 / githubweb
  60. Clean up and formatting. (commit: 55d5be2) — 573119056 / githubweb
  61. add util file (commit: 223be62) — 573119056 / githubweb
  62. remove indirect index (commit: 42101ee) — 573119056 / githubweb
  63. Requested fix. (commit: bac6f10) — 573119056 / githubweb
  64. Fix iterator misusage in the test case. (commit: edcb37d) — 573119056 / githubweb
  65. clang-format (commit: ace5ad5) — tytus.metrycki / githubweb
  66. Add missing virtual destructor. (commit: f65d937) — 573119056 / githubweb
  67. Protect frequency counter from concurrent modification (commit: fc89db9) — mmcgrane / githubweb
  68. Update changelog (commit: 3a1ed04) — mmcgrane / githubweb
  69. Update changelog (commit: a65bdcd) — mmcgrane / githubweb
  70. Move ram analysis test to ram/tests (commit: afa4a83) — mmcgrane / githubweb
  71. Add missing headers (commit: 8cd095a) — mmcgrane / githubweb
  72. Use using (commit: 7cb073a) — mmcgrane / githubweb
  73. Modernise c++ idioms (commit: e895740) — mmcgrane / githubweb
  74. Remove redundant mkdir (commit: dbf863a) — mmcgrane / githubweb
  75. Ensure variable is initialised (commit: 13ce392) — mmcgrane / githubweb
  76. Removed size initialisation for cost metric vector. (commit: 27f553c) — azre6702 / githubweb
  77. Removed unused forward declarations from Ast2Ram. (commit: fd6bb9c) — azre6702 / githubweb
  78. Separated clause translators from the main translator! (commit: 064f1c8) — azre6702 / githubweb
  79. Added some getters to the translator. (commit: 0a2b624) — azre6702 / githubweb
  80. Cleanup of some final includes. (commit: fe8ec6f) — azre6702 / githubweb
  81. Finish initial implementation of FunctorAnalysis (commit: 813a10a) — tytus.metrycki / githubweb
  82. PR feedback (commit: 6b3b526) — tytus.metrycki / githubweb
  83. requested fix (commit: 82a9eaf) — 573119056 / githubweb
  84. Update src/interpreter/InterpreterBrieIndex.cpp (commit: 397d7d6) — noreply / githubweb
  85. Update src/interpreter/InterpreterEqrelIndex.cpp (commit: 22301c0) — noreply / githubweb
  86. Update src/interpreter/InterpreterBTreeIndex.cpp (commit: dbec4dc) — noreply / githubweb
  87. Update src/ast/IntrinsicFunctor.h (commit: 553408e) — noreply / githubweb
  88. Add Zulip links to README (commit: b5c3054) — luc.tielen / githubweb
  89. Update src/interpreter/InterpreterRelation.h (commit: 290adba) — noreply / githubweb
  90. clang-format (commit: b1fc9fb) — tytus.metrycki / githubweb
  91. Fixes (commit: 8e5b727) — Bernhard.Scholz / githubweb
  92. Fixed naming (commit: 232eb93) — Bernhard.Scholz / githubweb
  93. Add interpreter namespace (commit: 1b0b0f6) — mmcgrane / githubweb
  94. Standardise size_t usage (commit: 690ef5e) — mmcgrane / githubweb
  95. Fixed multiple inequalities bug with interpreter (commit: ff6da0e) — sarc9328 / githubweb
  96. Added test for multiple inequalities (commit: 93c89ae) — sarc9328 / githubweb
  97. Update multiple_inequalities.dl (commit: de100ee) — noreply / githubweb
  98. Refactoring RAM dirs (commit: cd6e9cf) — Bernhard.Scholz / githubweb
  99. Fixed Makefile (commit: 596607a) — Bernhard.Scholz / githubweb
  100. Revert fix (commit: 67c3982) — Bernhard.Scholz / githubweb
  101. Fixed formatting. (commit: 0478f28) — azre6702 / githubweb
  102. Fixed lingering conflict issues. (commit: 78e2595) — azre6702 / githubweb
  103. Fixed ram include. (commit: ed219ef) — azre6702 / githubweb
  104. Fixed provenance licenses. (commit: d3693a7) — azre6702 / githubweb
  105. Add generated file to .gitignore (commit: de027ef) — mmcgrane / githubweb
  106. Fix type clash (commit: 9225bf5) — Bernhard.Scholz / githubweb
  107. Refactor Relation Reference (commit: 7d793b9) — Bernhard.Scholz / githubweb
  108. Fixes (commit: 462aafe) — Bernhard.Scholz / githubweb
  109. Minor changes for ast2ram cleaning. (commit: acb0eb5) — azre6702 / githubweb
  110. Minor changes to ast2ram for clarity. (commit: ec4b97d) — azre6702 / githubweb
  111. Made value index a uniq pointer. (commit: 9226dab) — azre6702 / githubweb
  112. Removed unnecessary include. (commit: 01d591c) — azre6702 / githubweb
  113. Removed unnecessary analysis in clause translator. (commit: adac366) — azre6702 / githubweb
  114. Removed need for nodeArgs/arg_list in ValueIndex. (commit: 2efffad) — azre6702 / githubweb
  115. Fixed formatting. (commit: 2788d7f) — azre6702 / githubweb
  116. Cleaned up bloat in ast2ram/Location.h. (commit: 80de76b) — azre6702 / githubweb
  117. Removed final non-util include from ast2ram headers. (commit: c7d1b7c) — azre6702 / githubweb
  118. Removed translator header from ClauseTranslator header. (commit: 672322c) — azre6702 / githubweb
  119. Fix type clash (commit: 7c5e6ba) — azre6702 / githubweb
  120. Removed translator header from ClauseTranslator header. (commit: 424d532) — azre6702 / githubweb
  121. Fixed first range bug. (commit: fc619a0) — azre6702 / githubweb
  122. Added test for range bug. (commit: bbd733f) — azre6702 / githubweb
  123. Fixed typo. (commit: 59e6cee) — azre6702 / githubweb
  124. Refactor refs (commit: d298f3f) — Bernhard.Scholz / githubweb
  125. Reduce to RAM (commit: 810c6d4) — Bernhard.Scholz / githubweb
  126. Make translator work (commit: a5d5d55) — Bernhard.Scholz / githubweb
  127. Removed NormaliseConstraints AST transformer. (commit: 284a880) — azre6702 / githubweb
  128. Fixed (commit: 8e6686b) — Bernhard.Scholz / githubweb
  129. Added template for NormaliseRanges transformer. (commit: f7be14b) — azre6702 / githubweb
  130. Assigned unique names to all range appearances in the AST. (commit: 5bfe435) — azre6702 / githubweb
  131. Finished off range normaliser. (commit: f9b2a78) — azre6702 / githubweb
  132. Fixed `changed` result for range normaliser. (commit: 022755e) — azre6702 / githubweb
  133. Stopped resolving range aliases in the AST. (commit: 80bb59e) — azre6702 / githubweb
  134. Interpreter fixes (commit: 4e52f55) — Bernhard.Scholz / githubweb
  135. Fixed search (commit: d73a3c1) — Bernhard.Scholz / githubweb
  136. Fixed interpreter generator (commit: 8d56873) — Bernhard.Scholz / githubweb
  137. Fixes (commit: c8999a1) — Bernhard.Scholz / githubweb
  138. Fixed float equality for interpreter and added test (commit: 340bc97) — sarc9328 / githubweb
  139. Fixed style on float test case (commit: b1bfc3e) — sarc9328 / githubweb
  140. fixed styling again... (commit: 37e963b) — sarc9328 / githubweb
  141. Fixed synthesiser (commit: f219d06) — Bernhard.Scholz / githubweb
  142. First running synthesiser (commit: 721b1c4) — Bernhard.Scholz / githubweb
  143. fixed style final (commit: 1b0982b) — sarc9328 / githubweb
  144. Remove subtyping of records (commit: 7562b88) — tytus.metrycki / githubweb
  145. AST constraint added, and recognised in scanner/parser (commit: 1342174) — j.karp / githubweb
  146. Refactoring analysis/transforms (commit: a1173cc) — Bernhard.Scholz / githubweb
  147. Added relation lookup analysis (commit: f5a7a01) — Bernhard.Scholz / githubweb
  148. Restore main (commit: 1d01e3b) — Bernhard.Scholz / githubweb
  149. Added analysis (commit: ac55848) — Bernhard.Scholz / githubweb
  150. Fixed parallel (commit: b1a44c5) — Bernhard.Scholz / githubweb
  151. Fixed provenance (commit: 079a583) — Bernhard.Scholz / githubweb
  152. Fix the profiler (commit: 675d766) — Bernhard.Scholz / githubweb
  153. Fixed test cases (commit: eaae6e0) — Bernhard.Scholz / githubweb
  154. Ensure all FDs exist in relation, and set their positions (commit: 6581799) — j.karp / githubweb
  155. Added functionality of enforcing functional dependencies on a relation (required altering ClauseTranslator::createOperation() function declaration) (commit: 1444a02) — j.karp / githubweb
  156. Interpreter and synthesiser support for new FDExistenceCheck (enforcing functional dependencies on a relation) (commit: aed8111) — j.karp / githubweb
  157. Clean up (commit: b2bd0f9) — j.karp / githubweb
  158. Printing FD (commit: e8454c0) — j.karp / githubweb
  159. ci: Set CXX to clang++ for Ubuntu Bionic Clang++ build (commit: f56106d) — langston.barrett / githubweb
  160. Fix order (commit: 5873393) — Bernhard.Scholz / githubweb
  161. fixes (commit: cfc82d8) — Bernhard.Scholz / githubweb
  162. Add special case for printing negation functor (commit: a7fdfdf) — mmcgrane / githubweb
  163. Fixed makefile (commit: f9c32d3) — Bernhard.Scholz / githubweb
  164. Perform full evaluation suite on travis (commit: e8dd6ea) — mmcgrane / githubweb
  165. Fix linting issues (commit: 6199699) — Bernhard.Scholz / githubweb
  166. Fix variable names (commit: d368066) — Bernhard.Scholz / githubweb
  167. Add range-introduction variables. (commit: 51c6566) — azre6702 / githubweb
  168. Incorporated feedback (commit: 5483778) — Bernhard.Scholz / githubweb
  169. Added atom deps that should be ignored in MST. (commit: 12f8fb8) — azre6702 / githubweb
  170. Add RecordTable to SouffleInterface (commit: 62242f0) — mmcgrane / githubweb
  171. Refactor interface dependencies (commit: 7f429bd) — mmcgrane / githubweb
  172. Added test for MST ignored relations case. (commit: b8e8e4d) — azre6702 / githubweb
  173. Refactor RAM (commit: ed88cb6) — Bernhard.Scholz / githubweb
  174. Split up ignored relations into strongly and weakly ignored (MST). (commit: 3f3a30f) — azre6702 / githubweb
  175. Cleaned up ignored-relation finder in MST, much cleaner now. (commit: 8638f30) — azre6702 / githubweb
  176. Added const qualifier for RAM state (commit: 587edb4) — Bernhard.Scholz / githubweb
  177. Fix formatting (commit: 09d9576) — mmcgrane / githubweb
  178. Fix dl formatting (commit: fcad138) — mmcgrane / githubweb
  179. Fix merge issues (commit: 8079d35) — mmcgrane / githubweb
  180. Updated MST-ignored-property rules for counters. (commit: 89b5f8d) — azre6702 / githubweb
  181. Changed magic_ignored test to magic_posignored. (commit: 27fc5e8) — azre6702 / githubweb
  182. Fixed handling of strongly-ignored relations. (commit: 0ea2222) — azre6702 / githubweb
  183. Removed unnecessary strong-closure of relations in MST. (commit: 7af1b0f) — azre6702 / githubweb
  184. Finalised ignored-relation tests for MST. (commit: 6b6a981) — azre6702 / githubweb
  185. Ignored more relations during poslabelling for crnr cases. (commit: 7012758) — azre6702 / githubweb
  186. Separated out trivially ignored relations into separate method. (commit: 4585adb) — azre6702 / githubweb
  187. Ignored trivially-computable relations in MST correctly. (commit: cc0d966) — azre6702 / githubweb
  188. deleted extraneous comments and also make sure grounding atom for injected variable is NOT the atom in which the aggregate occurs we will get infinite recursion and I dont think it's appropriate to let users do this even if we can just replace the aggregate argument with an underscore (commit: c817bbc) — rachel.dowavic / githubweb
  189. Refactor generator for interpreter (commit: de05b24) — Bernhard.Scholz / githubweb
  190. Reformatting (commit: dc56f66) — Bernhard.Scholz / githubweb
  191. Update src/ast/transform/GroundWitnesses.cpp (commit: 4e3406c) — noreply / githubweb
  192. fixed headers (commit: df193c7) — rachel.dowavic / githubweb
  193. Remove unused parameter (commit: 3d9f07a) — mmcgrane / githubweb
  194. added `span` compat lib (commit: fa0b5d8) — ohamel / githubweb
  195. Fixed magic_negignored test fact folder. (commit: 0eb36e2) — azre6702 / githubweb
  196. Stopped labelling strongly-ignored relations entirely in MST. (commit: 448fc83) — azre6702 / githubweb
  197. fix incorrect deduction of iterator value type (commit: fe97c46) — ohamel / githubweb
  198. reduce brie template instance spam (commit: cbd0604) — ohamel / githubweb
  199. clang-format (commit: c770ad4) — ohamel / githubweb
  200. Added missing pragma to test. (commit: 53b922c) — azre6702 / githubweb
  201. all hail the linter (commit: 3921900) — ohamel / githubweb
  202. reduce # of synthesised rel wrapper instances (commit: 45c306d) — ohamel / githubweb
  203. reduced `arity_type` to `uint8_t` (commit: ab23b99) — ohamel / githubweb
  204. nfc shrinked clang-format-off region (commit: e6147bb) — ohamel / githubweb
  205. workaround for std lib issues for `tuple_size` (commit: 6a80a93) — ohamel / githubweb
  206. fix compile for `trie::find` (commit: 9e1620e) — ohamel / githubweb
  207. nfc avoid a copy (commit: 6f94434) — ohamel / githubweb
  208. Cleaned up range-introduction finding in translator. (commit: 54a96d6) — azre6702 / githubweb
  209. Extended range test to cover new bug. (commit: e7bf1c8) — azre6702 / githubweb
  210. Generalised range bug-fixing to all multi-res functors. (commit: d37d2d3) — azre6702 / githubweb
  211. Fixed FEQ vs EQ distinction in multires func resolution. (commit: 2065987) — azre6702 / githubweb
  212. Added a sneaky arg printout during ungrounded crashes. (commit: 3c910f0) — azre6702 / githubweb
  213. Started making parts of the translator clearer. (commit: b3186c9) — azre6702 / githubweb
  214. Changed translateRelation to getConcreteRelationName. (commit: c333612) — azre6702 / githubweb
  215. translate[] -> get[] renamed where appr. in ast2ram. (commit: e54d3d6) — azre6702 / githubweb
  216. Removed unnecessary header in ast2ram. (commit: 0d617a0) — azre6702 / githubweb
  217. Misc. small cleanups of ast2ram while going through it. (commit: 360bd5f) — azre6702 / githubweb
  218. Pushed out ValueTranslator into its own class. (commit: bd8f021) — azre6702 / githubweb
  219. Added ValueTranslator cpp file, starting to move things over there. (commit: 34d3d11) — azre6702 / githubweb
  220. Moved over ValueTranslator functionality to cpp. (commit: 16ea32d) — azre6702 / githubweb
  221. Moved value translator instantation into itself. (commit: 48ccaca) — azre6702 / githubweb
  222. Removed some unnecessary includes from ast2ram.cpp. (commit: 1461ab6) — azre6702 / githubweb
  223. fix mistaken clang-tidy warning (commit: a93c356) — ohamel / githubweb
  224. brie iterator improvements (commit: b751dad) — ohamel / githubweb
  225. nfc moved brie guts to `detail::brie` (commit: ba31663) — ohamel / githubweb
  226. removed assumption of octet `char` (commit: 6eec247) — ohamel / githubweb
  227. abstracted uses of `RamDomain` in brie as prelude to parameterisation (commit: c101e36) — ohamel / githubweb
  228. sent `Tuple` to pasture (commit: 3fd59a8) — ohamel / githubweb
  229. fix MSVC warning (commit: e794675) — ohamel / githubweb
  230. improve synth compile time by avoiding `SignalHandler::instance()` spam (commit: b774e78) — ohamel / githubweb
  231. fix move order bug + 2x domain of records ids (commit: a7ebb5a) — ohamel / githubweb
  232. avoid a copy (commit: 87857d3) — ohamel / githubweb
  233. nfc comment typo (commit: 5dd70e7) — ohamel / githubweb
  234. reduce warnings in synth code (commit: c248547) — ohamel / githubweb
  235. fix use of potentially unavailable overload (commit: 195b898) — ohamel / githubweb
  236. Optimize encoding of enumerations (commit: 4f45295) — tytus.metrycki / githubweb
  237. avoid leaking helper defines (commit: 6e94d57) — ohamel / githubweb
  238. nfc remove internal type alias from external API (commit: a3f4f37) — ohamel / githubweb
  239. I cannot spell to save my life. (commit: 5398f15) — noreply / githubweb
  240. the variadic overload was a bad idea anyways (commit: aaf2c9d) — ohamel / githubweb
  241. Moved out ConstraintTranslator into its own file. (commit: 73ab0e6) — azre6702 / githubweb
  242. Moved over constraint-translator functionality into cpp file. (commit: 5b401e1) — azre6702 / githubweb
  243. Removed unnecessary includes from constr-tr header. (commit: 2a5642e) — azre6702 / githubweb
  244. Added interface for constraint translation that should be used. (commit: 9d70b53) — azre6702 / githubweb
  245. Removed unnecessary include from ast2ram header. (commit: 05c2b32) — azre6702 / githubweb
  246. Removed lingering unneeded include. (commit: 668568c) — azre6702 / githubweb
  247. Separate Type Checker from Semantic Checker. (commit: b3493c9) — tytus.metrycki / githubweb
  248. fix struct/class mismatch (commit: ac3c673) — ohamel / githubweb
  249. for min aggregate, leave loop early if we know we have the minimum. (commit: bcaa770) — afloresmontoya / githubweb
  250. suppress MSVC warnings (commit: e6baa90) — ohamel / githubweb
  251. Add missing includes (commit: cd288ad) — noreply / githubweb
  252. adopt linter suggestion. (commit: 7fdfc7b) — afloresmontoya / githubweb
  253. clang-format (commit: 14e99da) — tytus.metrycki / githubweb
  254. check representation is btree. (commit: 5c154ed) — afloresmontoya / githubweb
  255. test min aggregate optimization. (commit: 3d1ffb5) — afloresmontoya / githubweb
  256. make sure tests don't work because we are lucky. (commit: 36d3a13) — afloresmontoya / githubweb
  257. test for brie and unsigned. (commit: 0905175) — afloresmontoya / githubweb
  258. avoid relation in test being optimized away. (commit: 2c7ed34) — afloresmontoya / githubweb
  259. add some unsigned numbers that would be negative for signed interpretation. (commit: f04514e) — afloresmontoya / githubweb
  260. Relax type constraints involving negation. (commit: f61416e) — tytus.metrycki / githubweb
  261. Fix profile event output escaping (commit: 88cf00c) — mmcgrane / githubweb
  262. Unfriend ast::Program and ComponentInstantiationTransformer (commit: 6b9cabb) — tytus.metrycki / githubweb
  263. added deprecated back-compat overload (commit: 91b9ade) — ohamel / githubweb
  264. bumped `arity_type` to `uint32_t` (commit: fe54507) — ohamel / githubweb
  265. Use Focal for travis docker images (commit: 15ff674) — mmcgrane / githubweb
  266. Make deb packages for bionic on travis (commit: cf6b29b) — mmcgrane / githubweb
  267. Refactoring Interpreter (commit: 1a806f0) — Bernhard.Scholz / githubweb
  268. Move variable attributes to the end of class (commit: 152b361) — 573119056 / githubweb
  269. Levels fix for nesting existence checks (commit: cbe88d2) — j.karp / githubweb
  270. Solve ownership issue between engine & generator (commit: c9a8dce) — 573119056 / githubweb
  271. seperate generator into .h and .cpp (commit: 751f18d) — 573119056 / githubweb
  272. add new cpp file (commit: b96c06b) — 573119056 / githubweb
  273. fix includes (commit: ee8c018) — 573119056 / githubweb
  274. clang format (commit: e948013) — 573119056 / githubweb
  275. Added type analysis as a part of functor analysis. (commit: 7d906dd) — azre6702 / githubweb
  276. Moved over UDF functor analysis stuff to type analysis. (commit: e35e9d7) — azre6702 / githubweb
  277. Moved over intrinsic stuff to type analysis too! (commit: 4db033f) — azre6702 / githubweb
  278. Removed unnecessary private fields in functor analysis. (commit: 15b49a8) — azre6702 / githubweb
  279. Moved over validOverloads to typeanalysis. (commit: 7fd8b2f) — azre6702 / githubweb
  280. Changed type analysis into a fixpoint loop. (commit: d25fbd0) — azre6702 / githubweb
  281. Removed the need for try/catch in functor type analysis! (commit: fd9f68d) — azre6702 / githubweb
  282. Fixed up valid-overload checking for poly functors. (commit: 220bb01) — azre6702 / githubweb
  283. Added invalid functor error when needed! (commit: 2905b7c) — azre6702 / githubweb
  284. Counted invalid functor adding as a change in type analysis. (commit: 586d992) — azre6702 / githubweb
  285. Cleaned up interface to validOverloads. (commit: 4303725) — azre6702 / githubweb
  286. Updated polytransformer to be a fixpoint that removes invalid. (commit: 0a00b6d) — azre6702 / githubweb
  287. Removed validOverloads from ast utils. (commit: 577e8cd) — azre6702 / githubweb
  288. Fixed up return type analysis for functors!!! (commit: 753e18d) — azre6702 / githubweb
  289. Minor clean-up of type code. (commit: e2466e2) — azre6702 / githubweb
  290. Set up interface foundations for PO analysis. (commit: abe6d44) — azre6702 / githubweb
  291. Filled out polym analysis functionality. (commit: 622217b) — azre6702 / githubweb
  292. Finished up basic implementation of polysis. (commit: b5b0345) — azre6702 / githubweb
  293. Pulled out UDF calculation from fixpoint loop. (commit: dc55932) — azre6702 / githubweb
  294. Renamed polysis methods to be overload related. (commit: fbecd74) — azre6702 / githubweb
  295. Added numeric-const type analysis to polysis. (commit: 6018c1e) — azre6702 / githubweb
  296. Changed built-in type var to fixed-type to reflect new purpose. (commit: 39f7263) — azre6702 / githubweb
  297. Added hasFixedType helper method to start cleaning things up. (commit: c4e3895) — azre6702 / githubweb
  298. Added invalid type check to polysis for nc's. (commit: a23d95f) — azre6702 / githubweb
  299. Added polysis to ast2ram object. (commit: 6596e2f) — azre6702 / githubweb
  300. Pushed in polysis to value translator. (commit: d0f654b) — azre6702 / githubweb
  301. Removed uses of old get type in ast2ram main. (commit: a7158b1) — azre6702 / githubweb
  302. Used polysis throughout clause translator now. (commit: 97e0100) — azre6702 / githubweb
  303. Fixed all type-getting appearances for nc except in type analyses. (commit: 30ee2e6) — azre6702 / githubweb
  304. Used polysis for nc throughout inlining. (commit: e4255b8) — azre6702 / githubweb
  305. Removed all appearances of nc from polytrans! (commit: 6c068e5) — azre6702 / githubweb
  306. Removed getType() and uses from nc. (commit: 135d087) — azre6702 / githubweb
  307. Removed lingering type-setter in NC. (commit: d2f17b7) — azre6702 / githubweb
  308. Changed getOverloadedType to getInferredType for clarity. (commit: 9f9b7fb) — azre6702 / githubweb
  309. Fixed formatting. (commit: aa9aeb9) — azre6702 / githubweb
  310. Minor comments for clarity. (commit: 3c8bdf4) — azre6702 / githubweb
  311. Moved nc polysis to type analysis. (commit: 0253005) — azre6702 / githubweb
  312. Fixed constant poly-type update in type analysis. (commit: d33db0f) — azre6702 / githubweb
  313. Fixed up tests by adding finalType to nc!! (commit: 73c6814) — azre6702 / githubweb
  314. Separated out overloaded + base op semantics for aggr. (commit: f8e5532) — azre6702 / githubweb
  315. Moved overload-handling to polysis for aggregators! (commit: 5ec136e) — azre6702 / githubweb
  316. Moved aggregator poly-type functionality to type analysis. (commit: efc5586) — azre6702 / githubweb
  317. Fixed up aggregator polysis!!! Now passes all tests!! (commit: b40da9f) — azre6702 / githubweb
  318. Moved overloaded type info for BCs into polysis!! (commit: 021cb18) — azre6702 / githubweb
  319. Removed newly unnecessary elements of polytrans. (commit: cac3bfb) — azre6702 / githubweb
  320. Moved binary constraint polysis to type system. (commit: 36109b5) — azre6702 / githubweb
  321. Fixed binary constraint polysis to have fixed final type. (commit: 487a454) — azre6702 / githubweb
  322. Fixed up bc polysis!!!!! All tests now work on it!! (commit: fe3d31f) — azre6702 / githubweb
  323. Changed getFunction to getBaseFunctionOp for inf. (commit: a83dece) — azre6702 / githubweb
  324. Added final translator type property to inf! (commit: 160580c) — azre6702 / githubweb
  325. Moved inf overload analysis into type analysis. (commit: c211acb) — azre6702 / githubweb
  326. Fixed up polysis for functors!!!!!!! (commit: a01e993) — azre6702 / githubweb
  327. Removed polytrans! (commit: 66348b8) — azre6702 / githubweb
  328. Removed unnecessary NC method. (commit: e70e9f8) — azre6702 / githubweb
  329. Fixed formatting. (commit: 8f37a33) — azre6702 / githubweb
  330. Removed unnecessary method from type analysis. (commit: bcc1367) — azre6702 / githubweb
  331. Small comment changes. (commit: 146a0d1) — azre6702 / githubweb
  332. Reduced redundancy of functor type storage in typeanalysis. (commit: ce8bda0) — azre6702 / githubweb
  333. Fixed invalid-constant calls in ast2ram translation. (commit: c6dd3a3) — azre6702 / githubweb
  334. Removed invalidConstants data structure in type analysis. (commit: 87da2f4) — azre6702 / githubweb
  335. Removed invalid functor data structure from type analysis. (commit: ddb6aae) — azre6702 / githubweb
  336. Removed some type analysis junk. (commit: 7e06093) — azre6702 / githubweb
  337. Started consolidating type-invalidity into one access point. (commit: 42f5b43) — azre6702 / githubweb
  338. Got rid of useless invalid functor method. (commit: 72b471c) — azre6702 / githubweb
  339. Cleaned up invalid op access in typeanalysis. (commit: be3d8e0) — azre6702 / githubweb
  340. Removed need for hasProcessedFunctor. (commit: a1f22af) — azre6702 / githubweb
  341. Moved out type analysis components in separate methods. (commit: 20895fc) — azre6702 / githubweb
  342. Fixed a typo. (commit: 2df69bc) — azre6702 / githubweb
  343. Made variable namings more consistent for aggs and infs. (commit: 053069a) — azre6702 / githubweb
  344. Moved type-attribute-getter to its own method. (commit: 6d95796) — azre6702 / githubweb
  345. Cleaned up validOverloads. (commit: c19bf69) — azre6702 / githubweb
  346. Renamed validOverloads -> getValidIntrinsicFunctorOverloads. (commit: baa075f) — azre6702 / githubweb
  347. Minor comment change. (commit: 6b4994d) — azre6702 / githubweb
  348. Minor clarity change. (commit: f04895f) — azre6702 / githubweb
  349. remove leftover code (commit: 76bf978) — 573119056 / githubweb
  350. Print infix operators correctly from AST (commit: 8132bc8) — mmcgrane / githubweb
  351. Minor quality changes. (commit: ecbaf25) — azre6702 / githubweb
  352. Removed TypeCast remover from AST. (commit: 28c47cd) — azre6702 / githubweb
  353. Fixes for FDExistenceCheck to be recognised in new source (commit: e41253e) — j.karp / githubweb
  354. Moved adt-lowering logic to translator. (commit: 6d504f8) — azre6702 / githubweb
  355. Removed ADT transformer from AST entirely. (commit: 3116606) — azre6702 / githubweb
  356. Small cleanups. (commit: a3e4dc5) — azre6702 / githubweb
  357. Made single-line returns triple-line. (commit: 9eae1cd) — azre6702 / githubweb
  358. Added final types to binary constraints for subroutine args. (commit: 977a21d) — azre6702 / githubweb
  359. Added final type to newly added bc in ast2ram translator. (commit: 2728817) — azre6702 / githubweb
  360. Added in return type to temp ast2ram transf. annotations. (commit: a3667ef) — azre6702 / githubweb
  361. Cleaned up type analysis headers. (commit: 5f27e2a) — azre6702 / githubweb
  362. Moved out type constraints/deduction lattice to new file. (commit: e1a2648) — azre6702 / githubweb
  363. Made floating functions into static methods in TA. (commit: 26413e8) — azre6702 / githubweb
  364. Moved over most typeconstr functionality to cpp instead of h. (commit: a4831eb) — azre6702 / githubweb
  365. Cleaned up the type constraints analysis files. (commit: 3d0de79) — azre6702 / githubweb
  366. Removed polyanalysis from subtranslators. (commit: f858421) — azre6702 / githubweb
  367. Removed some srclocation redundancy from main translator. (commit: 38c4b48) — azre6702 / githubweb
  368. Moved inconsistent analysis out of method signatures. (commit: 69547dc) — azre6702 / githubweb
  369. Cleaned up ast2ram transf header slightly. (commit: 97d3b00) — azre6702 / githubweb
  370. Changed methods that should be static to be static. (commit: 6f94ff5) — azre6702 / githubweb
  371. Moved out SCC translation into its own method. (commit: 2c15748) — azre6702 / githubweb
  372. Moved out subsection of program translator to new method. (commit: ea1f6dd) — azre6702 / githubweb
  373. Enable _builtin_c?z for all MSC_VER compilers (commit: 681a7af) — mmcgrane / githubweb
  374. Work around new Travis OSX bugs (commit: 40ef8d6) — mmcgrane / githubweb
  375. Modularised literal translation slightly. (commit: 0060fdb) — azre6702 / githubweb
  376. Moved out provenance clause subroutine adder into own method. (commit: 7a0b5b6) — azre6702 / githubweb
  377. Improved clarity of translator. (commit: 09d1c72) — azre6702 / githubweb
  378. Moved some logic around to make provenance subclass easier to add. (commit: 0c6f5e3) — azre6702 / githubweb
  379. Moved over bulk of provenance code to provenance translator. (commit: e87cd96) — azre6702 / githubweb
  380. Cleaned up include headers in translator. (commit: d98251c) — azre6702 / githubweb
  381. Moved all provenance stuff to the provenance translator!! (commit: 4c61b86) — azre6702 / githubweb
  382. Moved relation-name-construction to new utils file. (commit: d225693) — azre6702 / githubweb
  383. Minor cleanup to scc translator. (commit: 3a56357) — azre6702 / githubweb
  384. Gave clearer names to some ast2ram constructs. (commit: b582c1f) — azre6702 / githubweb
  385. Removed lingering functionality from translator header. (commit: 0005fc1) — azre6702 / githubweb
  386. Cleaned up program translator. (commit: ebbeab5) — azre6702 / githubweb
  387. Made program translator more consistent with rest of translation. (commit: d085d04) — azre6702 / githubweb
  388. Made ramSubroutine creation more standardised. (commit: 3a14794) — azre6702 / githubweb
  389. Removed annoying + useless typenames in value index. (commit: ff6fa9b) — azre6702 / githubweb
  390. Cleaned up some more valueindex. (commit: 07e6960) — azre6702 / githubweb
  391. Removed accidental line from valueindex. (commit: 9ab1c29) — azre6702 / githubweb
  392. Moved ram-relation adding into a method. (commit: fa331b8) — azre6702 / githubweb
  393. Moved ram tuple element creation into a utility function. (commit: 2ac190c) — azre6702 / githubweb
  394. Moved ram clear into a util function. (commit: 0652e75) — azre6702 / githubweb
  395. Made value translator take in const translator. (commit: d054337) — azre6702 / githubweb
  396. Moved symbol table into variable. (commit: 19471bc) — azre6702 / githubweb
  397. Moved out appendStmt into a utils construct. (commit: 8259a59) — azre6702 / githubweb
  398. Added missing declaration of directive-getter in utils. (commit: ed86b2f) — azre6702 / githubweb
  399. Cleaned up directive-getting in translator. (commit: fe65dd1) — azre6702 / githubweb
  400. Moved unnamed-variable-namer to ast2ram utils. (commit: b11f8d3) — azre6702 / githubweb
  401. Cleaned up relation-expiry usage. (commit: d81e5df) — azre6702 / githubweb
  402. Cleaned up header files. (commit: d8f9ce8) — azre6702 / githubweb
  403. Fix invalid doxygen (commit: 6a84edf) — noreply / githubweb
  404. Fix unclear, non-standard code (commit: 75eeda1) — noreply / githubweb
  405. Minor cleanup of clause reordering. (commit: f357390) — azre6702 / githubweb
  406. Clearer names for scc-related vars. (commit: ca760d7) — azre6702 / githubweb
  407. Cleaned up genmerge. (commit: 3cd44f9) — azre6702 / githubweb
  408. Removed minor typo. (commit: 3e180f3) — azre6702 / githubweb
  409. First stage of modularising recursive-relation translation. (commit: 26bfdd9) — azre6702 / githubweb
  410. Split up section construction to separate methods for rec. rel. (commit: 85a662a) — azre6702 / githubweb
  411. Modularised exit condition generation. (commit: bf81dd7) — azre6702 / githubweb
  412. Finished up main part of recursive relation translation clean-up. (commit: f92abac) — azre6702 / githubweb
  413. Minor cleanups for consistency. (commit: 264f69c) — azre6702 / githubweb
  414. Improved constness. (commit: b9e4420) — azre6702 / githubweb
  415. Moved out delta-clause creation into a method. (commit: 45e5b25) — azre6702 / githubweb
  416. Spread out constness across all const-able transf. methods. (commit: 791d3c2) — azre6702 / githubweb
  417. Cleaned up translation unit setup. (commit: 16147de) — azre6702 / githubweb
  418. Made relation-load + store more consistent. (commit: 2cec9d5) — azre6702 / githubweb
  419. Removed unnecessary methods. (commit: 34702d7) — azre6702 / githubweb
  420. Changed interface for relation-namers. (commit: cdd1d7c) — azre6702 / githubweb
  421. Moved code-generation elements back into main translator. (commit: a6d501e) — azre6702 / githubweb
  422. Made things even more consistent. (commit: f21fa4e) — azre6702 / githubweb
  423. Normalised stratum translation. (commit: 712a8fb) — azre6702 / githubweb
  424. Cleaned up ast2ram header. (commit: 7b597c3) — azre6702 / githubweb
  425. Standardised scc code-gen. (commit: 12ef158) — azre6702 / githubweb
  426. Minor quality changes. (commit: 72a12bf) — azre6702 / githubweb
  427. Removed needless comment. (commit: 9ec29e0) — azre6702 / githubweb
  428. Fixed up delta adding. (commit: 229353d) — azre6702 / githubweb
  429. Small clarity fix. (commit: f5cf40b) — azre6702 / githubweb
  430. Split up large method in translator. (commit: 1f6eecf) — azre6702 / githubweb
  431. Minor comment changes. (commit: a2c99cc) — azre6702 / githubweb
  432. Fixed up changed-return when inlining. (commit: b711c04) — azre6702 / githubweb
  433. Cleaned up some parts in ast2ram header. (commit: 2cb20b4) — azre6702 / githubweb
  434. Removed lookupRelation uses and definition. (commit: b51d0a0) — azre6702 / githubweb
  435. Removed need for ram relation list from ast2ram! (commit: 17fbf54) — azre6702 / githubweb
  436. Cleaned up RAM relation creation. (commit: 0efacd2) — azre6702 / githubweb
  437. Moved AST program preprocessing into its own little section. (commit: 36d094b) — azre6702 / githubweb
  438. Fix json test structure to be deterministic and to do testing (commit: 2c110ee) — mmcgrane / githubweb
  439. Fix json tests (commit: 879a930) — mmcgrane / githubweb
  440. Added translator context class. (commit: 232be2d) — azre6702 / githubweb
  441. Moved over recursive clause analysis to context. (commit: 4ebbf82) — azre6702 / githubweb
  442. Moved SCC graph analysis stuff into translator context. (commit: 449cc9a) — azre6702 / githubweb
  443. Moved relation schedule analysis to context. (commit: c0ebade) — azre6702 / githubweb
  444. Moved relation detail to context. (commit: a69c090) — azre6702 / githubweb
  445. Cleaned up some header file business. (commit: 384b783) — azre6702 / githubweb
  446. Removed some redundant methods and updated comments (commit: 855c60b) — sarc9328 / githubweb
  447. Fixed up some comments and did some light refactoring (commit: 6b5d82a) — sarc9328 / githubweb
  448. Added iterator class to header (commit: 87f6904) — sarc9328 / githubweb
  449. Fixed iterators and moved some algorithms to STL (commit: 2f380bb) — sarc9328 / githubweb
  450. Replaced assert with some necessary logic. (commit: 00d7951) — azre6702 / githubweb
  451. Added in missing all-type check when checking typeset size. (commit: b2c9acd) — azre6702 / githubweb
  452. Fixed crash on removal of equivalent clauses. (commit: 9674a93) — azre6702 / githubweb
  453. Added evaluation/empty_relations2 test. (commit: f58be49) — azre6702 / githubweb
  454. add option to explicitly enable freq counter (commit: 585c3a1) — 573119056 / githubweb
  455. Fixed test item names. (commit: 564c642) — azre6702 / githubweb
  456. Update src/ram/analysis/Index.h (commit: 2257471) — noreply / githubweb
  457. Added unit test for equivalent clause removal. (commit: 4c565f9) — azre6702 / githubweb
  458. add missing flag in the testsuite (commit: af59701) — 573119056 / githubweb
  459. Fixed typo in empty_relations2 error file. (commit: cf2a9b1) — noreply / githubweb
  460. Made match2 deterministic, and pushed invalid regex to match4. (commit: e6854fd) — azre6702 / githubweb
  461. Actually added match4 test. (commit: 993c5cf) — azre6702 / githubweb
  462. Made provenance tests deterministic. (commit: 9d92862) — azre6702 / githubweb
  463. Made provenance tests actually fully deterministic. (commit: e23bc17) — azre6702 / githubweb
  464. Added a note explaining provenance test changes. (commit: d7478d8) — azre6702 / githubweb
  465. Some minor clarity fixups in the clause translator. (commit: 26ed239) — azre6702 / githubweb
  466. Put back in pos into clause translator method. (commit: e480404) — azre6702 / githubweb
  467. Moved sipsmetric logic to context. (commit: 493f25c) — azre6702 / githubweb
  468. Decoupled most of the value translator from the main translator. (commit: 02c5d83) — azre6702 / githubweb
  469. Passed symbol table into context. (commit: 97330d8) — azre6702 / githubweb
  470. Removed symbol table from value translator static call. (commit: 5a6d006) — azre6702 / githubweb
  471. Added separate static access point to value translator in main. (commit: f266cda) — azre6702 / githubweb
  472. Decoupled most of constraint translator from main. (commit: 68f89d9) — azre6702 / githubweb
  473. Decoupled most of clause translator from main. (commit: 9315a76) — azre6702 / githubweb
  474. Removed functor and auxArity analyses from ast2ram. (commit: d321026) — azre6702 / githubweb
  475. Removed sips from ast2ram. (commit: 548a22b) — azre6702 / githubweb
  476. Removed non-static value translator. (commit: e008538) — azre6702 / githubweb
  477. Moved all of value translation to... the value translator. (commit: 829dcb2) — azre6702 / githubweb
  478. Moved all of constraint translation to the constraint translator. (commit: 847960d) — azre6702 / githubweb
  479. Removed evaluation arity analysis from ast2ram. (commit: c35e708) — azre6702 / githubweb
  480. Cleaned up ast2ram header. (commit: aed68d6) — azre6702 / githubweb
  481. Made symbol table references in ast2ram const. (commit: ef3c891) — azre6702 / githubweb
  482. Moved constant translation to clause translator. (commit: 06961cf) — azre6702 / githubweb
  483. Removed lingering comment. (commit: f055b37) — azre6702 / githubweb
  484. Added back in the polyanalysis initialisation. (commit: f1185ca) — azre6702 / githubweb
  485. Pushed symbol table out of translator context. (commit: 8c67564) — azre6702 / githubweb
  486. Added functor analysis back into context. (commit: 05ef22c) — azre6702 / githubweb
  487. Some variable renaming clarity. (commit: 5fdd9a7) — azre6702 / githubweb
  488. Add check on lower&upper (commit: 1dff41b) — 573119056 / githubweb
  489. Moved directive grabbing to context. (commit: 15cac62) — azre6702 / githubweb
  490. Removed need for program variable in ast2ram main. (commit: 6ca25ba) — azre6702 / githubweb
  491. use <= instead of < (commit: aa15f4f) — 573119056 / githubweb
  492. Moved IO type analysis to context. (commit: 26e8f2e) — azre6702 / githubweb
  493. Removed polyanalysis from ast2ram internals. (commit: 6be0ec1) — azre6702 / githubweb
  494. Moved type environment analysis to context. (commit: cb5ff75) — azre6702 / githubweb
  495. Moved around util files to util folder in ast2ram. (commit: 57565f5) — azre6702 / githubweb
  496. Make sed new line insertion more portable (commit: 2dc9a73) — mmcgrane / githubweb
  497. Add another sed new line usage fix (commit: 571197d) — mmcgrane / githubweb
  498. First step towards modularising clause translator. (commit: f571f47) — azre6702 / githubweb
  499. Cleaned up parts of op generator generation. (commit: 068849b) — azre6702 / githubweb
  500. Add scripts for fuzzing with AFL and Radamsa (commit: b917952) — langston.barrett / githubweb
  501. Small moving around of clause translator code. (commit: deda0a4) — azre6702 / githubweb
  502. Split up value index creation. (commit: deb284e) — azre6702 / githubweb
  503. Started cleaning up index value argset. (commit: 72e836d) — azre6702 / githubweb
  504. Removed relation field from location + cleaned up value index. (commit: aa7ed91) — azre6702 / githubweb
  505. Cleaned up value index signature. (commit: 587ecf1) — azre6702 / githubweb
  506. Cleaned up aggregator constraint addition. (commit: f682114) — azre6702 / githubweb
  507. Moved out conjunctive addition into utils. (commit: 6444b07) — azre6702 / githubweb
  508. Nullptr dynamic casts -> isA checks. (commit: 48b0d1d) — azre6702 / githubweb
  509. Moved arg-nullptr check out of value translator. (commit: 3ba6a38) — azre6702 / githubweb
  510. Added quick assertion. (commit: 01a45f0) — azre6702 / githubweb
  511. Split up the generator function bc it was huge. (commit: 9776569) — azre6702 / githubweb
  512. Separated atom logic from remaining literal logic in constr. (commit: 5e50bf5) — azre6702 / githubweb
  513. Slight reorganisation in clause translator header. (commit: b7e3742) — azre6702 / githubweb
  514. Cleaned up some TODO comments. (commit: ca7e055) — azre6702 / githubweb
  515. Handled constraints with ifs rather than asserts. (commit: 941283f) — azre6702 / githubweb
  516. Removed aggregator CSE from translator. (commit: 9fe68fe) — azre6702 / githubweb
  517. Moved type aliases from MinIndexSelection to IndexAnalysis (commit: 019441e) — sarc9328 / githubweb
  518. Skipped aggregator alias resolution. (commit: 3355e55) — azre6702 / githubweb
  519. Handled aggregates in generator normalisation. (commit: 90b01b3) — azre6702 / githubweb
  520. Moved generator normalisation to correct place in main. (commit: ba90a75) — azre6702 / githubweb
  521. Removed no longer necessary aggr constraint addition. (commit: 6423c3e) — azre6702 / githubweb
  522. Added aggregator introduction to value index. (commit: c701aef) — azre6702 / githubweb
  523. Added better interface to var references. (commit: f68976a) — azre6702 / githubweb
  524. Cleaned up multifunctor indexing. (commit: b260f9a) — azre6702 / githubweb
  525. Added subaggregator indexing. (commit: 31eb6ce) — azre6702 / githubweb
  526. Fixed up transform ordering. (commit: 7576d55) — azre6702 / githubweb
  527. Removed all dependencies on MinIndexSelection from consuming classes (commit: bf064a3) — sarc9328 / githubweb
  528. made print method private (commit: 50af838) — sarc9328 / githubweb
  529. Minor clarity fix. (commit: 3e780ff) — azre6702 / githubweb
  530. Split up parts of final operation building. (commit: 8bc3c67) — azre6702 / githubweb
  531. Cleaned up buildFinalOperation (bye x). (commit: 184593d) — azre6702 / githubweb
  532. Moved out query creation into its own section. (commit: ea6388b) — azre6702 / githubweb
  533. Made RAM operation creation consistent. (commit: 106fe56) — azre6702 / githubweb
  534. Threw in some constness. (commit: 205dc4e) — azre6702 / githubweb
  535. Removed some unnecessary uses of global level. (commit: 53a4c26) — azre6702 / githubweb
  536. Pushed out level-adding operators into own methods. (commit: 4125594) — azre6702 / githubweb
  537. Removed level member! (commit: c7c2ebe) — azre6702 / githubweb
  538. op_nesting->operations (commit: 117694a) — azre6702 / githubweb
  539. Removed weird operator handling. (commit: ef9017b) — azre6702 / githubweb
  540. integrated changes (commit: d58e832) — sarc9328 / githubweb
  541. Some minor changes to aggregate simplifier for clarity. (commit: 189313e) — azre6702 / githubweb
  542. Removed unnecessary const-cast in TES. (commit: 541b8ac) — azre6702 / githubweb
  543. Fixed weird issue with const ref (commit: 039eb95) — sarc9328 / githubweb
  544. Fixed up issues with target expression simplifier. (commit: 8111e1b) — azre6702 / githubweb
  545. Fixed up order in which aggregators are replaced. (commit: ddaf4e1) — azre6702 / githubweb
  546. Minor cleanups of TES. (commit: 2a8dd7c) — azre6702 / githubweb
  547. Fixed level choice in aggr. (commit: fe98c95) — azre6702 / githubweb
  548. Made comments more consistent with rest of code in TES code. (commit: 638773a) — azre6702 / githubweb
  549. refactored interpreter (commit: 293ea27) — sarc9328 / githubweb
  550. tbs, fix merge (commit: 95e58a3) — 573119056 / githubweb
  551. Split up ram fact creation from main translation too. (commit: dbc90e4) — azre6702 / githubweb
  552. Some aggregator indexing clarity fixups. (commit: 4e3b89a) — azre6702 / githubweb
  553. Choice experimentation programs (each experiment contains a pair of programs: a version using the choice operator, and a version using native Souffle with aggregates and auxiliary relations to emulate choice) (commit: eb32211) — 573119056 / githubweb
  554. Cleared up parts of constraint filtering. (commit: 7041bdc) — azre6702 / githubweb
  555. Removed semantically unnecessary functor constraining. (commit: 38cf1fb) — azre6702 / githubweb
  556. Cleaned up constant constraint adder a little. (commit: 62e68b6) — azre6702 / githubweb
  557. Fixed interpreter unit tests (commit: f9a0524) — sarc9328 / githubweb
  558. Moved out eqcheck functionality. (commit: e007d7f) — azre6702 / githubweb
  559. Minor changes for clarity. (commit: 6734e14) — azre6702 / githubweb
  560. Refactored relations to accept an index selection rather than indexAnalysis directly (commit: 07e93d9) — sarc9328 / githubweb
  561. Moved over clause delta translation into clause translator. (commit: 61c5026) — azre6702 / githubweb
  562. Fixed up entry points into new clause multi-translator. (commit: c2105fd) — azre6702 / githubweb
  563. Moved delta clause creation out of ast2ram into clause. (commit: de8a291) — azre6702 / githubweb
  564. Fixed setup of clause translator so that the value index is ok. (commit: 3bf0d9a) — azre6702 / githubweb
  565. Cleaned up entry points for clause translation. (commit: 760a1e3) — azre6702 / githubweb
  566. Got rid of cloning for semi-naive translation! (commit: 00fadf9) — azre6702 / githubweb
  567. Removed createDeltaClause. (commit: 4ecf183) — azre6702 / githubweb
  568. Removed uses of provenance negation. (commit: 311ddb5) — azre6702 / githubweb
  569. Removed unused method (commit: 47c8834) — sarc9328 / githubweb
  570. Removed operator< to avoid accidentally using SearchSignature in an ordered collection (commit: 7554a77) — sarc9328 / githubweb
  571. Sorted conditionList to enforce single inequality per relation (commit: 1a04964) — sarc9328 / githubweb
  572. Purged provenance negation from existence. (commit: 2fdc6c5) — azre6702 / githubweb
  573. Removed clause cloning via reordering. (commit: 1b7449c) — azre6702 / githubweb
  574. Removed unused variable. (commit: 0f432b0) — azre6702 / githubweb
  575. Cleaned up ast2ram includes. (commit: 23da27b) — azre6702 / githubweb
  576. Added multiple inequalities check into MakeIndex (commit: d2c94bc) — sarc9328 / githubweb
  577. refactored MakeIndex to be readable (commit: b1fc53d) — sarc9328 / githubweb
  578. Fixed naming to be more clear (commit: 88be8a1) — sarc9328 / githubweb
  579. Added checks to MakeIndex (commit: 96915ec) — sarc9328 / githubweb
  580. Removed IndexedInequalityTransformer (commit: c16f9fe) — sarc9328 / githubweb
  581. Pushed makefile (commit: a08a1c1) — sarc9328 / githubweb
  582. Improve syntax, use keyword keys, omit codmain (commit: bd9692a) — 573119056 / githubweb
  583. Disable magic transformer when there is functional dependency (commit: 13bda88) — 573119056 / githubweb
  584. Discard FDExistenceCheck, add GuardedPorject (commit: 7627499) — 573119056 / githubweb
  585. Disable parallel when there is guardedProject (commit: 916efc4) — 573119056 / githubweb
  586. Fix minor issues (commit: 7a19353) — 573119056 / githubweb
  587. Fix translator for GuardedProject (commit: bb75ccd) — 573119056 / githubweb
  588. Add minor auxiliary func (commit: 177773f) — 573119056 / githubweb
  589. Remove unncessary test cases (commit: 0b09d4f) — 573119056 / githubweb
  590. Add semantic tests (commit: 9ad8659) — 573119056 / githubweb
  591. Add syntactic test (commit: 7d20f60) — 573119056 / githubweb
  592. Add more semantic checks (commit: 10cb41e) — 573119056 / githubweb
  593. Fix, refactor, improve evaluation tests (commit: 6b6dd7e) — 573119056 / githubweb
  594. Format and clean up (commit: cded5c9) — 573119056 / githubweb
  595. Fix makefile (commit: ba2bdd2) — 573119056 / githubweb
  596. Fix makefile, again (commit: 3845f52) — 573119056 / githubweb
  597. Disable RemoveRelationCopyTransformer when head rule has functional constraint (commit: 6e11dd5) — 573119056 / githubweb
  598. Fix keys2, add missing err file (commit: 08bbe6f) — 573119056 / githubweb
  599. Clean up some code (commit: 60af827) — 573119056 / githubweb
  600. Add missing output file for colorable test (commit: edf54a7) — 573119056 / githubweb
  601. Fix fact query (commit: af776a9) — 573119056 / githubweb
  602. Add missing error file (commit: 220810b) — 573119056 / githubweb
  603. Fix parallel transformer (commit: 36fbfe7) — 573119056 / githubweb
  604. Fix testsuite (commit: 8555e24) — 573119056 / githubweb
  605. Fix request (commit: 602ab33) — 573119056 / githubweb
  606. Format (commit: 771953b) — 573119056 / githubweb
  607. Reduced size of graph in colouring example (commit: 43ad03b) — j.karp / githubweb
  608. Update src/ast/transform/RemoveRelationCopies.cpp (commit: 0b20221) — noreply / githubweb
  609. Update tests/evaluation/choice_colourable/choice_colourable.dl (commit: a2436f6) — noreply / githubweb
  610. Requested changes (commit: a524ba2) — 573119056 / githubweb
  611. Added a few TODOs for ADT placement. (commit: 36b4434) — azre6702 / githubweb
  612. Made it compilable again. (commit: 27339b6) — azre6702 / githubweb
  613. Added some helpful ADT methods to translator context. (commit: 20211f1) — azre6702 / githubweb
  614. Updated adt-remover to use context rather than analysis. (commit: 5b681e8) — azre6702 / githubweb
  615. Fix #1774 (commit: f00faaf) — Bernhard.Scholz / githubweb
  616. Filled out value translator for ADTs. (commit: 784c2d1) — azre6702 / githubweb
  617. Fix issue #1770 (commit: 575ccc8) — Bernhard.Scholz / githubweb
  618. Fixed white space (commit: b0d5302) — Bernhard.Scholz / githubweb
  619. Filled out non-provenance ADT stuff. (commit: 7e9babe) — azre6702 / githubweb
  620. Removed adt-preprocessing from main translator. (commit: 612e5b4) — azre6702 / githubweb
  621. Added polysis to context. (commit: 11b1c20) — azre6702 / githubweb
  622. Added polysis methods to context. (commit: 80223c0) — azre6702 / githubweb
  623. Removed numeric constant type state. (commit: 3054654) — azre6702 / githubweb
  624. Removed aggr type state. (commit: 77aad65) — azre6702 / githubweb
  625. Removed binary constraint type state. (commit: 3aaa78a) — azre6702 / githubweb
  626. Removed functor type state!!! (commit: 17cb070) — azre6702 / githubweb
  627. Removed resolved TODO. (commit: 565df27) — azre6702 / githubweb
  628. update output file (commit: 58773a4) — 573119056 / githubweb
  629. Update copyright (commit: 35bbe18) — 573119056 / githubweb
  630. Minor comment changes. (commit: a9d7baf) — azre6702 / githubweb
  631. Fix eq check (commit: fd5eb0c) — Bernhard.Scholz / githubweb
  632. Add test case (commit: 334028d) — Bernhard.Scholz / githubweb
  633. Fix handling of branches (adts) declared over invalid types. (commit: ba3d248) — tytus.metrycki / githubweb
  634. cloned condition to fix issue (commit: 79121a1) — sarc9328 / githubweb
  635. Made atom-reorderer more consistent. (commit: 9cf062a) — azre6702 / githubweb
  636. Pushed atom ordering generation to as late as possible. (commit: c2b404b) — azre6702 / githubweb
  637. Removed original clause notion everywhere. (commit: 7a67a31) — azre6702 / githubweb
  638. Slight reordering of args. (commit: 53a7e16) — azre6702 / githubweb
  639. Removed redundant arg. (commit: 9bdd008) — azre6702 / githubweb
  640. int version -> size_t version (commit: a4a8e0c) — azre6702 / githubweb
  641. Some cleanup with functional dependencies. (commit: dbf846a) — azre6702 / githubweb
  642. Minimise program (commit: 52237fb) — Bernhard.Scholz / githubweb
  643. Reformatting (commit: e615c63) — Bernhard.Scholz / githubweb
  644. Cleaned up entry points. (commit: cb7a0f6) — azre6702 / githubweb
  645. Changed internal config storage of delta. (commit: 266b11e) — azre6702 / githubweb
  646. Got rid of weird overload in provenance clause translator. (commit: 80bd9eb) — azre6702 / githubweb
  647. Purged version from internal arguments of clause translator. (commit: a3114dd) — azre6702 / githubweb
  648. Ensured total ordering with lambda comparator (commit: e2cde22) — sarc9328 / githubweb
  649. Added test for ordered constraints in syntactic (commit: 200bdfb) — sarc9328 / githubweb
  650. Fixed Own/mk and renamed test (commit: 92a0e3d) — sarc9328 / githubweb
  651. Split up add atom part in translator. (commit: 06ce92a) — azre6702 / githubweb
  652. Cleaned up some bloat in provenance translator. (commit: fcc8adb) — azre6702 / githubweb
  653. Modularised provennace translator negation subproof thing. (commit: 900626e) — azre6702 / githubweb
  654. Some more provenance modularising. (commit: 0a775cd) — azre6702 / githubweb
  655. Got rid of level-constraints from cloning section. (commit: 22a0684) — azre6702 / githubweb
  656. Moved more constraints into provenance clause rather than main. (commit: 075ee5f) — azre6702 / githubweb
  657. Got rid of main constraint cloning in prov. (commit: 21db312) — azre6702 / githubweb
  658. Fix for issue 1776. (commit: becd37e) — tytus.metrycki / githubweb
  659. Started pushing out var->subarg translation. (commit: adaa560) — azre6702 / githubweb
  660. Purged ast::SubroutineArgument from existence. (commit: 6af7c93) — azre6702 / githubweb
  661. Moved in var->subarg more consistently. (commit: f988727) — azre6702 / githubweb
  662. Removed intermediate unique variables storage. (commit: 61247c5) — azre6702 / githubweb
  663. Removed clause cloning from provenance!!! (commit: 6fffcbc) — azre6702 / githubweb
  664. Fixed up literal translation for provenance. (commit: 7414f0c) — azre6702 / githubweb
  665. Fixed lingering bugs in provenance. (commit: 9aa82e0) — azre6702 / githubweb
  666. Moved variable naming into provenance only. (commit: bc2df86) — azre6702 / githubweb
  667. Provide all searches at once rather than one at a time (commit: d6bf122) — sarc9328 / githubweb
  668. Fixed bug in aggregate clause extraction. (commit: 564fd26) — tom / githubweb
  669. First part of decoupling MinIndexSelection from IndexAnalysis (commit: 96343ce) — sarc9328 / githubweb
  670. Refactor MinIndexSelection to be strategy but still stateful (commit: 559fcd6) — sarc9328 / githubweb
  671. Refactored map to use STL (commit: 473a04c) — sarc9328 / githubweb
  672. Marked all member functions const in MinIndexSelection (commit: 33ea47b) — sarc9328 / githubweb
  673. Removed card function from MinIndexSelection (commit: 03c245d) — sarc9328 / githubweb
  674. Removed searches as state in MinIndexSelection (commit: 4ab9134) — sarc9328 / githubweb
  675. Made MinIndexSelection stateless (commit: 839f784) — sarc9328 / githubweb
  676. Fixed unit test, added more documentation (commit: 63bd290) — sarc9328 / githubweb
  677. Fixed unit test (commit: 0795a62) — sarc9328 / githubweb
  678. Added strategy to MinIndexSelection (commit: 666f6c4) — sarc9328 / githubweb
  679. Added strategy pattern for index selection (commit: 8ce0ca5) — sarc9328 / githubweb
  680. Added print method for IndexAnalysis (commit: d6ed6e7) — sarc9328 / githubweb
  681. Change keys keyword (commit: 6e47cf3) — Bernhard.Scholz / githubweb
  682. Renamed FinalIndexSelection to IndexCluster (commit: 3e2a0a8) — sarc9328 / githubweb
  683. Changed keyword (commit: 79a8138) — Bernhard.Scholz / githubweb
  684. Fix test-case (commit: 56f87f8) — Bernhard.Scholz / githubweb
  685. Fix test-case (commit: 81fa65e) — Bernhard.Scholz / githubweb
  686. Fixed code as per Github PR discussion. (commit: 95319e1) — puverle+github / githubweb
  687. Fixed up provenance semantics and execution. (commit: e3b61b5) — azre6702 / githubweb
  688. Improved handling of identity functors. (commit: d8cec75) — puverle+github / githubweb
  689. Fixes #1744. (commit: 284ce28) — puverle+github / githubweb
  690. Fixed naming of emptiness check for recursive nullaries. (commit: bae0209) — azre6702 / githubweb
  691. Cleaned up namespace redundancy for ast utils. (commit: 9e46f1c) — azre6702 / githubweb
  692. Cleaned up code based on comments. (commit: e10172a) — azre6702 / githubweb
  693. Fix parsing error with predicates. (commit: 602341a) — puverle+github / githubweb
  694. Fixed incorrect placement of prov excheck. (commit: 2eff9c9) — azre6702 / githubweb
  695. Fixed profiling for recursive clauses. (commit: a772521) — azre6702 / githubweb
  696. Experimental support for Python. (commit: 68bda4a) — puverle+github / githubweb
  697. Minor improvements and fixes. (commit: 106bf95) — puverle+github / githubweb
  698. Reformat code. (commit: 21f339f) — puverle+github / githubweb
  699. Python code improvements. (commit: cba6fbc) — puverle+github / githubweb
  700. Switched "python-config" to "python3-config". (commit: 45d8bad) — puverle+github / githubweb
  701. More python->python3 renaming in makefiles. (commit: 321a31a) — puverle+github / githubweb
  702. Ported from setuptools to distutils. (commit: 6c6488f) — puverle+github / githubweb
  703. More makefile wrangling to make OSX work. (commit: 9938c0a) — puverle+github / githubweb
  704. Tried to fix distcheck. (commit: c15fe83) — tom / githubweb
  705. Still trying to convince automake to play along. (commit: 80e1df8) — tom / githubweb
  706. More automake shenanigans. (commit: 1ea0069) — tom / githubweb
  707. Continued work. (commit: 152e803) — tom / githubweb