Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: DSL semantic checking analysis #24

Merged
merged 71 commits into from
Feb 11, 2025
Merged
Show file tree
Hide file tree
Changes from 69 commits
Commits
Show all changes
71 commits
Select commit Hold shift + click to select a range
e15907e
add logical side of schema
yliang412 Jan 30, 2025
a15bff4
add and impl RelationChildren and ScalarChildren traits
yliang412 Jan 30, 2025
e30b2c9
create sequence
yliang412 Jan 31, 2025
c5ec6cb
Merge branch 'main' into yuchen/initial-storage
yliang412 Feb 1, 2025
5aaeefc
Add doc of rule engine
AlSchlo Feb 2, 2025
e49b7a6
Be more specific about rule application WITH
AlSchlo Feb 2, 2025
92a3546
Fix indentation error
AlSchlo Feb 2, 2025
639c6f3
Fix again
AlSchlo Feb 2, 2025
134dd04
Add new IR and update doc
AlSchlo Feb 2, 2025
893ae2d
Add more details to doc and refine IR
AlSchlo Feb 2, 2025
66b43d7
Refine IR
AlSchlo Feb 2, 2025
69ca1a0
Update docs
AlSchlo Feb 2, 2025
5d22cde
Remove mention of tree
AlSchlo Feb 2, 2025
df9e9db
Make doc consistent again
AlSchlo Feb 2, 2025
54b47fb
Reorg dir
AlSchlo Feb 2, 2025
b3156eb
Add missing fules
AlSchlo Feb 2, 2025
2f00009
add basic apis
yliang412 Feb 3, 2025
3eff602
Reorg more code
AlSchlo Feb 3, 2025
4d6e33d
Add missing files
AlSchlo Feb 3, 2025
5c7a5cd
Add transformers
AlSchlo Feb 3, 2025
0caffcc
Add actions doc
AlSchlo Feb 3, 2025
00be567
use trigger to merge groups
yliang412 Feb 3, 2025
e999f62
Add analyzer doc
AlSchlo Feb 3, 2025
d49cb8b
Add more docs
AlSchlo Feb 3, 2025
9a88281
Rename cascades into alexis_stuff to allow for cascades subdir
AlSchlo Feb 3, 2025
eaf06c9
Reorg repo structure
AlSchlo Feb 3, 2025
abc0397
Add missing files
AlSchlo Feb 3, 2025
b9578a1
Refactor types
AlSchlo Feb 3, 2025
fc9b050
add scalar stuff
yliang412 Feb 3, 2025
8bad99c
fix projects operator
yliang412 Feb 3, 2025
d8e228e
Partial merge
AlSchlo Feb 3, 2025
b069d2e
The mother of merges
AlSchlo Feb 4, 2025
0ca88dd
Fix horrible Json bug
AlSchlo Feb 4, 2025
f160dce
Update migration
AlSchlo Feb 4, 2025
7e2663d
Start implementation of engine interpreter
AlSchlo Feb 4, 2025
d9a4cd1
add test utilities
yliang412 Feb 4, 2025
178fb97
fix scalar_adds foreign key
yliang412 Feb 4, 2025
64c852b
Latest demo test
AlSchlo Feb 4, 2025
fc36f2f
Refactor and comment operators dir
AlSchlo Feb 5, 2025
92a3c65
Refactor and comment plans dir
AlSchlo Feb 5, 2025
e75fc9b
Refactor and comment values dir
AlSchlo Feb 5, 2025
270d61a
Fix engine/actions & engine/patterns dirs
AlSchlo Feb 5, 2025
f24c089
Add missing files
AlSchlo Feb 5, 2025
59f7a6b
Cleanup ingestion function
AlSchlo Feb 5, 2025
c10166e
First grammar versions
AlSchlo Feb 8, 2025
dca2537
Fix grammar a bit
AlSchlo Feb 8, 2025
f8e777a
Fix more bugs
AlSchlo Feb 8, 2025
0d370ad
First version of grammar
AlSchlo Feb 8, 2025
e76e573
Finish grammar
AlSchlo Feb 8, 2025
027de75
Remove old code
AlSchlo Feb 8, 2025
26227d7
Make braces optional in def
AlSchlo Feb 8, 2025
c75e6bb
Substantially improve the grammar for operators
AlSchlo Feb 8, 2025
db078c6
Fix missing newline
AlSchlo Feb 8, 2025
06a7075
Fix matching and constructor grammar
AlSchlo Feb 8, 2025
1caa03e
Add missing files
AlSchlo Feb 8, 2025
b899699
Finish parser
AlSchlo Feb 9, 2025
3173aed
Heavy refactor & add tests
AlSchlo Feb 10, 2025
3d87b42
Merge with main
AlSchlo Feb 10, 2025
22e7197
Remove dangling print statement
AlSchlo Feb 10, 2025
591f4c3
Fix clippy
AlSchlo Feb 10, 2025
c5bcfa5
Remove duplicate literal
AlSchlo Feb 10, 2025
52d4157
Add comment
AlSchlo Feb 10, 2025
14348e4
Fix flaky cascades test to run in memory
AlSchlo Feb 10, 2025
9b66b85
Fix some grammar bugs and start semantic analysis
AlSchlo Feb 11, 2025
b45654d
Fix clippy
AlSchlo Feb 11, 2025
ce1f5ff
Add analyzer
AlSchlo Feb 11, 2025
10d6911
Refactor files
AlSchlo Feb 11, 2025
0ff80bc
Finalize testing of semantic analysis
AlSchlo Feb 11, 2025
b568346
Merge with main
AlSchlo Feb 11, 2025
bf92829
Remove missing parser
AlSchlo Feb 11, 2025
e5ed19b
Fix fmt again
AlSchlo Feb 11, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions optd-core/src/dsl/analyzer/mod.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
pub mod semantic;
Loading