Changes
#2514 (Jan 15, 2021, 6:04:11 PM)
- Changes to make distcheck work. (commit: b0da9b9) — puverle+github / githubweb
#2510 (Jan 13, 2021, 3:38:57 PM)
- Added support for provenance. (commit: df617c9) — puverle+github / githubweb
- Improved noxfile and tool detection for Python. (commit: 21b6182) — puverle+github / githubweb
#2509 (Jan 13, 2021, 8:11:03 AM)
- Small updates. (commit: 0251739) — tom / githubweb
#2505 (Jan 8, 2021, 6:33:07 PM)
- 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