Change testcase to be safe for 64 bit and 32bit #1552
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Codecov Report
@@ Coverage Diff @@
## master #1552 +/- ##
==========================================
+ Coverage 66.38% 66.45% +0.06%
==========================================
Files 159 159
Lines 14034 14017 -17
==========================================
- Hits 9317 9315 -2
+ Misses 4717 4702 -15
Flags with carried forward coverage won't be shown. Click here to find out more.
|
b-scholz
approved these changes
Jul 28, 2020
SamArch27
pushed a commit
to SamArch27/souffle
that referenced
this pull request
Aug 3, 2020
commit 97ed9ff2b22ee99a7031c4a964268919bc0f94d4
Merge: 4ab453d96 7ad6d68d4
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Aug 3 19:02:28 2020 +1000
pulled Xiaowens interpreter fixes
commit 4ab453d962e930a2a168c8ee1f30ae0d6454ba50
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Aug 3 18:38:18 2020 +1000
removed redundant include
commit 9714a0412e20b134e3da0060e82e2366c69ee3a8
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Aug 3 18:33:40 2020 +1000
not sure whats happening but commenting out float rambitcast solves negative numbers test issue
commit dff778677200269be6f4e148848bc4d0e2ef6155
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Aug 3 16:44:52 2020 +1000
remove multiple inequalities arbitrarily
commit 39692f273c5465b18b573e8fb5e021527ea00fba
Merge: 8fc1558b3 772b0cbd4
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Aug 3 14:35:08 2020 +1000
merged with master and refactored
commit 8fc1558b3830a9bafbe931f9bb9d2bdd75a8acf1
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Aug 3 00:12:28 2020 +1000
removed assert from binary constraint ops
commit ad8f95456c321a9e6750992af87e934bbb84624e
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Aug 2 23:33:57 2020 +1000
Completely refactored RamIndexAnalysis to account for inequality attribute at the end of the search rather than lex-order
commit 772b0cbd4aa947992c3d58546bb83591e4e4256b
Merge: ade059d43 d1bd52888
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Sat Aug 1 23:28:15 2020 +1000
Merge pull request #1562 from mmcgr/splitters
Split AST files into one file per class
commit 7ad6d68d41ad76b6633c4a661744b599ac819cf2
Merge: 0a961af6a ade059d43
Author: XiaowenHu <xihu5895@uni.sydney.edu.au>
Date: Sat Aug 1 22:08:01 2020 +1000
Merge branch 'master' into inequal
commit d1bd528884b1079ff492646904216557cb5664ba
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 31 16:59:24 2020 +1000
Refactor ContainerUtil to be independent of MiscUtil
commit 8b7ba722e7450a886112ca3145fd6c7ac9558e83
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 31 16:56:52 2020 +1000
Update headers in main files
commit 23a4c685bc4cb0726787c0bcc4bccfd7caa7e24d
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 30 16:02:26 2020 +1000
Split Ast classes into separate files
commit 46a4d84421b73c41d4f65179e954aac2476ee871
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 29 18:08:11 2020 +1000
Split remaining Ast transformers
commit ade059d43af9302be521c6d3d69b6cb1692cf7db
Merge: 8538901fe 5bc2340e7
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Sat Aug 1 11:21:22 2020 +1000
Merge pull request #1561 from XiaowenHu96/interpreter_refactor_p1
Interpreter refactor
commit 5bc2340e78d3202241423d55ccccb4d3b9e0308f
Author: Xiaowen Hu <573119056@qq.com>
Date: Sat Aug 1 00:00:03 2020 +1000
Formatting.
commit 2ca12b31319f64d64ebf5443118b7da2f117695b
Author: Xiaowen Hu <573119056@qq.com>
Date: Fri Jul 31 23:53:56 2020 +1000
Fix silly typos and give better naming.
commit 01497141d72f4268a875a5ee3a1bba042999a80a
Author: Xiaowen Hu <573119056@qq.com>
Date: Fri Jul 31 18:54:12 2020 +1000
Clang-format
commit 38d00f56ee21cac782b00ad3d17279a5d2a9f4e8
Merge: 1db816ee6 8538901fe
Author: XiaowenHu96 <573119056@qq.com>
Date: Fri Jul 31 17:40:38 2020 +1000
Solve merge conflict
commit 1db816ee61fc5eb86c34e3a96029bbb1a87d7b7d
Author: XiaowenHu96 <573119056@qq.com>
Date: Fri Jul 31 17:16:28 2020 +1000
Add documentation, fix typos, minor changes.
commit b66d4625670e1ca99b99718d7b69808430053d2b
Author: XiaowenHu96 <573119056@qq.com>
Date: Fri Jul 31 16:58:17 2020 +1000
Fix merge.
commit fc7de424cd0cf3867e34d8df7cb3f42320d7907a
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 30 13:42:14 2020 +1000
Protect threaded access to record map
commit 0685c400a089d2c7f19c47a7815090d7af4032ed
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Wed Jul 29 18:52:07 2020 +0200
Tidy up BinaryConstraint type checks.
commit f6d51ddc40d0d2fd4946d74583a8194e09b4d1a2
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 29 13:17:57 2020 +1000
Update extracted file attributions
commit d7ea407422b0f43346b7e97b18c299a89b364e2b
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 29 12:04:25 2020 +1000
Update changelog
commit f4e55e1c7df63fcaf3c630703d62cdbd618a04db
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 14:38:43 2020 +1000
Reformatting
commit 231682e6ebf07d0436e48ded6b565582f0b9d5fe
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 14:12:01 2020 +1000
Fix makefile.am
commit 96c26c01f439a99ab752adc50402d275db76ac2c
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 13:56:32 2020 +1000
Fixed RAM and tests
commit f40849367478a20da80e47ff6927769532c7f3d5
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 12:30:26 2020 +1000
Renamed AST files
commit 1d52438d2ee86994de6213500b939fac7eb1b2c4
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 10:23:47 2020 +1000
File renaming
commit 49a5358da75fbfcdb0ff47e9d112948bc1935381
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sat Jul 25 23:42:33 2020 +1000
Change testcase to be safe for 64 bit and 32bit
commit a02edd2bcb4e726bfeb5c068bb27d7d19f0c5f34
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Wed Jul 29 16:07:36 2020 +0200
Check for type equivalence instead of equality
commit 8f900a6c26b0ce3e4ef0b2e7a262819fe0d63538
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Mon Jul 27 10:40:10 2020 +0200
Add procedure for checking type equivalence
commit 00f8979d7d771b65ffe9714e485ef2714211cabd
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Mon Jul 27 10:39:44 2020 +0200
Nicer TypeEnv initialization
commit 3603b64d4ad8ee15721199dfd0e83ed706a7713d
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 27 14:14:03 2020 +1000
fixed style
commit fb3baff052de4da7b7a4821ab2c142cefd99cc83
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 27 13:00:04 2020 +1000
refactor to give more meaningful variable name
commit 138664ef65c167435a0080965e7f9bfc97114132
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 27 01:33:11 2020 +1000
stopped aggregates from overmaterialising. Now, only rules with more than one atom will be materialised. If an atom is not present, we add a +Tautology atom to the body of the aggregate. A rule with one atom and any number of constraints will not be materialised anymore
commit dcafc881bab59b384d6b4316d03a6db3b742e44b
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 12:45:51 2020 +1000
Split PrecedenceGraph.h into separate files
commit 83107108b24c71dcd0ef75d52e8346da59e1dd60
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 17:29:09 2020 +1000
Fix headers
commit 34f421b2952542776632068ffa4325540a56cdd8
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 10:46:30 2020 +1000
Fix file naming in doxygen headers
commit f271c455225213aacf443f05aab85ab062adb021
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 10:21:37 2020 +1000
Standardise Analysis naming
commit c6582126e91dce845be7f95703392a44fa5e92a6
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 23 12:38:30 2020 +1000
Refactor ram transforms into separate files
commit 339fdc4961ca286b6a8114946adfb090ef32a438
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 15:52:21 2020 +1000
Refactor ast transforms into separate files
commit ac3a142ee3a582320340f8d53dcfc2102c6b143b
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 13:50:21 2020 +1000
Move Synthesiser files to synthesiser subdir
commit 3c82a20b79ab5999e58bf66908dcfc271703756f
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 13:47:49 2020 +1000
Move interpreter files to interpreter subdir
commit 2c99c75c6b972f6be520c641af25407d8c05d66b
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 13:37:16 2020 +1000
Rename AstTranslator to AstToRamTranslator
commit 54d5493c7c84184066e294e13ff154be7284cf7b
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sun Jul 26 09:48:09 2020 +0200
PR feedback
commit 9e31136fb482d8e53bc101275f99cceef5e87f9e
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 14:19:25 2020 +1000
Update tests to match extended float output
commit 892551a715759fa7a72ee6650bcf6def83d3a24a
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 18:34:19 2020 +1000
Set higher precision for csv output
commit ad22b64dbdfe520e4e5d049f2f1d2e40cc95e406
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Sat Jul 25 16:44:21 2020 +1000
auto recognize read format & bug fixs
commit 7ed9a9f869018d544cab01abc60c4cfad4b66fd2
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Sat Jul 25 02:54:17 2020 +1000
support json object style output
commit 94e59737517152601c6134f4e4afbd59e4c544dd
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sat Jul 25 14:28:10 2020 +0200
Extend base type error message
commit a74444617ec150883331a35a8989d12ce876eb54
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sat Jul 25 13:23:37 2020 +0200
Use enum class instead of enum for Diagnostic message type
commit 7add4571be3d3edd06ec715f1713727e7ae96438
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Thu Jul 23 13:34:27 2020 +1000
clang format for IOAttribute
commit 65d573af2fd03aa11db8da7e03c9d6323879445a
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Thu Jul 23 05:30:20 2020 +1000
add internal params representations
commit 22d67ea0957f44e56f815d7b556361c1a21030fa
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:52:20 2020 +1000
fix interpreter semantics for ProvenanceExistenceCheck and add assertions to ensure that payload arguments are fully specified
Solve merge conflict
commit 2cbe7cb0ad050878fdc34b3e3c729737856c3b89
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:32:09 2020 +1000
delete commented code and formatting
commit 218cca31676c22257fd0bec4fe5e08508a3b87de
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:22:03 2020 +1000
remove unneeded existence check with provenance and interpreter
this is now handled by the data structure, and also allows us to
re-enable multi-threading with the interpreter and provenance
commit 76749c09fa7e174b16342714c1afd16b6da577d9
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:00:14 2020 +1000
remove subtreeHeights provenance method
commit 5e977280e11e6333cc33bd2fa4696e1da1b047d8
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 13:24:36 2020 +1000
more style changes
commit 3d34b659b2ebebad88241940ecf2fd2ac8f19d48
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 12:07:19 2020 +1000
minor code style improvements
commit 763527082439d5aefc9746fc16e7def362dcba93
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 18:51:33 2020 +1000
accidentally included something wrong
commit 8c772862a1c3d34b1cb28607ac6974d638a70f8b
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 18:49:41 2020 +1000
fix issues synthesising values for ProvenanceExistenceChecks
commit e6d31cfc909de9952b1928cd762ad591e426be1e
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 17:37:43 2020 +1000
fix index generation for ProvenanceExistenceCheck
commit cdace55ef58acf064330e39ee3079d175735509a
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 17:24:21 2020 +1000
fix generation of lowerUpperRanges for provenance existence checks
commit dc6d6d8df07d251486895ba97fa400a869a7f59d
Author: David Zhao <taipan.snake13@gmail.com>
Date: Tue Jul 21 23:58:02 2020 +1000
reorder AstProvenanceNegation and AstNegation, and RamProvenanceExistenceCheck and RamExistenceCheck so the special provenance checks are generated properly
commit 6074f3449d2b5d219cac8ebeb2ab02aded4a2ba1
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 16:41:15 2020 +0200
Fix formatting
commit 518d3a3219e5d331d582c2eb3954427d00ce1d83
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 13:48:17 2020 +0200
symbol2numeric: use if constexpr to fix duplicate symbol linker error
commit 492495407d06fd7e7c070f6ad60b22e3fb6fcbdd
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 13:19:20 2020 +0200
Add another inline keyword
commit 3602f1a6e52685098c444e25768cfb4814485484
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 12:56:00 2020 +0200
Try adding inline keyword to fix duplicate symbol error
commit fa93b60110ec4b8a831e659661ab49a1eb273da6
Author: Xiaowen Hu <573119056@qq.com>
Date: Thu Jul 30 22:56:32 2020 +1000
InterpreterNode classes hierarchy refactor part1.
Build specific interpreter node for each RAM node.
Static cast all nodes before execution.
commit 4041dca91b1410ecab9550884dfdd32a127a4a2b
Author: XiaowenHu96 <573119056@qq.com>
Date: Mon Jul 27 18:27:28 2020 +1000
REBASE: super-instruction part1
Implement super instruction.
commit 0a961af6a6208c2511f515d410bddbd8d33e51ca
Merge: 164a79d94 8538901fe
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Fri Jul 31 15:38:13 2020 +1000
Merge branch 'master' into inequal
commit 8538901fe83e74727e46dd2fc957298bbd6fd696
Merge: 9b4ab887a 8b024882c
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Thu Jul 30 16:09:49 2020 +1000
Merge pull request #1559 from mmcgr/memory
Protect threaded access to record map
commit 8b024882cea164a3e3769880ebac6f11e1f754cf
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 30 13:42:14 2020 +1000
Protect threaded access to record map
commit 164a79d94404c128678e55996f0546bac26c7a9a
Merge: 3f72fea9e 9b4ab887a
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Thu Jul 30 10:27:50 2020 +1000
Merge branch 'master' into inequal
commit 9b4ab887a267d47f6723505c930feff6d289d9a0
Merge: ad3166802 3fd6ddefc
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Thu Jul 30 10:25:43 2020 +1000
Merge pull request #1558 from darth-tytus/bugTypesComponents
Type system fix
commit 3fd6ddefc6743c80296b09227675ed117350b899
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Wed Jul 29 18:52:07 2020 +0200
Tidy up BinaryConstraint type checks.
commit fc98d59122690f0285ad0de8c43fdeb0847fc431
Merge: 19bdc63e1 ad3166802
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Wed Jul 29 18:44:08 2020 +0200
Merge branch 'master' of https://github.com/souffle-lang/souffle into bugTypesComponents
commit 19bdc63e165cf746311b60791ac310599339349b
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Wed Jul 29 16:07:36 2020 +0200
Check for type equivalence instead of equality
commit ad316680277ebc162c47de801f2fd4f1b3488641
Merge: 0f59e845b f9e6096c5
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Wed Jul 29 19:45:47 2020 +1000
Merge pull request #1556 from mmcgr/changes
Update changelog
commit 3f72fea9e4fbea6b21b38304f0906bfc880aa99a
Merge: b6e07414c 0f59e845b
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Wed Jul 29 17:50:51 2020 +1000
Merge branch 'master' into inequal
commit b6e07414cfe48bad5e6fc6c2b86f4544bc132eda
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 29 17:49:52 2020 +1000
refactored to rambitcast instead of raw C-style cast
commit 0570a328813ba9a5098ad7db27a6a5431aef23dd
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 29 17:36:59 2020 +1000
refactored interpreter to remove redundant RamUndefValue check
commit 69cdd05cddf4657926ce2f11510f02c0d2ba68ff
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 29 17:25:47 2020 +1000
Fixed problem with discharging inequalities for indexed aggregates
commit f9e6096c53aca33b280e6be62b98c2d104df8db4
Merge: e5f10fb1a 0f59e845b
Author: azreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 29 01:29:27 2020 -0500
Merge branch 'master' into changes
commit 0f59e845b7fba30e5c16ff735e0f0b80ca3b740a
Merge: 9ac5f8dd1 26924e212
Author: azreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 29 01:29:09 2020 -0500
Merge pull request #1557 from mmcgr/attribution
Update extracted file attributions
commit 26924e212f5e0397806d9dd9f78367135bfed90e
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 29 13:17:57 2020 +1000
Update extracted file attributions
commit e5f10fb1a043caebe9b5e4cf30619ec2eb7a66d3
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 29 12:04:25 2020 +1000
Update changelog
commit 84ca05f2b05119dadd4eedb753a768f689574616
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 29 11:36:01 2020 +1000
fixed include after martin's refactor
commit f462fc87a61f01a87fc318333d6eb2f889b7931e
Merge: 585e0df6b 9ac5f8dd1
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 29 10:32:38 2020 +1000
Merge remote-tracking branch 'upstream/master' into inequal
commit 9ac5f8dd18d4e78050e662e5590d47a10b3187dc
Merge: 96d763f46 70095bd8b
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Wed Jul 29 10:27:17 2020 +1000
Merge pull request #1554 from b-scholz/files
File Restructuring
commit 585e0df6b83e34d5e392da9967b079816257a386
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 29 01:43:13 2020 +1000
fixed bounds on interpreter for parallel index aggregate
commit 884aae219b728ba908f3af25e6865d4e490b186f
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Tue Jul 28 14:50:14 2020 +1000
Apply suggestions from code review
Removed redundant line
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit cdea7c24e9b10def27b9799f74cceeb2c9205296
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Tue Jul 28 14:49:34 2020 +1000
Update src/ram/transform/IndexedInequality.cpp
Simplified indexable operation check
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 70095bd8b629c3fa1cd40ede21b7000f705f9d0b
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 14:38:43 2020 +1000
Reformatting
commit f05cddb31cb6f31010b9350fc0a3e7fb9ffa3b81
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 28 14:35:32 2020 +1000
fixed issue with type
commit 83d99dab8d128f6f7be55342111c4490519217e0
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 14:12:01 2020 +1000
Fix makefile.am
commit 34065868ba1665b5da3c25336f646e4c573fbe84
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 13:56:32 2020 +1000
Fixed RAM and tests
commit d8a3533f1507a4e849db268b9c3971fdda8c1e88
Merge: ced1aa88a 44abf9281
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 28 13:35:39 2020 +1000
Merge branch 'inequal' of https://github.com/SamArch27/souffle into inequal
commit ced1aa88a4d74fc31a4e6dcb96398a3eb2a32a75
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 28 13:35:28 2020 +1000
properly leveraged type information in constructPattern
commit d83f5b1d9841f5b32f94cf43c53a07f486fc6010
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 12:30:26 2020 +1000
Renamed AST files
commit 285408b060225dd3b015c14dfc1c4f29e0cdb7dc
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 10:23:47 2020 +1000
File renaming
commit 44abf9281236d4aa65fad55d8d3f4878ab5fc658
Merge: d548165f6 96d763f46
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 10:12:22 2020 +1000
Merge branch 'master' into inequal
commit 96d763f46f778ec5cef35dad68268668fd6c46b1
Merge: 97abbe0b0 5c481b3ca
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Tue Jul 28 10:10:23 2020 +1000
Merge pull request #1552 from mmcgr/rounding
Change testcase to be safe for 64 bit and 32bit
commit 5c481b3ca24091f09b2a017fd3f7f80d35bb6db8
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sat Jul 25 23:42:33 2020 +1000
Change testcase to be safe for 64 bit and 32bit
commit 56e9226d863e8d80ba7525beb7487f6169639ae3
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Mon Jul 27 10:40:10 2020 +0200
Add procedure for checking type equivalence
commit 89ced8203dd775cfe3b078398790e2952ad04543
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Mon Jul 27 10:39:44 2020 +0200
Nicer TypeEnv initialization
commit d548165f6360878f520a593d52b8917211335b63
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Jul 27 17:39:36 2020 +1000
fixed namespace comment from when the code was broken
commit d1a7a3e54cf24093d5e3cb052d79fcfc3899d4a1
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Jul 27 17:35:05 2020 +1000
made anti-chain check use more descriptive variable names
commit 2ad785581aef1eed38d928f1f8f05473e3a178ca
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Mon Jul 27 17:32:59 2020 +1000
Update src/ram/analysis/RamIndexAnalysis.h
More meaningful variable names in SearchSignature methods
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit de78916c1ec619fb95f8de443abbc78de5ff416e
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Jul 27 17:31:42 2020 +1000
removed personal files
commit f60d850c80699ec6f1d4d1e38c206cce9e2e8d8e
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Mon Jul 27 17:27:51 2020 +1000
Update src/ram/transform/MakeIndex.cpp
Changed to more concise clone
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 9e330564949776f5824211ba343691ace39ef7f3
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Mon Jul 27 17:27:11 2020 +1000
Update src/ram/analysis/RamIndexAnalysis.cpp
Explicit compare of count to 0
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 54806b5f65b799290d8519aa5aca1571137e8579
Author: Sam Arch <33534453+SamArch27@users.noreply.github.com>
Date: Mon Jul 27 17:26:50 2020 +1000
Update src/ram/analysis/RamIndexAnalysis.cpp
Simplified isStrictSubset method
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 915fe7b72aaf11e03fc9ff74e56873ad86cb1f5b
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Jul 27 17:25:22 2020 +1000
fixed bug in nested loop
commit 97abbe0b0944a05fd5323ad4308b37a4d67569c4
Merge: 0a1124a3d 26f561e17
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Mon Jul 27 16:39:39 2020 +1000
Merge pull request #1551 from rdowavic/StopOvermaterialisingAggregateBodies
Stop overmaterialising aggregate bodies
commit b0ae5411ee1cc16a4e2f38d93bdfe925c86908f7
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Jul 27 15:57:05 2020 +1000
removed test-driver file
commit c3bbea324408d5d0d3962b25c7c8d52232498333
Merge: d4220cf18 0a1124a3d
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Mon Jul 27 15:08:25 2020 +1000
fixed pr nightmare by merging upstream
commit 22d132f883d52868923b4d11ddc769a7adce26e2
Author: XiaowenHu96 <573119056@qq.com>
Date: Mon Jul 27 14:36:10 2020 +1000
Build specific Interpreter node for each RAM node.
Static cast all the nodes before execution.
commit 26f561e1744f40c1c5d53417642b685fe16114e5
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 27 14:14:03 2020 +1000
fixed style
commit 216dadc5bf7ee5ae1f7266831120035925ee98ef
Author: XiaowenHu96 <573119056@qq.com>
Date: Mon Jul 27 13:36:44 2020 +1000
Improve TupleOperation so that profile node is inserted only when
enabled.
commit f6f25ceac24873fce62cc59fff350c62533005e2
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 27 13:00:04 2020 +1000
refactor to give more meaningful variable name
commit 496d03a2b253c0fefe18792b248b393d0940e2a6
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 27 01:33:11 2020 +1000
stopped aggregates from overmaterialising. Now, only rules with more than one atom will be materialised. If an atom is not present, we add a +Tautology atom to the body of the aggregate. A rule with one atom and any number of constraints will not be materialised anymore
commit 0a1124a3da6087af30ccd9a0dda23ed8d51962d3
Merge: 75477b297 a91ad3e46
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Mon Jul 27 10:06:08 2020 +1000
Merge pull request #1545 from mmcgr/splitters
Refactor directory/class structure
commit d4220cf18882c9f4c54d79f8cbac29f107d9a75d
Merge: c5cf5ef68 560fcdbed
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 22:31:20 2020 +1000
Merge branch 'inequal' of https://github.com/SamArch27/souffle into inequal
commit c5cf5ef68b34f4fbc9be6867b72b12d90464b0db
Merge: 3ea186c22 75477b297
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 22:29:39 2020 +1000
Merge branch 'master' of https://github.com/souffle-lang/souffle into inequal
commit 3ea186c22622486692d13498f3f3407938da07d4
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 22:29:17 2020 +1000
removed files in souffle root
commit 560fcdbede28597669bbc022646d28409fe8fc80
Merge: ab8fe9463 75477b297
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sun Jul 26 22:15:48 2020 +1000
Merge branch 'master' into inequal
commit a91ad3e4667c30b3c76ea443ab11d84d0c73a7d7
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 12:45:51 2020 +1000
Split PrecedenceGraph.h into separate files
commit d33e6cda619ad6cc37ac77c111ed51e3f2c374fa
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 17:29:09 2020 +1000
Fix headers
commit b39fb26a2f99dc0704bdbdacbbadce702613cf30
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 10:46:30 2020 +1000
Fix file naming in doxygen headers
commit 819c88bd49edb35dcb5510fbb02ad228568716f9
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 10:21:37 2020 +1000
Standardise Analysis naming
commit 2559830be5ec5f0c627c8ae334884cd6bcf588d2
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 23 12:38:30 2020 +1000
Refactor ram transforms into separate files
commit 420d15300d5b810f469daafa6edb7f5ccac32d41
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 15:52:21 2020 +1000
Refactor ast transforms into separate files
commit 4abba5dcfec90fd2b2d79514baff2f19e9567630
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 13:50:21 2020 +1000
Move Synthesiser files to synthesiser subdir
commit dfebf0a41e839761a3acb67a95ca971d9b7c447f
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 13:47:49 2020 +1000
Move interpreter files to interpreter subdir
commit 71296d4fbb2639250e332cb59239f90c7ff71952
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 13:37:16 2020 +1000
Rename AstTranslator to AstToRamTranslator
commit 75477b2974885850fce4e477250bdb5266c0e52e
Merge: 2d9d05a22 f44dae0d2
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sun Jul 26 22:12:06 2020 +1000
Merge pull request #1548 from darth-tytus/typeErrorDiagnostic
Better errors for type mismatches #1532
commit ab8fe94630b4886fcd49010db3f428e59affbccb
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 21:51:18 2020 +1000
fixed style
commit be51ff2a7cf7e531e6bcd8cc9960f02da350e756
Merge: 2fe226793 2d9d05a22
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 21:18:22 2020 +1000
Merge branch 'master' of https://github.com/souffle-lang/souffle into inequal
commit 2fe2267939c1c2415a5de8480f5c56f2fbf88b00
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 21:17:49 2020 +1000
removed binaries
commit b22e4664ae3a566de334ed9c176ba5f6ee03a5fc
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 21:15:47 2020 +1000
removed some comments
commit d42f654f35fcadb3f7c4ec82301d4f167320ae45
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sun Jul 26 20:59:28 2020 +1000
massively refactored chain merging algorithm into something readable
commit f44dae0d224fffe7400d461f87498ad033b3fd62
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sun Jul 26 09:48:09 2020 +0200
PR feedback
commit 465cf0c1f86054dbc2a68910918b69226c8ed18d
Merge: 544952131 2d9d05a22
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sun Jul 26 03:05:39 2020 +1000
Merge branch 'master' into typeErrorDiagnostic
commit 2d9d05a226bdf2da3d6f44afa8a73fd2615c8c9a
Merge: 5dcb8a9ee b0abf8789
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sun Jul 26 01:12:54 2020 +1000
Merge pull request #1547 from GaloisNeko/jsonobj
support json object style output for #1489
commit 544952131c5b18e4504ac32986302feb2b9ef86e
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sat Jul 25 14:28:10 2020 +0200
Extend base type error message
commit 072d1cdc9248fabe0d343eac6c0eae2928371ab6
Author: Tytus Metrycki <tytus.metrycki@gmail.com>
Date: Sat Jul 25 13:23:37 2020 +0200
Use enum class instead of enum for Diagnostic message type
commit b0abf8789a60168e603ab6c4ab682b6dc3ff1944
Merge: e2a803072 5dcb8a9ee
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sat Jul 25 21:13:37 2020 +1000
Merge branch 'master' into jsonobj
commit 5dcb8a9ee6f3e1bcfa212c4fa0fadc33f850fba5
Merge: f062651a5 89dd923ee
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Sat Jul 25 21:12:32 2020 +1000
Merge pull request #1546 from mmcgr/rounding
Increase float precision
commit 8fb3604d40b6dd8058e78324dbae6dcd1cc091b4
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sat Jul 25 19:16:34 2020 +1000
refactored backtracking the chains to lexorder
commit e2a803072c867269e239df0dc6d2ca63944c3795
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Sat Jul 25 16:44:21 2020 +1000
auto recognize read format & bug fixs
commit eb5d507f6dca5f8080fcf3e678fe4c76ee72f0c4
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sat Jul 25 16:23:11 2020 +1000
created helper function for padding lower/upper bounds for range query in synthesiser
commit 1ce63b8ece97507a2729cc8d480090023c1c199d
Merge: ea7a7c8bc f062651a5
Author: Galois Neko <11177488+GaloisNeko@users.noreply.github.com>
Date: Sat Jul 25 02:57:49 2020 +1000
Merge branch 'master' into jsonobj
commit ea7a7c8bc74112b2a52c8d2a7e95c04e05162e2a
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Sat Jul 25 02:54:17 2020 +1000
support json object style output
commit c5bf730ad6b561d539dcd59fcab471f4a2caf303
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sat Jul 25 02:51:24 2020 +1000
removed .set method in favor of convenient overloaded [] operator
commit af1a8101da07d845918dd052f30691afdeae31d3
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sat Jul 25 02:02:04 2020 +1000
some refactoring to get more efficient implementations of core algorithms
commit 4f5d6e4a3d63b726f0c880c274124c54546bfe96
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Sat Jul 25 00:53:50 2020 +1000
fixed issues with provenance
commit e4fa4bf1fd61d05346847a415dfc469eedbb0205
Merge: 28b716848 f062651a5
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Fri Jul 24 16:04:32 2020 +1000
Merge branch 'master' of https://github.com/souffle-lang/souffle into inequal
commit 89dd923ee7a636b4ddfce5f3896d7fa6ec90c06c
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 24 14:19:25 2020 +1000
Update tests to match extended float output
commit b0e172716081a676c251bec3d617376d9a4e841f
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Fri Jul 24 14:42:49 2020 +1000
Refactoring
commit 4a72a6ed4af6a3ac294d4e977cc73371dbf14e21
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 22 18:34:19 2020 +1000
Set higher precision for csv output
commit f062651a5b90dc5e14b3df173fdb35961da5bd72
Merge: c79922927 8f7b1d1bc
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Fri Jul 24 09:03:08 2020 +1000
Merge pull request #1543 from luc-tielen/fix/duplicate-symbol
Fix/duplicate symbol
commit 8f7b1d1bc492cec3943abaed6437c143c2398bfb
Merge: 1c524acd8 c79922927
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 10:47:58 2020 -0400
Merge branch 'master' into fix/duplicate-symbol
commit 1c524acd8cfd1fe49e2fcdc9d6b78de1d8bfecf4
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 16:41:15 2020 +0200
Fix formatting
commit c799229276b3f2f2f6e7647df25bfb08bfc6b25b
Merge: 0d3bbbd58 ba7429bdb
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 23 23:46:51 2020 +1000
Merge pull request #1542 from taipan-snake/provenance-remove-subtreeheights
Remove Provenance's subtreeHeights option
commit 84b304e1b27700b23fd88814262ec2c0a9899101
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 13:48:17 2020 +0200
symbol2numeric: use if constexpr to fix duplicate symbol linker error
commit 36ce8f89676b9e27f91f05fc39a924acfc4d86f9
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 13:19:20 2020 +0200
Add another inline keyword
commit 4d2fad076f10118ef9e24bcd866db03376b24619
Author: Luc Tielen <luc.tielen@kabisa.nl>
Date: Thu Jul 23 12:56:00 2020 +0200
Try adding inline keyword to fix duplicate symbol error
commit ba7429bdb2259b529c88d955c74b157e2c4dfa71
Merge: 864c8171a 0d3bbbd58
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Thu Jul 23 19:48:53 2020 +1000
Merge branch 'master' into provenance-remove-subtreeheights
commit 0d3bbbd588a29ba7b1458d04c8353ca0a0737794
Merge: 67679404f 0a54741e0
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Thu Jul 23 19:48:38 2020 +1000
Merge pull request #1541 from GaloisNeko/recordattribute
add internal params representations to directive to fix #1510
commit 864c8171acd0801a8f8e245fa4492ffa7d2d4174
Merge: e396732ac 67679404f
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 18:02:28 2020 +1000
Merge branch 'master' of github.com:souffle-lang/souffle into provenance-remove-subtreeheights
commit e396732acdb9c6b55316f21aa9fdaf9206810872
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:52:20 2020 +1000
fix interpreter semantics for ProvenanceExistenceCheck and add assertions to ensure that payload arguments are fully specified
commit 7a2ffb5abf1dbcec5dfc5893159f6f952a81caf6
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:32:09 2020 +1000
delete commented code and formatting
commit 6026fa3e4e7a6872aba2ce1b1a267e9ee2920b09
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:22:03 2020 +1000
remove unneeded existence check with provenance and interpreter
this is now handled by the data structure, and also allows us to
re-enable multi-threading with the interpreter and provenance
commit cba9ce31d3f8f3a0b2604a06b94a754a00957045
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 17:00:14 2020 +1000
remove subtreeHeights provenance method
commit 0a54741e07584411b84c5d11e74fd199ba78a118
Merge: ee646eb16 67679404f
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 23 15:50:51 2020 +1000
Merge branch 'master' into recordattribute
commit 67679404fd83f27ca4387c88a46dd99fa3b98d31
Merge: f943254ab 87cc7d156
Author: David Zhao <dzha3983@uni.sydney.edu.au>
Date: Thu Jul 23 15:47:50 2020 +1000
Merge pull request #1540 from taipan-snake/provenance-existence-check-fix
Provenance existence check fix
commit ee646eb16ba178c9f3cccd1794079aa9d971bbae
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Thu Jul 23 13:34:27 2020 +1000
clang format for IOAttribute
commit 87cc7d1565358641c6084be536aa99c463e75555
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 13:24:36 2020 +1000
more style changes
commit 116273332d2f3b82ec667fd56f2835acf90a3d6a
Author: David Zhao <taipan.snake13@gmail.com>
Date: Thu Jul 23 12:07:19 2020 +1000
minor code style improvements
commit 16756bb27c4d1bb494735907b89ca5f503757149
Author: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Thu Jul 23 05:30:20 2020 +1000
add internal params representations
commit 28b716848a1641e1f7a1d5e49d184b14e5d777b6
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 22 19:01:47 2020 +1000
commented out subtree heights from test suite
commit 0b90149d5cde1b20190597b2ecece14278a9c081
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 18:51:33 2020 +1000
accidentally included something wrong
commit 9c700f863de51dd2c4b2364983318f457d434196
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 18:49:41 2020 +1000
fix issues synthesising values for ProvenanceExistenceChecks
commit feaa3ef5289b4e3ca2e8c605cc0161a33c4ce95f
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 17:37:43 2020 +1000
fix index generation for ProvenanceExistenceCheck
commit a07567a9943f3e45c9501835d0a9b60c033b2ccd
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Wed Jul 22 17:35:28 2020 +1000
changed order from left to right for readability
commit f75b6f979d343478cdc5f9cfc9f34283c8870949
Author: David Zhao <taipan.snake13@gmail.com>
Date: Wed Jul 22 17:24:21 2020 +1000
fix generation of lowerUpperRanges for provenance existence checks
commit 1cfa01a5fd53c88166da3a43ea155d2abbaab2bf
Author: David Zhao <taipan.snake13@gmail.com>
Date: Tue Jul 21 23:58:02 2020 +1000
reorder AstProvenanceNegation and AstNegation, and RamProvenanceExistenceCheck and RamExistenceCheck so the special provenance checks are generated properly
commit 650b83b91a1839d4ec9ebec088a25a79a04d3957
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 21 19:30:24 2020 +1000
added supremum and infimum bounds for parallel index aggregate operations
commit 230b15fefa16d63c210c7769699c479a2dc1c5a7
Merge: bbaa02004 f943254ab
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 21 11:57:19 2020 +1000
fixed provenance bug and integrated changes from master
commit bbaa0200493ea6696587921dbc03dc3368e119e3
Merge: e558630de fff65cc7d
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 21 11:17:56 2020 +1000
merged master and fixed failing test
commit f943254abfeb10921f2965c5a724dbce0ccc19c7
Merge: 057dadffa cade12d7b
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Mon Jul 20 22:30:56 2020 +1000
Merge pull request #1522 from rdowavic/RamParallel
Parallelise aggregate computation where possible
commit cade12d7bbe0f9e13c1f98a7ec2da5511f9bbed1
Merge: 1d6a8079a 057dadffa
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Mon Jul 20 18:04:05 2020 +1000
Merge branch 'master' into RamParallel
commit 057dadffa0b0c317b4e5616f2f10f0aae5444b25
Merge: b77b320c0 a4d90822e
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Mon Jul 20 18:03:45 2020 +1000
Merge pull request #1538 from mmcgr/which
Improve file-handling in souffle::which
commit 1d6a8079aba5ee753657ea8ed3861f8c8dc459af
Merge: 6fb165dcb b77b320c0
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 20 15:26:52 2020 +1000
Merge branch 'master' into RamParallel
commit 6fb165dcb59abf2898d2bff7819d824f028623dd
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 20 15:19:08 2020 +1000
fixed .dl extraneous whitespace
commit a4d90822eef14f86aa28c5352d67554bf648dcc9
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Mon Jul 20 15:14:13 2020 +1000
Only search PATH for binaries
commit 77083c49ad647e49b14199a362a26a3cdcab97ab
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 20 15:14:04 2020 +1000
style fix
commit e6cd28c97a656b9db941242f1ef9863e949376f6
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 20 15:09:20 2020 +1000
add overflow tests for aggregate mean
commit 19464ef4118ea6738301b1858e2aa1be0f5e8f37
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Mon Jul 20 11:39:20 2020 +1000
Don't include directories when searching for souffle binary
commit b77b320c030e936e4bca1376f30e5c308eea98ee
Merge: e840b359e eb8fe7486
Author: azreika <azre6702@uni.sydney.edu.au>
Date: Sun Jul 19 23:19:29 2020 -0500
Merge pull request #1536 from mmcgr/cloning
More cloning standardisation
commit 7d1be9a5523056f4d8882d594cb8a87b1122a8f8
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jul 20 12:27:04 2020 +1000
make each visitAggregate function reflect each other more closely
commit eb8fe74869864db5fbc9b4c0c11dbb64f8cd0fbc
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sun Jul 19 18:32:44 2020 +1000
Refactor some more opaque clones
commit 6bfe0d748c451778188ce487d345e62caad4a3f4
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sun Jul 19 16:02:54 2020 +1000
Refactor unsafe casting
commit 7dff8c79be228dc9c4c2956f20a6919958e9c1f6
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sun Jul 19 16:00:58 2020 +1000
Remove stray semicolon
commit e840b359e49ef73889fc782b672e3a965cc5bb58
Merge: 1f009f433 c17e621bf
Author: azreika <azre6702@uni.sydney.edu.au>
Date: Sun Jul 19 00:01:18 2020 -0500
Merge pull request #1535 from mmcgr/cloning
Standardise cloning
commit c17e621bf22c9bec953709c76823f04932bed224
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sat Jul 18 19:57:25 2020 +1000
Refactor to use souffle::clone
commit 1f009f4334fd232ad554bc22ee464b4ea41a5637
Merge: 408154995 975a00fe8
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sun Jul 19 01:34:25 2020 +1000
Merge pull request #1531 from langston-barrett/lb/doc-types
Update documentation about primitive types
commit 975a00fe875f84b8b1f091e18e914cf567a94e2b
Merge: 820df2615 408154995
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sun Jul 19 00:13:30 2020 +1000
Merge branch 'master' into lb/doc-types
commit 408154995c38ec30bfcb13fb8a976c777aa2d2d3
Merge: 6fde0f6f0 b01a2d1e0
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Sat Jul 18 21:43:37 2020 +1000
Merge pull request #1534 from azreika/pipeline-ref
Added cloners and getters for (meta)transformers.
commit b01a2d1e07b542766d64d71ad75e6edc09fd71c6
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 18:51:53 2020 +1000
Fixed up pipeline changes post-merge.
commit 5d8817d0995f1fc306760216c3f6ad5f7b003a2c
Merge: 5916697d5 6fde0f6f0
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 16:49:39 2020 +1000
Merge branch 'master' into pipeline-ref
commit 5916697d5f46180769abd50765a5b64761dae05d
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 16:48:43 2020 +1000
Made some final fixups to the clone method.
commit f915d6db683998c86dec2f01c773088b73be4060
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 16:35:17 2020 +1000
Fixed formatting.
commit e5b2126dd91a326525d40ee35b587660e61bc263
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 16:35:03 2020 +1000
Added new constructor for pipeline transformer.
commit 95092af1e36bf7e27d4077242102b203e349e9c6
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 16:32:13 2020 +1000
Changed unique pointer use in pipeline cloning to raw pointers.
commit 67e32fe762296edf5479c99502ca89ac42a05055
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Sat Jul 18 16:19:35 2020 +1000
Added clone method to transformers (needs some fixup though).
commit 820df2615f38bfe95d7550a518f6d03351d37336
Author: Langston Barrett <langston.barrett@gmail.com>
Date: Fri Jul 17 10:02:47 2020 -0700
Update documentation about primitive types
commit 6fde0f6f06a76952fbf991c44a3cbc0e917e17aa
Merge: fff65cc7d 64e7479ff
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Fri Jul 17 20:59:40 2020 +1000
Merge pull request #1530 from mmcgr/removeRelationFixes
Remove AstIOs when their AstRelation is removed
commit 64e7479ffa20c928e9c2ec3b2f58923d17054b3e
Merge: 3b8bc69e1 fff65cc7d
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Fri Jul 17 17:17:49 2020 +1000
Merge branch 'master' into removeRelationFixes
commit fff65cc7db0b962d9771851d7087f4e5cab65031
Merge: 6b5495809 80c717b9c
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Fri Jul 17 17:17:26 2020 +1000
Merge pull request #1529 from azreika/io-name-fix
Fixed internal representation of JSON generated by IO attributes transformer.
commit 3b8bc69e1c0277af6458c84793fef4ded0322b49
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 17 16:29:30 2020 +1000
disable magic set tests until rewritten
commit 80c717b9c0e030ec1b3271d8bf2992f3d45abd09
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Fri Jul 17 14:57:20 2020 +1000
Fixed a missing key change in synthesiser.
commit f7b6abeb5b9255c54870ba1aaa3d6e0eda19f9ac
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 17 14:28:00 2020 +1000
Remove AstIOs when their AstRelation is removed
commit 3aa3a6906162868b41dc91046309788941eaded7
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Fri Jul 17 12:38:09 2020 +1000
Fixed style.
sorry @ clang-format for making a newline one argument too early,
readability increased by 110%
commit 0b438f152e947b8b666ea56a2d3ab4ed6cb6d2ad
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Fri Jul 17 12:32:12 2020 +1000
Fixed ram_relation unit test to match new internal IO JSON format.
commit a3fdfa36563dcfb15251eb3ceb1315f32c623f72
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Fri Jul 17 11:39:51 2020 +1000
Added extra IO test testing for name IO tag != true relation name.
commit cb762fa84b7ccd4a1d01a079089cf6733252b149
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Fri Jul 17 11:38:52 2020 +1000
Used fixed key for type information in internal IO stream json.
Now uses "relation" key instead of <relation_name>.
commit 098c13d3c3e2d564b2250ce4c39827ba2eabd13f
Merge: 10e241dcd 6b5495809
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Fri Jul 17 01:39:55 2020 +1000
Merge branch 'master' into RamParallel
commit 6b549580944adf3a84f99dff842b0c6c90138174
Merge: 2fedf9456 bc3f2abf5
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Fri Jul 17 01:39:30 2020 +1000
Merge pull request #1524 from azreika/equiv-extend
Extended program minimiser to cover clauses containing constraints and negations.
commit bc3f2abf502ba7c01ecb078fca86d12a8cde0042
Merge: c7486b8bc 2fedf9456
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 16 20:28:57 2020 +1000
Merge branch 'master' into equiv-extend
commit 2fedf94561bf2d938289a31f524f09e89f653aaa
Merge: d4fa9552e af9479f46
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 16 20:28:34 2020 +1000
Merge pull request #1528 from mmcgr/IOTransformer
IO transformer
commit af9479f466fde15b83026278a1b9de9084154245
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 16 15:47:05 2020 +1000
Fix transformer name
commit 3c85eee5459f782c47d7dbb945f1424ecd8e6548
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 16 15:10:30 2020 +1000
Update documentation
commit 154ed4ae6929d437b5c7910474a1450a16aa7dfd
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 16 14:38:25 2020 +1000
Move ast transforms to appropriate subdirs
commit ea629da8a925d8a5873f374603c3a172d3d5c3dc
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Thu Jul 16 14:53:16 2020 +1000
Added subtransformer-getter for metatransformers.
commit 97f22cf19d9287c1dd1daf208ab01609595c0cab
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jul 14 10:43:24 2020 +1000
Split IO transformer into defaults and attributes transformers
commit 7324522a7d252c0563e461e6c364840afd8e280f
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Mon Jul 13 16:09:16 2020 +1000
Move -D- handling into IO transformer
commit 8c191e38f2930ca27460ceb1ceba4cf74293eb64
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 10 14:59:20 2020 +1000
Move IO transform logic out of AstTranslator
commit c7486b8bc750b0d1441285d092003a4c259d42ba
Merge: d22a10674 d4fa9552e
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 16 14:00:32 2020 +1000
Merge branch 'master' into equiv-extend
commit d4fa9552e4e5f2e317bc36d796882be1c4dfb804
Merge: 91ac17191 5664f59c3
Author: azreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 23:00:07 2020 -0500
Merge pull request #1526 from mmcgr/output
Use output-dir for output
commit d22a106744ecd934230eeba435162b7e9047d961
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Thu Jul 16 13:42:16 2020 +1000
Removed char* + int operation.
commit 1c66a5c14bd9a219109b7e89007417e68518031b
Merge: dbf05fa69 91ac17191
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Thu Jul 16 13:36:31 2020 +1000
Merge branch 'master' into equiv-extend
commit 5664f59c302e677f2f9d087fcf7e5d761cb038fa
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 16 11:34:46 2020 +1000
Use output-dir for output
commit 10e241dcd6383a881c86d068b55c31baa6442fd0
Merge: 2971ab462 91ac17191
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 16 02:09:17 2020 +1000
Merge remote-tracking branch 'upstream/master' into RamParallel
commit 91ac17191e1f378f185c30d8ba22d04b257eb1e1
Merge: d25e14eb8 e9b2f94d4
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 16 01:36:55 2020 +1000
Merge pull request #1523 from rdowavic/SingletonAggregateFix
Singleton aggregate fix (don't create a new relation for the aggregate literal if it is the only literal in the rule)
commit dbf05fa699cee8676b51a2fa40c224c9d01df0c8
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 23:33:24 2020 +1000
Removed use of auto in iffy place.
commit 2971ab46262babb09703dfb78978c9219f6eba60
Merge: 747130bea d25e14eb8
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 15 23:21:06 2020 +1000
Merge remote-tracking branch 'upstream/master' into RamParallel
commit e9b2f94d4a165d681596f4710faab77bbfb84cd8
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 13:48:10 2020 +1000
Don't materialize aggregates that are the only literal in the rule
commit d25e14eb8fbbd6887efdd17fcf20bef9778fef64
Merge: 0c06e9d73 7491e16d5
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Wed Jul 15 20:32:17 2020 +1000
Merge pull request #1521 from mmcgr/subdirs
Subdirectories
commit 747130bead2f97a8feceeb033c0ddd8099d69413
Merge: 768b713ad 8b11a31ae
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 19:51:48 2020 +1000
Merge branch 'RamParallel' of https://github.com/rdowavic/souffle into RamParallel
commit 768b713adb678ef60a40a395a3254f8504b47226
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 19:51:43 2020 +1000
update aggregate tests to differentiate between count and max results
commit e597e8844e1f4c7491c8efa081d45d83efae0fac
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 19:49:49 2020 +1000
updated descriptions of Index[Parallel]Aggregate
commit 8b11a31aeabfa4d3c78d07c96dbcc2d46e4a62f4
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 18:55:13 2020 +1000
Update tests/evaluation/aggregates7/aggregates7.dl
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit e6f3e00c63abbff10ccb44523aedf1220918a719
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 18:33:19 2020 +1000
reinstated parallel_start macro
commit 6c172f78d6672c6bca22726d293f2f219eb2fee8
Merge: 92eebdf99 bc78cd15e
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 17:17:56 2020 +1000
Merge branch 'RamParallel' of https://github.com/rdowavic/souffle into RamParallel
commit 92eebdf990e3f2165eaeccf7cbbd3897cbec3800
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:36:25 2020 +1000
remove redundant files
commit 90d61e9323cd10c9be38bce66da4eb7e76805eef
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:04:53 2020 +1000
Update tests/evaluation/aggregates7/aggregates7.dl
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 5589595365f9a4659f61b845d1ca5bf37ca963fa
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:04:33 2020 +1000
Update src/Synthesiser.cpp
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 24ef7a85e01de6bce0f864ee08f2399f3f094822
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:04:25 2020 +1000
Update src/Synthesiser.cpp
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 728017b578d2e9af57a39f974398e92fd02642c4
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Tue Jul 14 21:19:55 2020 +1000
formatted
commit 2e50b593abf063ff0d893dfaf53f8b14be4f8f80
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Tue Jul 14 21:18:40 2020 +1000
added tests for index aggregates
commit 875884695603ae111b60695022beffc7b1053ad3
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 1 16:38:54 2020 +1000
Add parallel aggregate nodes to Interpreter
commit 267815e721e4ab670c763b101d1ece9d9c03cce4
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 1 14:23:14 2020 +1000
Fix clone operations
commit 1b61f809587a5594f4a95f439d36446837276e3e
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 1 12:11:32 2020 +1000
Add Parallel stub for index aggregates
commit 9fde7b8ae8e770e45463474344d4db3c8e535108
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 1 12:06:54 2020 +1000
Fix variable naming
commit 74b429f56e85ad793869c9fb02c159f8d4f30546
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 1 11:14:07 2020 +1000
Use standard naming for non-shared result variables
commit 1903c2b56f7963a997f4316c8df9ad3374cba5f3
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jun 30 18:39:42 2020 +1000
Specify reduction operation
commit 52bfa267d9ca02c334f73f7bbe7f8fc9406a4c36
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jun 30 18:23:22 2020 +1000
remove duplicate omp parallel
commit 6e58b13fc5e433850db8d656f619b7183628482b
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jun 30 16:45:35 2020 +1000
Handle parallel count operations
commit 67c2a6fd3443bd8bf81dc6ddffc6dcffed0009d1
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jun 30 14:19:42 2020 +1000
Fix formatting
commit 57d305f43eded1498aa995ddd40a7db5a9a48877
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jun 30 14:18:03 2020 +1000
Generate context for parallel aggregates
commit 09b06246e1a73a7515196e1299e48a9419034e72
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Mon Jun 29 16:10:46 2020 +1000
added code generation for parallel aggregates
commit 15f6e91f4040dcd3c3326ca7099be051cf462739
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Sun May 10 23:08:17 2020 +1000
made RamAggregate/RamIndexAggregate be translated into their parallel counterparts as long as the aggregate is on the outermost level
commit 96e0be99d66e7f32c2a7e60ce52d0cb44c34d9a0
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Fri May 8 17:42:33 2020 +1000
Sketched ParallelTransforms
commit 3672e2fd8b18468b21c2608664f9813607861601
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Fri May 8 17:36:36 2020 +1000
Introduce RamParallelIndexAggregate
commit 336652da2b6fe8031ff319a6d1b6ca91a503191e
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Fri May 8 17:30:21 2020 +1000
Introduce RamParallelAggregate
commit d4034509e1686c6bb76b76e1fa56b4faafa6ed17
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 16:40:22 2020 +1000
Fixed formatting in ast utils test.
commit 4c71b312cc821c3bb7a5af8df7d654418cbd0267
Merge: 84268015d 0c06e9d73
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Wed Jul 15 16:39:10 2020 +1000
Merge branch 'master' into equiv-extend
commit 84268015d94eb7898833fec712d6b6ccd8748ca0
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 16:30:18 2020 +1000
Added unit test for program minimisation.
commit 5109a51b6fd59522f47dfe59eb71d7136c162d75
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 16:24:26 2020 +1000
Made bijective equivalence helper method public.
commit 133add8dc7e4051f03241dc0c2ecd09b56a56a17
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 15:55:46 2020 +1000
Extended progmin tests to cover equiv extension.
Constraints, negations, and constants.
commit 7491e16d50f8a97b844562f26e531cfb099b659c
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 15 14:50:21 2020 +1000
Fix repeated slash
commit 712f3ad10ddfd52614e2d544f57ad2b541333325
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 15 14:49:58 2020 +1000
Fix spelling
commit a8794bd45dd03a2b2dff78acb090df9d60dab56c
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 14:49:38 2020 +1000
Added a few comments to minimiser.
commit 926b8aaf581a62aa4140cba0f031816beed1e6e5
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed Jul 15 14:35:25 2020 +1000
Cleaned up internal structure of normalised repr.
commit bc78cd15e729fa204b17e9acaece9e3058e36b52
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:36:25 2020 +1000
remove redundant files
commit 3b2015aa424a5a90b105ade6f0d9f09483c87df7
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:04:53 2020 +1000
Update tests/evaluation/aggregates7/aggregates7.dl
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 0949e1c3b80fe8fdf72f6e8ea8bcd78c0e3f8fd7
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:04:33 2020 +1000
Update src/Synthesiser.cpp
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 6bd684c7eab9d24256ef04cfe9558acda09c954d
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jul 15 14:04:25 2020 +1000
Update src/Synthesiser.cpp
Co-authored-by: Martin McGrane <mmcgr@users.noreply.github.com>
commit 466037b24dbf04519c0bce1e3c40b80e07be84ed
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Wed Jun 24 21:25:04 2020 +1000
not sure
commit fc9743e4fb7b56ee4219d7f994ee9fadd8d5a395
Merge: 8a6bfda7b 0c06e9d73
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Tue Jul 14 21:28:50 2020 +1000
Merge branch 'master' into RamParallel
commit 8a6bfda7bf787855d8ad42b2f8813ac8a18c9639
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Tue Jul 14 21:19:55 2020 +1000
formatted
commit d3abce82e106e07e413dea30206d0cbbeb25913a
Author: Rachel Dowavic <rachel.dowavic@gmail.com>
Date: Tue Jul 14 21:18:40 2020 +1000
added tests for index aggregates
commit e558630de873deb7c3ce8232e3d7f935753e4de8
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 14 19:57:38 2020 +1000
removed my large binaries...
commit 9f7d4eb43c351d065b65572ee7a53c8c1cd33298
Author: Sam <sarc9328@plang8.cs.usyd.edu.au>
Date: Tue Jul 14 19:55:15 2020 +1000
fixed supremum and infimum with different types
commit 54de643b74a1feaa0afa9e5e9af065f97cd42112
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 19:52:50 2020 +1000
Fixed minimisation when constants appear.
commit c769a98cd6150053f1050f0eff815f1b5f0cadd8
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 19:21:18 2020 +1000
Cleaned up comments in the minimiser.
commit 7f5e8b1c7a298f95f30712d67bb838a682e44702
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 19:05:38 2020 +1000
Removed dependency on head arity in clause normalisation.
commit ffe6035b6a663a07174b0228594afdb06347219f
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 18:59:21 2020 +1000
Cleaned up setup of clause elements.
commit 493c7aa03974e8b8f621bcb15773e114697655e9
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 18:50:07 2020 +1000
Fixed constant normalisation in minimiser.
commit 53bbf644578df139145c6121302d74ed5d21e257
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 15:22:33 2020 +1000
Updated bijective eq. check to use normalised clause reprs.
commit 88b949ecf3a3a5b1cc1696af91ca278245d01a62
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 14:39:48 2020 +1000
Added marker for incomplete clause normalisation.
commit 219cfdfd16434e7500ab80cdd2e9a3d760ace2ec
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 14:31:36 2020 +1000
Moved normalised clause repr class into private context.
commit ba2080d2e4bce2f2271dbb84cfb7318fe5c9dd6c
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 14:30:12 2020 +1000
Moved mini-minimiser transformations into static transf. methods.
commit d080f50bb23124240879aed829bca602f3ce6f1f
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Tue Jul 14 14:25:05 2020 +1000
Added NormalisedClauseRepr class to Minimiser.
commit 3a7693b01917ca7b40ad98d69a5291a720b0f990
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 10 16:10:33 2020 +1000
Move Ram files into ram subdirectories
commit 9dfadc59aa6e30b8a2c07b84ad6665d47a4f4b34
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jul 10 16:08:57 2020 +1000
Rename transforms subdir to transform
commit 1a41fce71d18ff32ca19e2b39bf6925a1e127a45
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Mon Jun 15 15:07:22 2020 +1000
Move Ast files into ast subdir
commit 0c06e9d730894eead51ba6a9227c7a1787e7a886
Merge: 9a2c0b847 443dd3aee
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Sun Jul 12 20:37:28 2020 +1000
Merge pull request #1519 from mmcgr/paths
Move IO path handling out of AstTranslator
commit 443dd3aeee4fa6d53865df3bd93fb89adb761f8c
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Sun Jul 12 13:51:06 2020 +1000
Move legacy sqlite filename into reader/writer
commit 72af688457c17d1a46c73c0ad53749d66e17f84e
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 8 12:35:36 2020 +1000
Move IO path handling out of AstTranslator
commit 28734687e79edddd81c920b729533b205660782d
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Fri Jun 12 18:14:08 2020 +1000
Merge IterUtil and ContainerUtils
commit 9a2c0b847122fc8ccf83e8c327582099d325e9b5
Merge: 4f1c1b405 fe4959fcd
Author: Martin McGrane <mmcgr@users.noreply.github.com>
Date: Thu Jul 9 23:24:56 2020 +1000
Merge pull request #1518 from mmcgr/json
Add default filename for json output
commit fe4959fcdd81e5c706997686af3a965c5ef9e645
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Wed Jul 8 11:44:21 2020 +1000
Set a default filename for csv output
commit 78adfe8e306f16073d0d19073121f8648dabd550
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Tue Jul 7 21:04:50 2020 +1000
Set a default filename for json output
commit 775c3839f6dc85530a4450f3d44d605275773390
Author: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Mon Jul 6 17:45:59 2020 +1000
Extended bijective equivalence in a hacky way to cover more things.
Namely, negation, constraints, and constants.
commit 4f1c1b40551e30b4d44a85359bc0a9894a1590ed
Merge: 264215e2a 3beb8b500
Author: Bernhard Scholz <Bernhard.Scholz@sydney.edu.au>
Date: Sat Jul 4 22:19:10 2020 +1000
Merge pull request #1517 from mmcgr/warnings
Avoid use of undefined variable
commit 3beb8b50062693ee38b73c192752db5616502a20
Author: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Thu Jul 2 15:16:16 2020 +1000
Avoid use of undefined variable
commit 264215e2aa0ecd55939674fb2bab…
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Currently
evaluation/aggregates7fails on 64 bit as the output is different, yet still correct.