Dsl testing - #21

Closed

WKaiZ wants to merge 88 commits into

qed-solver:mainfrom

WKaiZ:dsl-testing

Commits on Jan 30, 2024

Wrap interface
Sicheng-Pan
committed
7b3c56c

Commits on Mar 6, 2024

Prototype new DSL
Sicheng-Pan
committed
aef3ace

Commits on Mar 13, 2024

Merge branch 'main' into dsl
Sicheng-Pan
committed
4cd8361

Commits on Apr 30, 2024

Bump progress so far
Sicheng-Pan
committed
7c58e66

Commits on May 16, 2024

Checkpoint for thesis
Sicheng-Pan
committed
517c9b0

Commits on Mar 31, 2025

fill out rules ProjectJoinTranspose, SemiJoinFilterTranspose, SemiJoinJoinTranspose, SemiJoinProjectTranspose, SemiJoinRemove
yushinliang
committed
5a56caf

Commits on Apr 1, 2025

try generate Calcite code with ProjectJoinTranspose
yushinliang
committed
be54749

Commits on Apr 2, 2025

try generating calcite code for rules
yushinliang
committed
e8e58f0

Commits on Apr 22, 2025

changing string templates back to strings
WKaiZ
committed
51d00cd

Commits on Apr 23, 2025

Merge pull request #9 from WKaiZ/partial-change
akcheung
authored
6096e32

Commits on May 2, 2025

add FilterSetOpTranspose IntersectMerge JoinExtractFilter SemiJoinFilterTranspose UnionMerge
zengzirong
committed
bb40277

Commits on May 3, 2025

add rules FilterSetOpTranspose IntersectMerge JoinExtractFilter SemiJoinFilterTranspose UnionMerge
zengzirong
committed
923118c

Commits on May 7, 2025

Merge pull request #10 from zengzirong/zzr
Sicheng-Pan
authored
6844d81

Commits on May 13, 2025

refactored rule instances
zengzirong
committed
0e125f1

Commits on May 21, 2025

removed unnecessary comments, refactored tests
zengzirong
committed
1320f04
refactored file structure
zengzirong
authored
949603d

Commits on May 23, 2025

Merge remote-tracking branch 'upstream/dsl'

Yushin Liang
authored and
Yushin Liang
committed
91cf38c
add rules projectfiltertranspose and joinpushtransitivepredicates
WKaiZ
committed
df26af8

Commits on May 25, 2025

verified SemiJoinRemove rule in PipelineInstance.java

Yushin Liang
authored and
Yushin Liang
committed
86dbedb

Commits on May 27, 2025

generated semijoinremove calcite code

Yushin Liang
authored and
Yushin Liang
committed
639d9ed
Merge branch 'dsl' into dsl
yushinliang
authored
aa6c5fc
Merge pull request #7 from yushinliang/dsl
akcheung
authored
4afed1a
refactor semijoinremove
WKaiZ
committed
d78e725
removing comments; adding semijoinjointranspose and semijoinprojecttrasponse with its test case
WKaiZ
committed
8f8f65b

Commits on May 31, 2025

filter out .vscode
joyemang33
committed
c127a56
workflow try 1
zengzirong
committed
827f2d5
workflow try 1
zengzirong
committed
a2c66bc
workflow test 1
zengzirong
committed
34202e5
workflow try 2
zengzirong
committed
3b786ac
workflow test 2
zengzirong
committed
992131c
workflow test 3
zengzirong
committed
07f9723
new workflow try
zengzirong
committed
09d36ee
new workflow try
zengzirong
committed
c88b45e
workflow new try
zengzirong
committed
0427842
src/main/java/org/qed/Generated/RRuleInstances/FilterIntoJoin.java
zengzirong
committed
f2a93ba
update .gitignore
joyemang33
committed
1edfc9a
new workflow
zengzirong
committed
c33bb3f
new test
zengzirong
committed
fc46291
updated pom.xml
zengzirong
committed
71b9eb9
new test
zengzirong
committed
e74cc30
new workflow
zengzirong
committed
de4e7eb
new test
zengzirong
committed
8697048
workflow
zengzirong
committed
d7ddac7
new test
zengzirong
committed
62a12dd
new workflow
zengzirong
committed
6913915
new test
zengzirong
committed
f5a4383

Commits on Jun 1, 2025

new workflow
zengzirong
committed
8ead6a7
new test
zengzirong
committed
5c00f9e
new workflow
zengzirong
committed
5b56bc6
new test
zengzirong
committed
440de53
new test
zengzirong
committed
3b82055
new test
zengzirong
committed
9f6a48b
delete join associate temporarily
zengzirong
committed
7dd23c3
new test
zengzirong
committed
c878388
new test
zengzirong
committed
e304797
new test
zengzirong
committed
5a39e4e
new test
zengzirong
committed
36c6c46
restore FilterIntoJoin.java
zengzirong
committed
0667797
update test.yml
zengzirong
committed
e164dda
delete unprovable rules
zengzirong
committed
a25c7dd
test rule that cannot compile
zengzirong
committed
7a86409
update workflow
zengzirong
committed
357dcb9
restore FilterIntoJoin.java to correct version
zengzirong
committed
248f038
update java version
zengzirong
committed
1257866
test workflow
zengzirong
committed
a0b066b
update workflow
zengzirong
committed
2a2e9ce
new update
zengzirong
committed
d21779e
Merge pull request #12 from zengzirong/zzr
joyemang33
authored
f601430

Commits on Jun 3, 2025

CI Testing
zengzirong
authored
e8c7847

Commits on Jun 5, 2025

Adding Prune Rules
WKaiZ
committed
a202d28
Fixing PruneEmptyJoins
WKaiZ
committed
f024bd5
Fixing PruneEmptyJoin
WKaiZ
committed
54376c3
Adjusting
WKaiZ
committed
8df3817
Adding PruneEmptyIntersect
WKaiZ
committed
9ac74e6

Commits on Jun 7, 2025

Merge pull request #15 from WKaiZ/dsl
WKaiZ
authored
67c5536

Commits on Jun 9, 2025

added minus operator and generated code for MinusMerge (#16)
yushinliang
authored
3837421

Commits on Jun 14, 2025

Fixed JoinCommute (#17)
zengzirong
authored
3844e90

Commits on Jun 19, 2025

Adding Prune Rules and Its Tests
WKaiZ
committed
f44de6b
Testing Out Aggregate
WKaiZ
committed
60918b8
Editing PruneEmptyUnion
WKaiZ
committed
28db8b2
Adding Its Test
WKaiZ
committed
192d685
Removing comments
WKaiZ
committed
727b434
Updating FilterAggregateTranspose, should pass provability
WKaiZ
committed
30fc245

Commits on Jun 28, 2025

Adding Everything Except for FilterAggregateTranpose since other works
WKaiZ
committed
c6810e6
Reversing Target version for now
WKaiZ
committed
75f0b8c

Commits on Jun 29, 2025

Adding Prune Rules and Its Test Cases
WKaiZ
authored
9ec1299

Commits on Jul 4, 2025

Adding AggregateFilterTranspose and FilterAggregateTranspose
WKaiZ
committed
53e8cef

Commits on Jul 22, 2025

Testing...
WKaiZ
committed
ff3c353