Add auxiliary function in Order and Index classes. (commit: 974edb4) — 573119056 / githubweb
Remove left-over code from before. (commit: 9ec2d6b) — 573119056 / githubweb
Finish compilation time reordering. (commit: bd0d4d2) — 573119056 / githubweb
Refactor getProgram() (commit: 7e212b4) — Bernhard.Scholz / githubweb
Fixed test-cases (commit: 9d67a62) — Bernhard.Scholz / githubweb
Tidy up RAM TranslationUni (commit: d514657) — Bernhard.Scholz / githubweb
Remove forward class declaration (commit: 773b7f6) — Bernhard.Scholz / githubweb
Added enough information to translator for SIPS. (commit: 3e739b6) — azre6702 / githubweb
Moved SIPS creation logic into actual SipsMetric class. (commit: 3daa8e2) — azre6702 / githubweb
Updated translator to create SIPS more naturally. (commit: 8a5d614) — azre6702 / githubweb
Added input SIPS. (commit: 83364a4) — azre6702 / githubweb
Added names to the three new translator-related heuristics. (commit: a8e7089) — azre6702 / githubweb
Pushed out class definitions out of main ast2ram translator. (commit: 9c99f55) — azre6702 / githubweb
Removed unused declarations in ast2ram. (commit: a3cfca9) — azre6702 / githubweb
Fix reading from exec output (commit: 91ae220) — mmcgrane / githubweb
Cleaned up first round of includes in ast2ram. (commit: 21449a3) — azre6702 / githubweb
add missing casts for indirect relations comparators. (commit: 0251442) — afloresmontoya / githubweb
Removed ram includes from ast2ram header. (commit: 0bcd7c3) — azre6702 / githubweb
Removed almost all ast includes from ast2ram. (commit: ed3615a) — azre6702 / githubweb
Removed symbol table dependency from ast2ram header. (commit: d21672d) — azre6702 / githubweb
New cmp test-case (commit: c985773) — Bernhard.Scholz / githubweb
Added header (commit: 0bdeeec) — Bernhard.Scholz / githubweb
Remove helper IO API. (commit: 3c83ca7) — 573119056 / githubweb
removing state from functors (adopting Bernhard's branch) (commit: 1eb5d72) — tytus.metrycki / githubweb
Wrapped ast2ram translator in ast2ram namespace. (commit: 3a7dcf7) — azre6702 / githubweb
Reordered private/protected/public scopes to be consistent. (commit: c7c0ef9) — azre6702 / githubweb
Moved provenance clause translator into its own file. (commit: c8de8b8) — azre6702 / githubweb
Add test for reordering. (commit: e29c9e5) — 573119056 / githubweb
Moved clause translator out into its own file. (commit: beb441f) — azre6702 / githubweb
Moved ValueIndex into its own ast2ram file. (commit: 3fb3ae6) — azre6702 / githubweb
First attempt with basic correctness. (commit: b9dd8d2) — 573119056 / githubweb
Fixed formatting. (commit: ae6ecc8) — azre6702 / githubweb
Refactor macro naming and template design. (commit: 6beefac) — 573119056 / githubweb
Add test for interpreter relation (commit: 8ef4386) — 573119056 / githubweb
Enable specialized 0-arity souffle::tuple across all platforms to avoid warning in the interpreter. (commit: 907cf32) — 573119056 / githubweb
Split up Location into its own file. (commit: 540f656) — azre6702 / githubweb
Remove unused functions. (commit: c85dd13) — 573119056 / githubweb
Refactor InterpreterRelation class. (commit: 93228b8) — 573119056 / githubweb
Fix minor errors. Fix compile time warning when compared to unsigned 0. (commit: 587d8f0) — 573119056 / githubweb
Better approach to avoid compiler warning. (commit: 761c447) — 573119056 / githubweb
Refactor InterpreterNode. Add comment for macros. (commit: afa599c) — 573119056 / githubweb
Manange include files. (commit: 2b685fc) — 573119056 / githubweb
Factory to speedup compiltation time (hopefully). (commit: bbdd6c6) — 573119056 / githubweb
Split relation creations into its own file. (commit: dec5f96) — 573119056 / githubweb
Cleaned up some more includes in ast2ram. (commit: 164f342) — azre6702 / githubweb
Cleaned up includes in ast2ram translator cpp. (commit: 6ab051b) — azre6702 / githubweb
Refactor (commit: 43b91fc) — 573119056 / githubweb
Refactor (commit: 7bf3b21) — 573119056 / githubweb
Refactor (commit: a27ec32) — 573119056 / githubweb
Update CASE macro, update makefile. (commit: e63d7fd) — 573119056 / githubweb
Add parallel instruction. (commit: e988fca) — 573119056 / githubweb
Automate type defer and casting. (commit: 35b0e2f) — 573119056 / githubweb
Disconnected Location from AstToRamTranslator. (commit: c22b941) — azre6702 / githubweb
Disable specialization for IO operation. (commit: 9d5fbde) — 573119056 / githubweb
Remove unnecessary files. (commit: 4bbb6d4) — 573119056 / githubweb
Add interfaces in Eqrel for interpreter. (commit: ee9523f) — 573119056 / githubweb
Fix makefile (commit: 6f895df) — 573119056 / githubweb
Fix makefile format (commit: 7d466ca) — 573119056 / githubweb
Separated ValueIndex from AstToRamTranslator. (commit: bcd2780) — azre6702 / githubweb
Clean up and formatting. (commit: 55d5be2) — 573119056 / githubweb
add util file (commit: 223be62) — 573119056 / githubweb
remove indirect index (commit: 42101ee) — 573119056 / githubweb
Requested fix. (commit: bac6f10) — 573119056 / githubweb
Fix iterator misusage in the test case. (commit: edcb37d) — 573119056 / githubweb
clang-format (commit: ace5ad5) — tytus.metrycki / githubweb
Add missing virtual destructor. (commit: f65d937) — 573119056 / githubweb
Protect frequency counter from concurrent modification (commit: fc89db9) — mmcgrane / githubweb
Update changelog (commit: 3a1ed04) — mmcgrane / githubweb
Update changelog (commit: a65bdcd) — mmcgrane / githubweb
Move ram analysis test to ram/tests (commit: afa4a83) — mmcgrane / githubweb
Add missing headers (commit: 8cd095a) — mmcgrane / githubweb
Use using (commit: 7cb073a) — mmcgrane / githubweb
Modernise c++ idioms (commit: e895740) — mmcgrane / githubweb
Remove redundant mkdir (commit: dbf863a) — mmcgrane / githubweb
Ensure variable is initialised (commit: 13ce392) — mmcgrane / githubweb
Removed size initialisation for cost metric vector. (commit: 27f553c) — azre6702 / githubweb
Removed unused forward declarations from Ast2Ram. (commit: fd6bb9c) — azre6702 / githubweb
Separated clause translators from the main translator! (commit: 064f1c8) — azre6702 / githubweb
Added some getters to the translator. (commit: 0a2b624) — azre6702 / githubweb
Cleanup of some final includes. (commit: fe8ec6f) — azre6702 / githubweb
Finish initial implementation of FunctorAnalysis (commit: 813a10a) — tytus.metrycki / githubweb
PR feedback (commit: 6b3b526) — tytus.metrycki / githubweb
requested fix (commit: 82a9eaf) — 573119056 / githubweb
Update src/interpreter/InterpreterBrieIndex.cpp (commit: 397d7d6) — noreply / githubweb
Update src/interpreter/InterpreterEqrelIndex.cpp (commit: 22301c0) — noreply / githubweb
Update src/interpreter/InterpreterBTreeIndex.cpp (commit: dbec4dc) — noreply / githubweb
Update src/ast/IntrinsicFunctor.h (commit: 553408e) — noreply / githubweb
Add Zulip links to README (commit: b5c3054) — luc.tielen / githubweb
Update src/interpreter/InterpreterRelation.h (commit: 290adba) — noreply / githubweb
clang-format (commit: b1fc9fb) — tytus.metrycki / githubweb
Fixes (commit: 8e5b727) — Bernhard.Scholz / githubweb
Fixed naming (commit: 232eb93) — Bernhard.Scholz / githubweb
Add interpreter namespace (commit: 1b0b0f6) — mmcgrane / githubweb
Standardise size_t usage (commit: 690ef5e) — mmcgrane / githubweb
Fixed multiple inequalities bug with interpreter (commit: ff6da0e) — sarc9328 / githubweb
Added test for multiple inequalities (commit: 93c89ae) — sarc9328 / githubweb
Update multiple_inequalities.dl (commit: de100ee) — noreply / githubweb
Refactoring RAM dirs (commit: cd6e9cf) — Bernhard.Scholz / githubweb
Fixed Makefile (commit: 596607a) — Bernhard.Scholz / githubweb
Revert fix (commit: 67c3982) — Bernhard.Scholz / githubweb
Fixed formatting. (commit: 0478f28) — azre6702 / githubweb
Fixed lingering conflict issues. (commit: 78e2595) — azre6702 / githubweb
Fixed ram include. (commit: ed219ef) — azre6702 / githubweb
Fixed provenance licenses. (commit: d3693a7) — azre6702 / githubweb
Add generated file to .gitignore (commit: de027ef) — mmcgrane / githubweb
Fix type clash (commit: 9225bf5) — Bernhard.Scholz / githubweb
Refactor Relation Reference (commit: 7d793b9) — Bernhard.Scholz / githubweb
Fixes (commit: 462aafe) — Bernhard.Scholz / githubweb
Minor changes for ast2ram cleaning. (commit: acb0eb5) — azre6702 / githubweb
Minor changes to ast2ram for clarity. (commit: ec4b97d) — azre6702 / githubweb
Made value index a uniq pointer. (commit: 9226dab) — azre6702 / githubweb
Removed unnecessary include. (commit: 01d591c) — azre6702 / githubweb
Removed unnecessary analysis in clause translator. (commit: adac366) — azre6702 / githubweb
Removed need for nodeArgs/arg_list in ValueIndex. (commit: 2efffad) — azre6702 / githubweb
Fixed formatting. (commit: 2788d7f) — azre6702 / githubweb
Cleaned up bloat in ast2ram/Location.h. (commit: 80de76b) — azre6702 / githubweb
Removed final non-util include from ast2ram headers. (commit: c7d1b7c) — azre6702 / githubweb
Removed translator header from ClauseTranslator header. (commit: 672322c) — azre6702 / githubweb
Fix type clash (commit: 7c5e6ba) — azre6702 / githubweb
Removed translator header from ClauseTranslator header. (commit: 424d532) — azre6702 / githubweb
Fixed first range bug. (commit: fc619a0) — azre6702 / githubweb
Added test for range bug. (commit: bbd733f) — azre6702 / githubweb
Fixed typo. (commit: 59e6cee) — azre6702 / githubweb
Refactor refs (commit: d298f3f) — Bernhard.Scholz / githubweb
Reduce to RAM (commit: 810c6d4) — Bernhard.Scholz / githubweb
Make translator work (commit: a5d5d55) — Bernhard.Scholz / githubweb
Removed NormaliseConstraints AST transformer. (commit: 284a880) — azre6702 / githubweb
Fixed (commit: 8e6686b) — Bernhard.Scholz / githubweb
Added template for NormaliseRanges transformer. (commit: f7be14b) — azre6702 / githubweb
Assigned unique names to all range appearances in the AST. (commit: 5bfe435) — azre6702 / githubweb
Finished off range normaliser. (commit: f9b2a78) — azre6702 / githubweb
Fixed `changed` result for range normaliser. (commit: 022755e) — azre6702 / githubweb
Stopped resolving range aliases in the AST. (commit: 80bb59e) — azre6702 / githubweb
Interpreter fixes (commit: 4e52f55) — Bernhard.Scholz / githubweb
Fixed search (commit: d73a3c1) — Bernhard.Scholz / githubweb
Fixed interpreter generator (commit: 8d56873) — Bernhard.Scholz / githubweb
Fixes (commit: c8999a1) — Bernhard.Scholz / githubweb
Fixed float equality for interpreter and added test (commit: 340bc97) — sarc9328 / githubweb
Fixed style on float test case (commit: b1bfc3e) — sarc9328 / githubweb
fixed styling again... (commit: 37e963b) — sarc9328 / githubweb
Fixed synthesiser (commit: f219d06) — Bernhard.Scholz / githubweb
First running synthesiser (commit: 721b1c4) — Bernhard.Scholz / githubweb
fixed style final (commit: 1b0982b) — sarc9328 / githubweb
Remove subtyping of records (commit: 7562b88) — tytus.metrycki / githubweb
AST constraint added, and recognised in scanner/parser (commit: 1342174) — j.karp / githubweb
Refactoring analysis/transforms (commit: a1173cc) — Bernhard.Scholz / githubweb
Added relation lookup analysis (commit: f5a7a01) — Bernhard.Scholz / githubweb
Restore main (commit: 1d01e3b) — Bernhard.Scholz / githubweb
Added analysis (commit: ac55848) — Bernhard.Scholz / githubweb
Fixed parallel (commit: b1a44c5) — Bernhard.Scholz / githubweb
Fixed provenance (commit: 079a583) — Bernhard.Scholz / githubweb
Fix the profiler (commit: 675d766) — Bernhard.Scholz / githubweb
Fixed test cases (commit: eaae6e0) — Bernhard.Scholz / githubweb
Ensure all FDs exist in relation, and set their positions (commit: 6581799) — j.karp / githubweb
Added functionality of enforcing functional dependencies on a relation (required altering ClauseTranslator::createOperation() function declaration) (commit: 1444a02) — j.karp / githubweb
Interpreter and synthesiser support for new FDExistenceCheck (enforcing functional dependencies on a relation) (commit: aed8111) — j.karp / githubweb
Clean up (commit: b2bd0f9) — j.karp / githubweb
Printing FD (commit: e8454c0) — j.karp / githubweb
ci: Set CXX to clang++ for Ubuntu Bionic Clang++ build (commit: f56106d) — langston.barrett / githubweb
Fix order (commit: 5873393) — Bernhard.Scholz / githubweb
fixes (commit: cfc82d8) — Bernhard.Scholz / githubweb
Add special case for printing negation functor (commit: a7fdfdf) — mmcgrane / githubweb
Fixed makefile (commit: f9c32d3) — Bernhard.Scholz / githubweb
Perform full evaluation suite on travis (commit: e8dd6ea) — mmcgrane / githubweb
Fix linting issues (commit: 6199699) — Bernhard.Scholz / githubweb
Fix variable names (commit: d368066) — Bernhard.Scholz / githubweb
Add range-introduction variables. (commit: 51c6566) — azre6702 / githubweb
Incorporated feedback (commit: 5483778) — Bernhard.Scholz / githubweb
Added atom deps that should be ignored in MST. (commit: 12f8fb8) — azre6702 / githubweb
Add RecordTable to SouffleInterface (commit: 62242f0) — mmcgrane / githubweb
Refactor interface dependencies (commit: 7f429bd) — mmcgrane / githubweb
Added test for MST ignored relations case. (commit: b8e8e4d) — azre6702 / githubweb
Refactor RAM (commit: ed88cb6) — Bernhard.Scholz / githubweb
Split up ignored relations into strongly and weakly ignored (MST). (commit: 3f3a30f) — azre6702 / githubweb
Cleaned up ignored-relation finder in MST, much cleaner now. (commit: 8638f30) — azre6702 / githubweb
Added const qualifier for RAM state (commit: 587edb4) — Bernhard.Scholz / githubweb
Fix formatting (commit: 09d9576) — mmcgrane / githubweb
Fix dl formatting (commit: fcad138) — mmcgrane / githubweb
Fix merge issues (commit: 8079d35) — mmcgrane / githubweb
Updated MST-ignored-property rules for counters. (commit: 89b5f8d) — azre6702 / githubweb
Changed magic_ignored test to magic_posignored. (commit: 27fc5e8) — azre6702 / githubweb
Fixed handling of strongly-ignored relations. (commit: 0ea2222) — azre6702 / githubweb
Removed unnecessary strong-closure of relations in MST. (commit: 7af1b0f) — azre6702 / githubweb
Finalised ignored-relation tests for MST. (commit: 6b6a981) — azre6702 / githubweb
Ignored more relations during poslabelling for crnr cases. (commit: 7012758) — azre6702 / githubweb
Separated out trivially ignored relations into separate method. (commit: 4585adb) — azre6702 / githubweb
Ignored trivially-computable relations in MST correctly. (commit: cc0d966) — azre6702 / githubweb
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
Refactor generator for interpreter (commit: de05b24) — Bernhard.Scholz / githubweb
Reformatting (commit: dc56f66) — Bernhard.Scholz / githubweb
Update src/ast/transform/GroundWitnesses.cpp (commit: 4e3406c) — noreply / githubweb
fixed headers (commit: df193c7) — rachel.dowavic / githubweb
Remove unused parameter (commit: 3d9f07a) — mmcgrane / githubweb
added `span` compat lib (commit: fa0b5d8) — ohamel / githubweb
Fixed magic_negignored test fact folder. (commit: 0eb36e2) — azre6702 / githubweb
Stopped labelling strongly-ignored relations entirely in MST. (commit: 448fc83) — azre6702 / githubweb
fix incorrect deduction of iterator value type (commit: fe97c46) — ohamel / githubweb
reduce brie template instance spam (commit: cbd0604) — ohamel / githubweb
clang-format (commit: c770ad4) — ohamel / githubweb
Added missing pragma to test. (commit: 53b922c) — azre6702 / githubweb
all hail the linter (commit: 3921900) — ohamel / githubweb
reduce # of synthesised rel wrapper instances (commit: 45c306d) — ohamel / githubweb
reduced `arity_type` to `uint8_t` (commit: ab23b99) — ohamel / githubweb
nfc shrinked clang-format-off region (commit: e6147bb) — ohamel / githubweb
workaround for std lib issues for `tuple_size` (commit: 6a80a93) — ohamel / githubweb
fix compile for `trie::find` (commit: 9e1620e) — ohamel / githubweb
nfc avoid a copy (commit: 6f94434) — ohamel / githubweb
Cleaned up range-introduction finding in translator. (commit: 54a96d6) — azre6702 / githubweb
Extended range test to cover new bug. (commit: e7bf1c8) — azre6702 / githubweb
Generalised range bug-fixing to all multi-res functors. (commit: d37d2d3) — azre6702 / githubweb
Fixed FEQ vs EQ distinction in multires func resolution. (commit: 2065987) — azre6702 / githubweb
Added a sneaky arg printout during ungrounded crashes. (commit: 3c910f0) — azre6702 / githubweb
Started making parts of the translator clearer. (commit: b3186c9) — azre6702 / githubweb
Changed translateRelation to getConcreteRelationName. (commit: c333612) — azre6702 / githubweb
translate[] -> get[] renamed where appr. in ast2ram. (commit: e54d3d6) — azre6702 / githubweb
Removed unnecessary header in ast2ram. (commit: 0d617a0) — azre6702 / githubweb
Misc. small cleanups of ast2ram while going through it. (commit: 360bd5f) — azre6702 / githubweb
Pushed out ValueTranslator into its own class. (commit: bd8f021) — azre6702 / githubweb
Added ValueTranslator cpp file, starting to move things over there. (commit: 34d3d11) — azre6702 / githubweb
Moved over ValueTranslator functionality to cpp. (commit: 16ea32d) — azre6702 / githubweb
Moved value translator instantation into itself. (commit: 48ccaca) — azre6702 / githubweb
Removed some unnecessary includes from ast2ram.cpp. (commit: 1461ab6) — azre6702 / githubweb
fix mistaken clang-tidy warning (commit: a93c356) — ohamel / githubweb
brie iterator improvements (commit: b751dad) — ohamel / githubweb
nfc moved brie guts to `detail::brie` (commit: ba31663) — ohamel / githubweb
removed assumption of octet `char` (commit: 6eec247) — ohamel / githubweb
abstracted uses of `RamDomain` in brie as prelude to parameterisation (commit: c101e36) — ohamel / githubweb
sent `Tuple` to pasture (commit: 3fd59a8) — ohamel / githubweb
fix MSVC warning (commit: e794675) — ohamel / githubweb
improve synth compile time by avoiding `SignalHandler::instance()` spam (commit: b774e78) — ohamel / githubweb
fix move order bug + 2x domain of records ids (commit: a7ebb5a) — ohamel / githubweb
avoid a copy (commit: 87857d3) — ohamel / githubweb
nfc comment typo (commit: 5dd70e7) — ohamel / githubweb
reduce warnings in synth code (commit: c248547) — ohamel / githubweb
fix use of potentially unavailable overload (commit: 195b898) — ohamel / githubweb
Optimize encoding of enumerations (commit: 4f45295) — tytus.metrycki / githubweb
avoid leaking helper defines (commit: 6e94d57) — ohamel / githubweb
nfc remove internal type alias from external API (commit: a3f4f37) — ohamel / githubweb
I cannot spell to save my life. (commit: 5398f15) — noreply / githubweb
the variadic overload was a bad idea anyways (commit: aaf2c9d) — ohamel / githubweb
Moved out ConstraintTranslator into its own file. (commit: 73ab0e6) — azre6702 / githubweb
Moved over constraint-translator functionality into cpp file. (commit: 5b401e1) — azre6702 / githubweb
Removed unnecessary includes from constr-tr header. (commit: 2a5642e) — azre6702 / githubweb
Added interface for constraint translation that should be used. (commit: 9d70b53) — azre6702 / githubweb
Removed unnecessary include from ast2ram header. (commit: 05c2b32) — azre6702 / githubweb
Removed lingering unneeded include. (commit: 668568c) — azre6702 / githubweb
Separate Type Checker from Semantic Checker. (commit: b3493c9) — tytus.metrycki / githubweb
fix struct/class mismatch (commit: ac3c673) — ohamel / githubweb
for min aggregate, leave loop early if we know we have the minimum. (commit: bcaa770) — afloresmontoya / githubweb
suppress MSVC warnings (commit: e6baa90) — ohamel / githubweb
Add missing includes (commit: cd288ad) — noreply / githubweb
adopt linter suggestion. (commit: 7fdfc7b) — afloresmontoya / githubweb
clang-format (commit: 14e99da) — tytus.metrycki / githubweb
check representation is btree. (commit: 5c154ed) — afloresmontoya / githubweb
test min aggregate optimization. (commit: 3d1ffb5) — afloresmontoya / githubweb
make sure tests don't work because we are lucky. (commit: 36d3a13) — afloresmontoya / githubweb
test for brie and unsigned. (commit: 0905175) — afloresmontoya / githubweb
avoid relation in test being optimized away. (commit: 2c7ed34) — afloresmontoya / githubweb
add some unsigned numbers that would be negative for signed interpretation. (commit: f04514e) — afloresmontoya / githubweb
Relax type constraints involving negation. (commit: f61416e) — tytus.metrycki / githubweb
Fix profile event output escaping (commit: 88cf00c) — mmcgrane / githubweb
Unfriend ast::Program and ComponentInstantiationTransformer (commit: 6b9cabb) — tytus.metrycki / githubweb
added deprecated back-compat overload (commit: 91b9ade) — ohamel / githubweb
bumped `arity_type` to `uint32_t` (commit: fe54507) — ohamel / githubweb
Use Focal for travis docker images (commit: 15ff674) — mmcgrane / githubweb
Make deb packages for bionic on travis (commit: cf6b29b) — mmcgrane / githubweb
Refactoring Interpreter (commit: 1a806f0) — Bernhard.Scholz / githubweb
Move variable attributes to the end of class (commit: 152b361) — 573119056 / githubweb
Levels fix for nesting existence checks (commit: cbe88d2) — j.karp / githubweb
Solve ownership issue between engine & generator (commit: c9a8dce) — 573119056 / githubweb
seperate generator into .h and .cpp (commit: 751f18d) — 573119056 / githubweb
add new cpp file (commit: b96c06b) — 573119056 / githubweb
fix includes (commit: ee8c018) — 573119056 / githubweb
clang format (commit: e948013) — 573119056 / githubweb
Added type analysis as a part of functor analysis. (commit: 7d906dd) — azre6702 / githubweb
Moved over UDF functor analysis stuff to type analysis. (commit: e35e9d7) — azre6702 / githubweb
Moved over intrinsic stuff to type analysis too! (commit: 4db033f) — azre6702 / githubweb
Removed unnecessary private fields in functor analysis. (commit: 15b49a8) — azre6702 / githubweb
Moved over validOverloads to typeanalysis. (commit: 7fd8b2f) — azre6702 / githubweb
Changed type analysis into a fixpoint loop. (commit: d25fbd0) — azre6702 / githubweb
Removed the need for try/catch in functor type analysis! (commit: fd9f68d) — azre6702 / githubweb
Fixed up valid-overload checking for poly functors. (commit: 220bb01) — azre6702 / githubweb
Added invalid functor error when needed! (commit: 2905b7c) — azre6702 / githubweb
Counted invalid functor adding as a change in type analysis. (commit: 586d992) — azre6702 / githubweb
Cleaned up interface to validOverloads. (commit: 4303725) — azre6702 / githubweb
Updated polytransformer to be a fixpoint that removes invalid. (commit: 0a00b6d) — azre6702 / githubweb
Removed validOverloads from ast utils. (commit: 577e8cd) — azre6702 / githubweb
Fixed up return type analysis for functors!!! (commit: 753e18d) — azre6702 / githubweb
Minor clean-up of type code. (commit: e2466e2) — azre6702 / githubweb
Set up interface foundations for PO analysis. (commit: abe6d44) — azre6702 / githubweb
Filled out polym analysis functionality. (commit: 622217b) — azre6702 / githubweb
Finished up basic implementation of polysis. (commit: b5b0345) — azre6702 / githubweb
Pulled out UDF calculation from fixpoint loop. (commit: dc55932) — azre6702 / githubweb
Renamed polysis methods to be overload related. (commit: fbecd74) — azre6702 / githubweb
Added numeric-const type analysis to polysis. (commit: 6018c1e) — azre6702 / githubweb
Changed built-in type var to fixed-type to reflect new purpose. (commit: 39f7263) — azre6702 / githubweb
Added hasFixedType helper method to start cleaning things up. (commit: c4e3895) — azre6702 / githubweb
Added invalid type check to polysis for nc's. (commit: a23d95f) — azre6702 / githubweb
Added polysis to ast2ram object. (commit: 6596e2f) — azre6702 / githubweb
Pushed in polysis to value translator. (commit: d0f654b) — azre6702 / githubweb
Removed uses of old get type in ast2ram main. (commit: a7158b1) — azre6702 / githubweb
Used polysis throughout clause translator now. (commit: 97e0100) — azre6702 / githubweb
Fixed all type-getting appearances for nc except in type analyses. (commit: 30ee2e6) — azre6702 / githubweb
Used polysis for nc throughout inlining. (commit: e4255b8) — azre6702 / githubweb
Removed all appearances of nc from polytrans! (commit: 6c068e5) — azre6702 / githubweb
Removed getType() and uses from nc. (commit: 135d087) — azre6702 / githubweb
Removed lingering type-setter in NC. (commit: d2f17b7) — azre6702 / githubweb
Changed getOverloadedType to getInferredType for clarity. (commit: 9f9b7fb) — azre6702 / githubweb
Fixed formatting. (commit: aa9aeb9) — azre6702 / githubweb
Minor comments for clarity. (commit: 3c8bdf4) — azre6702 / githubweb
Moved nc polysis to type analysis. (commit: 0253005) — azre6702 / githubweb
Fixed constant poly-type update in type analysis. (commit: d33db0f) — azre6702 / githubweb
Fixed up tests by adding finalType to nc!! (commit: 73c6814) — azre6702 / githubweb
Separated out overloaded + base op semantics for aggr. (commit: f8e5532) — azre6702 / githubweb
Moved overload-handling to polysis for aggregators! (commit: 5ec136e) — azre6702 / githubweb
Moved aggregator poly-type functionality to type analysis. (commit: efc5586) — azre6702 / githubweb
Fixed up aggregator polysis!!! Now passes all tests!! (commit: b40da9f) — azre6702 / githubweb
Moved overloaded type info for BCs into polysis!! (commit: 021cb18) — azre6702 / githubweb
Removed newly unnecessary elements of polytrans. (commit: cac3bfb) — azre6702 / githubweb
Moved binary constraint polysis to type system. (commit: 36109b5) — azre6702 / githubweb
Fixed binary constraint polysis to have fixed final type. (commit: 487a454) — azre6702 / githubweb
Fixed up bc polysis!!!!! All tests now work on it!! (commit: fe3d31f) — azre6702 / githubweb
Changed getFunction to getBaseFunctionOp for inf. (commit: a83dece) — azre6702 / githubweb
Added final translator type property to inf! (commit: 160580c) — azre6702 / githubweb
Moved inf overload analysis into type analysis. (commit: c211acb) — azre6702 / githubweb
Fixed up polysis for functors!!!!!!! (commit: a01e993) — azre6702 / githubweb
Removed polytrans! (commit: 66348b8) — azre6702 / githubweb
Removed unnecessary NC method. (commit: e70e9f8) — azre6702 / githubweb
Fixed formatting. (commit: 8f37a33) — azre6702 / githubweb
Removed unnecessary method from type analysis. (commit: bcc1367) — azre6702 / githubweb
Small comment changes. (commit: 146a0d1) — azre6702 / githubweb
Reduced redundancy of functor type storage in typeanalysis. (commit: ce8bda0) — azre6702 / githubweb
Fixed invalid-constant calls in ast2ram translation. (commit: c6dd3a3) — azre6702 / githubweb
Removed invalidConstants data structure in type analysis. (commit: 87da2f4) — azre6702 / githubweb
Removed invalid functor data structure from type analysis. (commit: ddb6aae) — azre6702 / githubweb
Removed some type analysis junk. (commit: 7e06093) — azre6702 / githubweb
Started consolidating type-invalidity into one access point. (commit: 42f5b43) — azre6702 / githubweb
Got rid of useless invalid functor method. (commit: 72b471c) — azre6702 / githubweb
Cleaned up invalid op access in typeanalysis. (commit: be3d8e0) — azre6702 / githubweb
Removed need for hasProcessedFunctor. (commit: a1f22af) — azre6702 / githubweb
Moved out type analysis components in separate methods. (commit: 20895fc) — azre6702 / githubweb
Fixed a typo. (commit: 2df69bc) — azre6702 / githubweb
Made variable namings more consistent for aggs and infs. (commit: 053069a) — azre6702 / githubweb
Moved type-attribute-getter to its own method. (commit: 6d95796) — azre6702 / githubweb
Cleaned up validOverloads. (commit: c19bf69) — azre6702 / githubweb
Renamed validOverloads -> getValidIntrinsicFunctorOverloads. (commit: baa075f) — azre6702 / githubweb
Minor comment change. (commit: 6b4994d) — azre6702 / githubweb
Minor clarity change. (commit: f04895f) — azre6702 / githubweb
remove leftover code (commit: 76bf978) — 573119056 / githubweb
Print infix operators correctly from AST (commit: 8132bc8) — mmcgrane / githubweb
Minor quality changes. (commit: ecbaf25) — azre6702 / githubweb
Removed TypeCast remover from AST. (commit: 28c47cd) — azre6702 / githubweb
Fixes for FDExistenceCheck to be recognised in new source (commit: e41253e) — j.karp / githubweb
Moved adt-lowering logic to translator. (commit: 6d504f8) — azre6702 / githubweb
Removed ADT transformer from AST entirely. (commit: 3116606) — azre6702 / githubweb
Small cleanups. (commit: a3e4dc5) — azre6702 / githubweb
Made single-line returns triple-line. (commit: 9eae1cd) — azre6702 / githubweb
Added final types to binary constraints for subroutine args. (commit: 977a21d) — azre6702 / githubweb
Added final type to newly added bc in ast2ram translator. (commit: 2728817) — azre6702 / githubweb
Added in return type to temp ast2ram transf. annotations. (commit: a3667ef) — azre6702 / githubweb
Cleaned up type analysis headers. (commit: 5f27e2a) — azre6702 / githubweb
Moved out type constraints/deduction lattice to new file. (commit: e1a2648) — azre6702 / githubweb
Made floating functions into static methods in TA. (commit: 26413e8) — azre6702 / githubweb
Moved over most typeconstr functionality to cpp instead of h. (commit: a4831eb) — azre6702 / githubweb
Cleaned up the type constraints analysis files. (commit: 3d0de79) — azre6702 / githubweb
Removed polyanalysis from subtranslators. (commit: f858421) — azre6702 / githubweb
Removed some srclocation redundancy from main translator. (commit: 38c4b48) — azre6702 / githubweb
Moved inconsistent analysis out of method signatures. (commit: 69547dc) — azre6702 / githubweb
Cleaned up ast2ram transf header slightly. (commit: 97d3b00) — azre6702 / githubweb
Changed methods that should be static to be static. (commit: 6f94ff5) — azre6702 / githubweb
Moved out SCC translation into its own method. (commit: 2c15748) — azre6702 / githubweb
Moved out subsection of program translator to new method. (commit: ea1f6dd) — azre6702 / githubweb
Enable _builtin_c?z for all MSC_VER compilers (commit: 681a7af) — mmcgrane / githubweb
Work around new Travis OSX bugs (commit: 40ef8d6) — mmcgrane / githubweb
Modularised literal translation slightly. (commit: 0060fdb) — azre6702 / githubweb
Moved out provenance clause subroutine adder into own method. (commit: 7a0b5b6) — azre6702 / githubweb
Improved clarity of translator. (commit: 09d1c72) — azre6702 / githubweb
Moved some logic around to make provenance subclass easier to add. (commit: 0c6f5e3) — azre6702 / githubweb
Moved over bulk of provenance code to provenance translator. (commit: e87cd96) — azre6702 / githubweb
Cleaned up include headers in translator. (commit: d98251c) — azre6702 / githubweb
Moved all provenance stuff to the provenance translator!! (commit: 4c61b86) — azre6702 / githubweb
Moved relation-name-construction to new utils file. (commit: d225693) — azre6702 / githubweb
Minor cleanup to scc translator. (commit: 3a56357) — azre6702 / githubweb
Gave clearer names to some ast2ram constructs. (commit: b582c1f) — azre6702 / githubweb
Removed lingering functionality from translator header. (commit: 0005fc1) — azre6702 / githubweb
Cleaned up program translator. (commit: ebbeab5) — azre6702 / githubweb
Made program translator more consistent with rest of translation. (commit: d085d04) — azre6702 / githubweb
Made ramSubroutine creation more standardised. (commit: 3a14794) — azre6702 / githubweb
Removed annoying + useless typenames in value index. (commit: ff6fa9b) — azre6702 / githubweb
Cleaned up some more valueindex. (commit: 07e6960) — azre6702 / githubweb
Removed accidental line from valueindex. (commit: 9ab1c29) — azre6702 / githubweb
Moved ram-relation adding into a method. (commit: fa331b8) — azre6702 / githubweb
Moved ram tuple element creation into a utility function. (commit: 2ac190c) — azre6702 / githubweb
Moved ram clear into a util function. (commit: 0652e75) — azre6702 / githubweb
Made value translator take in const translator. (commit: d054337) — azre6702 / githubweb
Moved symbol table into variable. (commit: 19471bc) — azre6702 / githubweb
Moved out appendStmt into a utils construct. (commit: 8259a59) — azre6702 / githubweb
Added missing declaration of directive-getter in utils. (commit: ed86b2f) — azre6702 / githubweb
Cleaned up directive-getting in translator. (commit: fe65dd1) — azre6702 / githubweb
Moved unnamed-variable-namer to ast2ram utils. (commit: b11f8d3) — azre6702 / githubweb
Cleaned up relation-expiry usage. (commit: d81e5df) — azre6702 / githubweb
Cleaned up header files. (commit: d8f9ce8) — azre6702 / githubweb
Fix invalid doxygen (commit: 6a84edf) — noreply / githubweb
Fix unclear, non-standard code (commit: 75eeda1) — noreply / githubweb
Minor cleanup of clause reordering. (commit: f357390) — azre6702 / githubweb
Clearer names for scc-related vars. (commit: ca760d7) — azre6702 / githubweb
Cleaned up genmerge. (commit: 3cd44f9) — azre6702 / githubweb
Removed minor typo. (commit: 3e180f3) — azre6702 / githubweb
First stage of modularising recursive-relation translation. (commit: 26bfdd9) — azre6702 / githubweb
Split up section construction to separate methods for rec. rel. (commit: 85a662a) — azre6702 / githubweb
Modularised exit condition generation. (commit: bf81dd7) — azre6702 / githubweb
Finished up main part of recursive relation translation clean-up. (commit: f92abac) — azre6702 / githubweb
Minor cleanups for consistency. (commit: 264f69c) — azre6702 / githubweb
Improved constness. (commit: b9e4420) — azre6702 / githubweb
Moved out delta-clause creation into a method. (commit: 45e5b25) — azre6702 / githubweb
Spread out constness across all const-able transf. methods. (commit: 791d3c2) — azre6702 / githubweb
Cleaned up translation unit setup. (commit: 16147de) — azre6702 / githubweb
Made relation-load + store more consistent. (commit: 2cec9d5) — azre6702 / githubweb
Removed unnecessary methods. (commit: 34702d7) — azre6702 / githubweb
Changed interface for relation-namers. (commit: cdd1d7c) — azre6702 / githubweb
Moved code-generation elements back into main translator. (commit: a6d501e) — azre6702 / githubweb
Made things even more consistent. (commit: f21fa4e) — azre6702 / githubweb
Normalised stratum translation. (commit: 712a8fb) — azre6702 / githubweb
Cleaned up ast2ram header. (commit: 7b597c3) — azre6702 / githubweb
Standardised scc code-gen. (commit: 12ef158) — azre6702 / githubweb
Minor quality changes. (commit: 72a12bf) — azre6702 / githubweb
Removed needless comment. (commit: 9ec29e0) — azre6702 / githubweb
Fixed up delta adding. (commit: 229353d) — azre6702 / githubweb
Small clarity fix. (commit: f5cf40b) — azre6702 / githubweb
Split up large method in translator. (commit: 1f6eecf) — azre6702 / githubweb
Minor comment changes. (commit: a2c99cc) — azre6702 / githubweb
Fixed up changed-return when inlining. (commit: b711c04) — azre6702 / githubweb
Cleaned up some parts in ast2ram header. (commit: 2cb20b4) — azre6702 / githubweb
Removed lookupRelation uses and definition. (commit: b51d0a0) — azre6702 / githubweb
Removed need for ram relation list from ast2ram! (commit: 17fbf54) — azre6702 / githubweb
Cleaned up RAM relation creation. (commit: 0efacd2) — azre6702 / githubweb
Moved AST program preprocessing into its own little section. (commit: 36d094b) — azre6702 / githubweb
Fix json test structure to be deterministic and to do testing (commit: 2c110ee) — mmcgrane / githubweb
Fix json tests (commit: 879a930) — mmcgrane / githubweb
Added translator context class. (commit: 232be2d) — azre6702 / githubweb
Moved over recursive clause analysis to context. (commit: 4ebbf82) — azre6702 / githubweb
Moved SCC graph analysis stuff into translator context. (commit: 449cc9a) — azre6702 / githubweb
Moved relation schedule analysis to context. (commit: c0ebade) — azre6702 / githubweb
Moved relation detail to context. (commit: a69c090) — azre6702 / githubweb
Cleaned up some header file business. (commit: 384b783) — azre6702 / githubweb
Removed some redundant methods and updated comments (commit: 855c60b) — sarc9328 / githubweb
Fixed up some comments and did some light refactoring (commit: 6b5d82a) — sarc9328 / githubweb
Added iterator class to header (commit: 87f6904) — sarc9328 / githubweb
Fixed iterators and moved some algorithms to STL (commit: 2f380bb) — sarc9328 / githubweb
Replaced assert with some necessary logic. (commit: 00d7951) — azre6702 / githubweb
Added in missing all-type check when checking typeset size. (commit: b2c9acd) — azre6702 / githubweb
Fixed crash on removal of equivalent clauses. (commit: 9674a93) — azre6702 / githubweb
Added evaluation/empty_relations2 test. (commit: f58be49) — azre6702 / githubweb
add option to explicitly enable freq counter (commit: 585c3a1) — 573119056 / githubweb
Fixed test item names. (commit: 564c642) — azre6702 / githubweb
Update src/ram/analysis/Index.h (commit: 2257471) — noreply / githubweb
Added unit test for equivalent clause removal. (commit: 4c565f9) — azre6702 / githubweb
add missing flag in the testsuite (commit: af59701) — 573119056 / githubweb
Fixed typo in empty_relations2 error file. (commit: cf2a9b1) — noreply / githubweb
Made match2 deterministic, and pushed invalid regex to match4. (commit: e6854fd) — azre6702 / githubweb
Actually added match4 test. (commit: 993c5cf) — azre6702 / githubweb
Made provenance tests deterministic. (commit: 9d92862) — azre6702 / githubweb
Made provenance tests actually fully deterministic. (commit: e23bc17) — azre6702 / githubweb
Added a note explaining provenance test changes. (commit: d7478d8) — azre6702 / githubweb
Some minor clarity fixups in the clause translator. (commit: 26ed239) — azre6702 / githubweb
Put back in pos into clause translator method. (commit: e480404) — azre6702 / githubweb
Moved sipsmetric logic to context. (commit: 493f25c) — azre6702 / githubweb
Decoupled most of the value translator from the main translator. (commit: 02c5d83) — azre6702 / githubweb
Passed symbol table into context. (commit: 97330d8) — azre6702 / githubweb
Removed symbol table from value translator static call. (commit: 5a6d006) — azre6702 / githubweb
Added separate static access point to value translator in main. (commit: f266cda) — azre6702 / githubweb
Decoupled most of constraint translator from main. (commit: 68f89d9) — azre6702 / githubweb
Decoupled most of clause translator from main. (commit: 9315a76) — azre6702 / githubweb
Removed functor and auxArity analyses from ast2ram. (commit: d321026) — azre6702 / githubweb
Removed sips from ast2ram. (commit: 548a22b) — azre6702 / githubweb
Removed non-static value translator. (commit: e008538) — azre6702 / githubweb
Moved all of value translation to... the value translator. (commit: 829dcb2) — azre6702 / githubweb
Moved all of constraint translation to the constraint translator. (commit: 847960d) — azre6702 / githubweb
Removed evaluation arity analysis from ast2ram. (commit: c35e708) — azre6702 / githubweb
Cleaned up ast2ram header. (commit: aed68d6) — azre6702 / githubweb
Made symbol table references in ast2ram const. (commit: ef3c891) — azre6702 / githubweb
Moved constant translation to clause translator. (commit: 06961cf) — azre6702 / githubweb
Removed lingering comment. (commit: f055b37) — azre6702 / githubweb
Added back in the polyanalysis initialisation. (commit: f1185ca) — azre6702 / githubweb
Pushed symbol table out of translator context. (commit: 8c67564) — azre6702 / githubweb
Added functor analysis back into context. (commit: 05ef22c) — azre6702 / githubweb
Some variable renaming clarity. (commit: 5fdd9a7) — azre6702 / githubweb
Add check on lower&upper (commit: 1dff41b) — 573119056 / githubweb
Moved directive grabbing to context. (commit: 15cac62) — azre6702 / githubweb
Removed need for program variable in ast2ram main. (commit: 6ca25ba) — azre6702 / githubweb
use <= instead of < (commit: aa15f4f) — 573119056 / githubweb
Moved IO type analysis to context. (commit: 26e8f2e) — azre6702 / githubweb
Removed polyanalysis from ast2ram internals. (commit: 6be0ec1) — azre6702 / githubweb
Moved type environment analysis to context. (commit: cb5ff75) — azre6702 / githubweb
Moved around util files to util folder in ast2ram. (commit: 57565f5) — azre6702 / githubweb
Make sed new line insertion more portable (commit: 2dc9a73) — mmcgrane / githubweb
Add another sed new line usage fix (commit: 571197d) — mmcgrane / githubweb
First step towards modularising clause translator. (commit: f571f47) — azre6702 / githubweb
Cleaned up parts of op generator generation. (commit: 068849b) — azre6702 / githubweb
Add scripts for fuzzing with AFL and Radamsa (commit: b917952) — langston.barrett / githubweb
Small moving around of clause translator code. (commit: deda0a4) — azre6702 / githubweb
Split up value index creation. (commit: deb284e) — azre6702 / githubweb
Started cleaning up index value argset. (commit: 72e836d) — azre6702 / githubweb
Removed relation field from location + cleaned up value index. (commit: aa7ed91) — azre6702 / githubweb
Cleaned up value index signature. (commit: 587ecf1) — azre6702 / githubweb
Cleaned up aggregator constraint addition. (commit: f682114) — azre6702 / githubweb
Moved out conjunctive addition into utils. (commit: 6444b07) — azre6702 / githubweb
Nullptr dynamic casts -> isA checks. (commit: 48b0d1d) — azre6702 / githubweb
Moved arg-nullptr check out of value translator. (commit: 3ba6a38) — azre6702 / githubweb
Added quick assertion. (commit: 01a45f0) — azre6702 / githubweb
Split up the generator function bc it was huge. (commit: 9776569) — azre6702 / githubweb
Separated atom logic from remaining literal logic in constr. (commit: 5e50bf5) — azre6702 / githubweb
Slight reorganisation in clause translator header. (commit: b7e3742) — azre6702 / githubweb
Cleaned up some TODO comments. (commit: ca7e055) — azre6702 / githubweb
Handled constraints with ifs rather than asserts. (commit: 941283f) — azre6702 / githubweb
Removed aggregator CSE from translator. (commit: 9fe68fe) — azre6702 / githubweb
Moved type aliases from MinIndexSelection to IndexAnalysis (commit: 019441e) — sarc9328 / githubweb
Skipped aggregator alias resolution. (commit: 3355e55) — azre6702 / githubweb
Handled aggregates in generator normalisation. (commit: 90b01b3) — azre6702 / githubweb
Moved generator normalisation to correct place in main. (commit: ba90a75) — azre6702 / githubweb
Removed no longer necessary aggr constraint addition. (commit: 6423c3e) — azre6702 / githubweb
Added aggregator introduction to value index. (commit: c701aef) — azre6702 / githubweb
Added better interface to var references. (commit: f68976a) — azre6702 / githubweb
Cleaned up multifunctor indexing. (commit: b260f9a) — azre6702 / githubweb
Added subaggregator indexing. (commit: 31eb6ce) — azre6702 / githubweb
Fixed up transform ordering. (commit: 7576d55) — azre6702 / githubweb
Removed all dependencies on MinIndexSelection from consuming classes (commit: bf064a3) — sarc9328 / githubweb
made print method private (commit: 50af838) — sarc9328 / githubweb
Minor clarity fix. (commit: 3e780ff) — azre6702 / githubweb
Split up parts of final operation building. (commit: 8bc3c67) — azre6702 / githubweb
Cleaned up buildFinalOperation (bye x). (commit: 184593d) — azre6702 / githubweb
Moved out query creation into its own section. (commit: ea6388b) — azre6702 / githubweb
Made RAM operation creation consistent. (commit: 106fe56) — azre6702 / githubweb
Threw in some constness. (commit: 205dc4e) — azre6702 / githubweb
Removed some unnecessary uses of global level. (commit: 53a4c26) — azre6702 / githubweb
Pushed out level-adding operators into own methods. (commit: 4125594) — azre6702 / githubweb
Removed level member! (commit: c7c2ebe) — azre6702 / githubweb
op_nesting->operations (commit: 117694a) — azre6702 / githubweb
Removed weird operator handling. (commit: ef9017b) — azre6702 / githubweb
integrated changes (commit: d58e832) — sarc9328 / githubweb
Some minor changes to aggregate simplifier for clarity. (commit: 189313e) — azre6702 / githubweb
Removed unnecessary const-cast in TES. (commit: 541b8ac) — azre6702 / githubweb
Fixed weird issue with const ref (commit: 039eb95) — sarc9328 / githubweb
Fixed up issues with target expression simplifier. (commit: 8111e1b) — azre6702 / githubweb
Fixed up order in which aggregators are replaced. (commit: ddaf4e1) — azre6702 / githubweb
Minor cleanups of TES. (commit: 2a8dd7c) — azre6702 / githubweb
Fixed level choice in aggr. (commit: fe98c95) — azre6702 / githubweb
Made comments more consistent with rest of code in TES code. (commit: 638773a) — azre6702 / githubweb
refactored interpreter (commit: 293ea27) — sarc9328 / githubweb
tbs, fix merge (commit: 95e58a3) — 573119056 / githubweb
Split up ram fact creation from main translation too. (commit: dbc90e4) — azre6702 / githubweb
Some aggregator indexing clarity fixups. (commit: 4e3b89a) — azre6702 / githubweb
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
Cleared up parts of constraint filtering. (commit: 7041bdc) — azre6702 / githubweb
Removed semantically unnecessary functor constraining. (commit: 38cf1fb) — azre6702 / githubweb
Cleaned up constant constraint adder a little. (commit: 62e68b6) — azre6702 / githubweb
Fixed interpreter unit tests (commit: f9a0524) — sarc9328 / githubweb
Moved out eqcheck functionality. (commit: e007d7f) — azre6702 / githubweb
Minor changes for clarity. (commit: 6734e14) — azre6702 / githubweb
Refactored relations to accept an index selection rather than indexAnalysis directly (commit: 07e93d9) — sarc9328 / githubweb
Moved over clause delta translation into clause translator. (commit: 61c5026) — azre6702 / githubweb
Fixed up entry points into new clause multi-translator. (commit: c2105fd) — azre6702 / githubweb
Moved delta clause creation out of ast2ram into clause. (commit: de8a291) — azre6702 / githubweb
Fixed setup of clause translator so that the value index is ok. (commit: 3bf0d9a) — azre6702 / githubweb
Cleaned up entry points for clause translation. (commit: 760a1e3) — azre6702 / githubweb
Got rid of cloning for semi-naive translation! (commit: 00fadf9) — azre6702 / githubweb
Removed createDeltaClause. (commit: 4ecf183) — azre6702 / githubweb
Removed uses of provenance negation. (commit: 311ddb5) — azre6702 / githubweb
Removed unused method (commit: 47c8834) — sarc9328 / githubweb
Removed operator< to avoid accidentally using SearchSignature in an ordered collection (commit: 7554a77) — sarc9328 / githubweb
Sorted conditionList to enforce single inequality per relation (commit: 1a04964) — sarc9328 / githubweb
Purged provenance negation from existence. (commit: 2fdc6c5) — azre6702 / githubweb
Removed clause cloning via reordering. (commit: 1b7449c) — azre6702 / githubweb
Removed unused variable. (commit: 0f432b0) — azre6702 / githubweb
Cleaned up ast2ram includes. (commit: 23da27b) — azre6702 / githubweb
Added multiple inequalities check into MakeIndex (commit: d2c94bc) — sarc9328 / githubweb
refactored MakeIndex to be readable (commit: b1fc53d) — sarc9328 / githubweb
Fixed naming to be more clear (commit: 88be8a1) — sarc9328 / githubweb
Added checks to MakeIndex (commit: 96915ec) — sarc9328 / githubweb
Removed IndexedInequalityTransformer (commit: c16f9fe) — sarc9328 / githubweb
Pushed makefile (commit: a08a1c1) — sarc9328 / githubweb
Improve syntax, use keyword keys, omit codmain (commit: bd9692a) — 573119056 / githubweb
Disable magic transformer when there is functional dependency (commit: 13bda88) — 573119056 / githubweb
Discard FDExistenceCheck, add GuardedPorject (commit: 7627499) — 573119056 / githubweb
Disable parallel when there is guardedProject (commit: 916efc4) — 573119056 / githubweb
Fix minor issues (commit: 7a19353) — 573119056 / githubweb
Fix translator for GuardedProject (commit: bb75ccd) — 573119056 / githubweb
Add minor auxiliary func (commit: 177773f) — 573119056 / githubweb
Remove unncessary test cases (commit: 0b09d4f) — 573119056 / githubweb
Add semantic tests (commit: 9ad8659) — 573119056 / githubweb
Add syntactic test (commit: 7d20f60) — 573119056 / githubweb
Add more semantic checks (commit: 10cb41e) — 573119056 / githubweb
Fix, refactor, improve evaluation tests (commit: 6b6dd7e) — 573119056 / githubweb
Format and clean up (commit: cded5c9) — 573119056 / githubweb
Fix makefile (commit: ba2bdd2) — 573119056 / githubweb
Fix makefile, again (commit: 3845f52) — 573119056 / githubweb
Disable RemoveRelationCopyTransformer when head rule has functional constraint (commit: 6e11dd5) — 573119056 / githubweb
Fix keys2, add missing err file (commit: 08bbe6f) — 573119056 / githubweb
Clean up some code (commit: 60af827) — 573119056 / githubweb
Add missing output file for colorable test (commit: edf54a7) — 573119056 / githubweb
Fix fact query (commit: af776a9) — 573119056 / githubweb
Add missing error file (commit: 220810b) — 573119056 / githubweb
Fix parallel transformer (commit: 36fbfe7) — 573119056 / githubweb
Fix testsuite (commit: 8555e24) — 573119056 / githubweb
Fix request (commit: 602ab33) — 573119056 / githubweb
Format (commit: 771953b) — 573119056 / githubweb
Reduced size of graph in colouring example (commit: 43ad03b) — j.karp / githubweb
Update src/ast/transform/RemoveRelationCopies.cpp (commit: 0b20221) — noreply / githubweb
Update tests/evaluation/choice_colourable/choice_colourable.dl (commit: a2436f6) — noreply / githubweb
Requested changes (commit: a524ba2) — 573119056 / githubweb
Added a few TODOs for ADT placement. (commit: 36b4434) — azre6702 / githubweb
Made it compilable again. (commit: 27339b6) — azre6702 / githubweb
Added some helpful ADT methods to translator context. (commit: 20211f1) — azre6702 / githubweb
Updated adt-remover to use context rather than analysis. (commit: 5b681e8) — azre6702 / githubweb
Fix #1774 (commit: f00faaf) — Bernhard.Scholz / githubweb
Filled out value translator for ADTs. (commit: 784c2d1) — azre6702 / githubweb
Fix issue #1770 (commit: 575ccc8) — Bernhard.Scholz / githubweb
Fixed white space (commit: b0d5302) — Bernhard.Scholz / githubweb
Filled out non-provenance ADT stuff. (commit: 7e9babe) — azre6702 / githubweb
Removed adt-preprocessing from main translator. (commit: 612e5b4) — azre6702 / githubweb
Added polysis to context. (commit: 11b1c20) — azre6702 / githubweb
Added polysis methods to context. (commit: 80223c0) — azre6702 / githubweb
Removed numeric constant type state. (commit: 3054654) — azre6702 / githubweb
Removed aggr type state. (commit: 77aad65) — azre6702 / githubweb
Removed binary constraint type state. (commit: 3aaa78a) — azre6702 / githubweb
Removed functor type state!!! (commit: 17cb070) — azre6702 / githubweb
Removed resolved TODO. (commit: 565df27) — azre6702 / githubweb
update output file (commit: 58773a4) — 573119056 / githubweb
Update copyright (commit: 35bbe18) — 573119056 / githubweb
Minor comment changes. (commit: a9d7baf) — azre6702 / githubweb
Fix eq check (commit: fd5eb0c) — Bernhard.Scholz / githubweb
Add test case (commit: 334028d) — Bernhard.Scholz / githubweb
Fix handling of branches (adts) declared over invalid types. (commit: ba3d248) — tytus.metrycki / githubweb
cloned condition to fix issue (commit: 79121a1) — sarc9328 / githubweb
Made atom-reorderer more consistent. (commit: 9cf062a) — azre6702 / githubweb
Pushed atom ordering generation to as late as possible. (commit: c2b404b) — azre6702 / githubweb
Removed original clause notion everywhere. (commit: 7a67a31) — azre6702 / githubweb
Slight reordering of args. (commit: 53a7e16) — azre6702 / githubweb
Removed redundant arg. (commit: 9bdd008) — azre6702 / githubweb
int version -> size_t version (commit: a4a8e0c) — azre6702 / githubweb
Some cleanup with functional dependencies. (commit: dbf846a) — azre6702 / githubweb
Minimise program (commit: 52237fb) — Bernhard.Scholz / githubweb
Reformatting (commit: e615c63) — Bernhard.Scholz / githubweb
Cleaned up entry points. (commit: cb7a0f6) — azre6702 / githubweb
Changed internal config storage of delta. (commit: 266b11e) — azre6702 / githubweb
Got rid of weird overload in provenance clause translator. (commit: 80bd9eb) — azre6702 / githubweb
Purged version from internal arguments of clause translator. (commit: a3114dd) — azre6702 / githubweb
Ensured total ordering with lambda comparator (commit: e2cde22) — sarc9328 / githubweb
Added test for ordered constraints in syntactic (commit: 200bdfb) — sarc9328 / githubweb
Fixed Own/mk and renamed test (commit: 92a0e3d) — sarc9328 / githubweb
Split up add atom part in translator. (commit: 06ce92a) — azre6702 / githubweb
Cleaned up some bloat in provenance translator. (commit: fcc8adb) — azre6702 / githubweb
Modularised provennace translator negation subproof thing. (commit: 900626e) — azre6702 / githubweb
Some more provenance modularising. (commit: 0a775cd) — azre6702 / githubweb
Got rid of level-constraints from cloning section. (commit: 22a0684) — azre6702 / githubweb
Moved more constraints into provenance clause rather than main. (commit: 075ee5f) — azre6702 / githubweb
Got rid of main constraint cloning in prov. (commit: 21db312) — azre6702 / githubweb
Fix for issue 1776. (commit: becd37e) — tytus.metrycki / githubweb
Started pushing out var->subarg translation. (commit: adaa560) — azre6702 / githubweb
Purged ast::SubroutineArgument from existence. (commit: 6af7c93) — azre6702 / githubweb
Moved in var->subarg more consistently. (commit: f988727) — azre6702 / githubweb
Removed intermediate unique variables storage. (commit: 61247c5) — azre6702 / githubweb
Removed clause cloning from provenance!!! (commit: 6fffcbc) — azre6702 / githubweb
Fixed up literal translation for provenance. (commit: 7414f0c) — azre6702 / githubweb
Fixed lingering bugs in provenance. (commit: 9aa82e0) — azre6702 / githubweb
Moved variable naming into provenance only. (commit: bc2df86) — azre6702 / githubweb
Provide all searches at once rather than one at a time (commit: d6bf122) — sarc9328 / githubweb
Fixed bug in aggregate clause extraction. (commit: 564fd26) — tom / githubweb
First part of decoupling MinIndexSelection from IndexAnalysis (commit: 96343ce) — sarc9328 / githubweb
Refactor MinIndexSelection to be strategy but still stateful (commit: 559fcd6) — sarc9328 / githubweb
Refactored map to use STL (commit: 473a04c) — sarc9328 / githubweb
Marked all member functions const in MinIndexSelection (commit: 33ea47b) — sarc9328 / githubweb
Removed card function from MinIndexSelection (commit: 03c245d) — sarc9328 / githubweb
Removed searches as state in MinIndexSelection (commit: 4ab9134) — sarc9328 / githubweb
Made MinIndexSelection stateless (commit: 839f784) — sarc9328 / githubweb
Fixed unit test, added more documentation (commit: 63bd290) — sarc9328 / githubweb
Fixed unit test (commit: 0795a62) — sarc9328 / githubweb
Added strategy to MinIndexSelection (commit: 666f6c4) — sarc9328 / githubweb
Added strategy pattern for index selection (commit: 8ce0ca5) — sarc9328 / githubweb
Added print method for IndexAnalysis (commit: d6ed6e7) — sarc9328 / githubweb
Change keys keyword (commit: 6e47cf3) — Bernhard.Scholz / githubweb
Renamed FinalIndexSelection to IndexCluster (commit: 3e2a0a8) — sarc9328 / githubweb
Changed keyword (commit: 79a8138) — Bernhard.Scholz / githubweb
Fix test-case (commit: 56f87f8) — Bernhard.Scholz / githubweb
Fix test-case (commit: 81fa65e) — Bernhard.Scholz / githubweb
Fixed code as per Github PR discussion. (commit: 95319e1) — puverle+github / githubweb
Fixed up provenance semantics and execution. (commit: e3b61b5) — azre6702 / githubweb
Improved handling of identity functors. (commit: d8cec75) — puverle+github / githubweb
Fixes #1744. (commit: 284ce28) — puverle+github / githubweb
Fixed naming of emptiness check for recursive nullaries. (commit: bae0209) — azre6702 / githubweb
Cleaned up namespace redundancy for ast utils. (commit: 9e46f1c) — azre6702 / githubweb
Cleaned up code based on comments. (commit: e10172a) — azre6702 / githubweb
Fix parsing error with predicates. (commit: 602341a) — puverle+github / githubweb
Fixed incorrect placement of prov excheck. (commit: 2eff9c9) — azre6702 / githubweb
Fixed profiling for recursive clauses. (commit: a772521) — azre6702 / githubweb
Experimental support for Python. (commit: 68bda4a) — puverle+github / githubweb
Minor improvements and fixes. (commit: 106bf95) — puverle+github / githubweb
Reformat code. (commit: 21f339f) — puverle+github / githubweb
Python code improvements. (commit: cba6fbc) — puverle+github / githubweb
Switched "python-config" to "python3-config". (commit: 45d8bad) — puverle+github / githubweb
More python->python3 renaming in makefiles. (commit: 321a31a) — puverle+github / githubweb
Ported from setuptools to distutils. (commit: 6c6488f) — puverle+github / githubweb
More makefile wrangling to make OSX work. (commit: 9938c0a) — puverle+github / githubweb
Tried to fix distcheck. (commit: c15fe83) — tom / githubweb
Still trying to convince automake to play along. (commit: 80e1df8) — tom / githubweb
More automake shenanigans. (commit: 1ea0069) — tom / githubweb
Continued work. (commit: 152e803) — tom / githubweb