Code

feat: DSL semantic checking analysis#24

Code

Merged

AlSchlo merged 71 commits intomaincmu-db/optd:mainfrom alexis/dsl-analyzercmu-db/optd:alexis/dsl-analyzerCopy head branch name to clipboardFeb 11, 2025

+917-46

Commits

Commits on Jan 30, 2025

• add logical side of schema

  Show description for e15907e
  yliang412

  committed
  e15907e

  Copy full SHA for e15907e

• add and impl RelationChildren and ScalarChildren traits

  Show description for a15bff4
  yliang412

  committed
  a15bff4

  Copy full SHA for a15bff4

Commits on Jan 31, 2025

• create sequence

  Show description for e30b2c9
  yliang412

  committed
  e30b2c9

  Copy full SHA for e30b2c9

Commits on Feb 1, 2025

• Merge branch 'main' into yuchen/initial-storage

  yliang412

  authored
  c5ec6cb

  Copy full SHA for c5ec6cb

Commits on Feb 2, 2025

• Add doc of rule engine

  AlSchlo

  committed
  5aaeefc

  Copy full SHA for 5aaeefc

• Be more specific about rule application WITH

  AlSchlo

  committed
  e49b7a6

  Copy full SHA for e49b7a6

• Fix indentation error

  AlSchlo

  committed
  92a3546

  Copy full SHA for 92a3546

• Fix again

  AlSchlo

  committed
  639c6f3

  Copy full SHA for 639c6f3

• Add new IR and update doc

  AlSchlo

  committed
  134dd04

  Copy full SHA for 134dd04

• Add more details to doc and refine IR

  AlSchlo

  committed
  893ae2d

  Copy full SHA for 893ae2d

• Refine IR

  AlSchlo

  committed
  66b43d7

  Copy full SHA for 66b43d7

• Update docs

  AlSchlo

  committed
  69ca1a0

  Copy full SHA for 69ca1a0

• Remove mention of tree

  AlSchlo

  committed
  5d22cde

  Copy full SHA for 5d22cde

• Make doc consistent again

  AlSchlo

  committed
  df9e9db

  Copy full SHA for df9e9db

• Reorg dir

  AlSchlo

  committed
  54b47fb

  Copy full SHA for 54b47fb

• Add missing fules

  AlSchlo

  committed
  b3156eb

  Copy full SHA for b3156eb

Commits on Feb 3, 2025

• add basic apis

  Show description for 2f00009
  yliang412

  committed
  2f00009

  Copy full SHA for 2f00009

• Reorg more code

  AlSchlo

  committed
  3eff602

  Copy full SHA for 3eff602

• Add missing files

  AlSchlo

  committed
  4d6e33d

  Copy full SHA for 4d6e33d

• Add transformers

  AlSchlo

  committed
  5c7a5cd

  Copy full SHA for 5c7a5cd

• Add actions doc

  AlSchlo

  committed
  0caffcc

  Copy full SHA for 0caffcc

• use trigger to merge groups

  Show description for 00be567
  yliang412

  committed
  00be567

  Copy full SHA for 00be567

• Add analyzer doc

  AlSchlo

  committed
  e999f62

  Copy full SHA for e999f62

• Add more docs

  AlSchlo

  committed
  d49cb8b

  Copy full SHA for d49cb8b

• Rename cascades into alexis_stuff to allow for cascades subdir

  AlSchlo

  committed
  9a88281

  Copy full SHA for 9a88281

• Reorg repo structure

  AlSchlo

  committed
  eaf06c9

  Copy full SHA for eaf06c9

• Add missing files

  AlSchlo

  committed
  abc0397

  Copy full SHA for abc0397

• Refactor types

  AlSchlo

  committed
  b9578a1

  Copy full SHA for b9578a1

• add scalar stuff

  Show description for fc9b050
  yliang412

  committed
  fc9b050

  Copy full SHA for fc9b050

• fix projects operator

  Show description for 8bad99c
  yliang412

  committed
  8bad99c

  Copy full SHA for 8bad99c

• Partial merge

  AlSchlo

  committed
  d8e228e

  Copy full SHA for d8e228e

Commits on Feb 4, 2025

• The mother of merges

  AlSchlo

  committed
  b069d2e

  Copy full SHA for b069d2e

• Fix horrible Json bug

  AlSchlo

  committed
  0ca88dd

  Copy full SHA for 0ca88dd

