Succ relation and Souffle AST and parser #29

cd1m0 · 2024-03-08T06:21:24Z

This pr:

Adds a full parser for Souffle adapted from the Bison parser in the Souffle repo
Adds an AST for Souffle
Replaces the hacky types regex-based parsing with the new parser
Replaces the old peggy value parser with the new parser
Adds a succ relation

…tle; Add test that only non-fallthrough nodes dont have successors

…ests to run

cd1m0

Fix this

src/lib/souffle/ast/declarations/adt.ts

src/lib/souffle/ast/declarations/component.ts

src/lib/souffle/ast/declarations/directive.ts

src/lib/souffle/ast/declarations/subsumption.ts

src/lib/souffle/ast/expressions/binary.ts

src/lib/souffle/ast/expressions/unary.ts

src/lib/souffle/ast/rules/constraints/comparison.ts

cd1m0 added 9 commits March 8, 2024 08:13

Add succ relation and basic tests for it

f629027

Remove the firstStmt,nextStmt,lastStmt relations; Simplify succ a lit…

0707beb

…tle; Add test that only non-fallthrough nodes dont have successors

nit

20b7194

Added a Souffle AST; Added an adaptation of Souffles Bison parser

a5c8f4f

nit

167164a

Replace old type parsing logic with new paser; Fix parser bugs; Get t…

33c229b

…ests to run

forgot a file

239d197

Replace value_parser with JISON parser

457acd2

remove peggy packages

a6c3c7b

cd1m0 commented Mar 9, 2024

View reviewed changes

Fix review comments

0499e67

cd1m0 merged commit f263a41 into main Mar 9, 2024
1 check failed

cd1m0 deleted the succ branch March 9, 2024 01:10

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Succ relation and Souffle AST and parser #29

Succ relation and Souffle AST and parser #29

cd1m0 commented Mar 8, 2024

cd1m0 left a comment

Succ relation and Souffle AST and parser #29

Succ relation and Souffle AST and parser #29

Conversation

cd1m0 commented Mar 8, 2024

cd1m0 left a comment

Choose a reason for hiding this comment