• Update migration

  AlSchlo

  committed
  f160dce

  Copy full SHA for f160dce

• Start implementation of engine interpreter

  AlSchlo

  committed
  7e2663d

  Copy full SHA for 7e2663d

• add test utilities

  Show description for d9a4cd1
  yliang412

  committed
  d9a4cd1

  Copy full SHA for d9a4cd1

• fix scalar_adds foreign key

  Show description for 178fb97
  yliang412

  committed
  178fb97

  Copy full SHA for 178fb97

• Latest demo test

  AlSchlo

  committed
  64c852b

  Copy full SHA for 64c852b

Commits on Feb 5, 2025

• Refactor and comment operators dir

  AlSchlo

  committed
  fc36f2f

  Copy full SHA for fc36f2f

• Refactor and comment plans dir

  AlSchlo

  committed
  92a3c65

  Copy full SHA for 92a3c65

• Refactor and comment values dir

  AlSchlo

  committed
  e75fc9b

  Copy full SHA for e75fc9b

• Fix engine/actions & engine/patterns dirs

  AlSchlo

  committed
  270d61a

  Copy full SHA for 270d61a

• Add missing files

  AlSchlo

  committed
  f24c089

  Copy full SHA for f24c089

• Cleanup ingestion function

  AlSchlo

  committed
  59f7a6b

  Copy full SHA for 59f7a6b

Commits on Feb 8, 2025

• First grammar versions

  AlSchlo

  committed
  c10166e

  Copy full SHA for c10166e

• Fix grammar a bit

  AlSchlo

  committed
  dca2537

  Copy full SHA for dca2537

• Fix more bugs

  AlSchlo

  committed
  f8e777a

  Copy full SHA for f8e777a

• First version of grammar

  AlSchlo

  committed
  0d370ad

  Copy full SHA for 0d370ad

• Finish grammar

  AlSchlo

  committed
  e76e573

  Copy full SHA for e76e573

• Remove old code

  AlSchlo

  committed
  027de75

  Copy full SHA for 027de75

• Make braces optional in def

  AlSchlo

  committed
  26227d7

  Copy full SHA for 26227d7

• Substantially improve the grammar for operators

  AlSchlo

  committed
  c75e6bb

  Copy full SHA for c75e6bb

• Fix missing newline

  AlSchlo

  committed
  db078c6

  Copy full SHA for db078c6

• Fix matching and constructor grammar

  AlSchlo

  committed
  06a7075

  Copy full SHA for 06a7075

• Add missing files

  AlSchlo

  committed
  1caa03e

  Copy full SHA for 1caa03e

Commits on Feb 9, 2025

• Finish parser

  AlSchlo

  committed
  b899699

  Copy full SHA for b899699

Commits on Feb 10, 2025

• Heavy refactor & add tests

  AlSchlo

  committed
  3173aed

  Copy full SHA for 3173aed

• Merge with main

  AlSchlo

  committed
  3d87b42

  Copy full SHA for 3d87b42

• Remove dangling print statement

  AlSchlo

  committed
  22e7197

  Copy full SHA for 22e7197

• Fix clippy

  AlSchlo

  committed
  591f4c3

  Copy full SHA for 591f4c3

• Remove duplicate literal

  AlSchlo

  committed
  c5bcfa5

  Copy full SHA for c5bcfa5

• Add comment

  AlSchlo

  committed
  52d4157

  Copy full SHA for 52d4157

• Fix flaky cascades test to run in memory

  AlSchlo

  committed
  14348e4

  Copy full SHA for 14348e4

Commits on Feb 11, 2025

• Fix some grammar bugs and start semantic analysis

  AlSchlo

  committed
  9b66b85

  Copy full SHA for 9b66b85

• Fix clippy

  AlSchlo

  committed
  b45654d

  Copy full SHA for b45654d

• Add analyzer

  AlSchlo

  committed
  ce1f5ff

  Copy full SHA for ce1f5ff

• Refactor files

  AlSchlo

  committed
  10d6911

  Copy full SHA for 10d6911

• Finalize testing of semantic analysis

  AlSchlo

  committed
  0ff80bc

  Copy full SHA for 0ff80bc

• Merge with main

  AlSchlo

  committed
  b568346

  Copy full SHA for b568346

• Remove missing parser

  AlSchlo

  committed
  bf92829

  Copy full SHA for bf92829

• Fix fmt again

  AlSchlo

  committed
  e5ed19b

  Copy full SHA for e5ed19b