Code

WIP: PEG / String Macro for Decapodes#89

Code

Open

cscaff wants to merge 94 commits intoAlgebraicJulia:mainAlgebraicJulia/DiagrammaticEquations.jl:mainfrom cscaff:PEG-DSLcscaff/DiagrammaticEquations.jl:PEG-DSLCopy head branch name to clipboard

+1,666-10

Commits

Commits on Feb 3, 2025

• Created Parser File for Decapodes PEG DSL

  cscaff

  committed
  455e6f5

  Copy full SHA for 455e6f5

• Created Testing Module for Decapode DSL PEG Parser.

  Show description for 9e8ea4a
  

  cscaff

  and

  DZ03FL

  committed
  9e8ea4a

  Copy full SHA for 9e8ea4a

• Included "Parser.jl" file in DiagrammaticEquations module.

  cscaff

  committed
  733543d

  Copy full SHA for 733543d

• Added PEG Package

  cscaff

  committed
  cffc563

  Copy full SHA for cffc563

• Imported Catlab Core Parser Components

  cscaff

  committed
  65a41c4

  Copy full SHA for 65a41c4

• Created Basic Test and Derivative PEG Rule. (Not Yet Working)

  cscaff

  committed
  2a72d0c

  Copy full SHA for 2a72d0c

Commits on Feb 4, 2025

• Modified Catlab Dependency to Main Branch

  cscaff

  committed
  ebef134

  Copy full SHA for ebef134

• Catlab and Decapodes Both Export 'Var'. Var is now qualified as 'Decapode.Var'.

  cscaff

  committed
  f00f564

  Copy full SHA for f00f564

• Modified 'UntypedUnnamedRelationDiagram to depend on new Catlab Location

  cscaff

  committed
  e1b047c

  Copy full SHA for e1b047c

• Modified Deriavtive Test One

  cscaff

  committed
  c0d978c

  Copy full SHA for c0d978c

• Modified Var -> Decapode>Var to avoid dependency conflict

  cscaff

  committed
  57d1757

  Copy full SHA for 57d1757

• Basic Derivative Matching Set Up

  cscaff

  committed
  2744a6c

  Copy full SHA for 2744a6c

• Implemented whitespace handling in derivative rule

  cscaff

  committed
  9390127

  Copy full SHA for 9390127

• Basic Derivative AST Node Parsing Working

  cscaff

  committed
  eda789b

  Copy full SHA for eda789b

• Renamed "derivative" to "Derivative" to be consistent

  cscaff

  committed
  b96dae8

  Copy full SHA for b96dae8

• Implemented Rough Term + started working on call rule.

  cscaff

  committed
  d325b50

  Copy full SHA for d325b50

• Added Symbols and Numbers to Terms

  cscaff

  committed
  68e4633

  Copy full SHA for 68e4633

• Basic Arguments Passing

  cscaff

  committed
  ba945b6

  Copy full SHA for ba945b6

• Started Working on Call Building

  cscaff

  committed
  36165b5

  Copy full SHA for 36165b5

• Added Arg test to test derivative term argument

  cscaff

  committed
  a8fa490

  Copy full SHA for a8fa490

• Added Support for symbol, number terms

  cscaff

  committed
  25fd0b4

  Copy full SHA for 25fd0b4

• App1 Node Tested and Working for Calls

  cscaff

  committed
  17a5cf7

  Copy full SHA for 17a5cf7

• App2 Tested and working on a basic level for calls.

  cscaff

  committed
  e6047a2

  Copy full SHA for e6047a2

• Added DocQuotes to BuildCall and ParseIdent.

  cscaff

  committed
  2b33361

  Copy full SHA for 2b33361

• Wrote draft of PlusOperation and tests

  cscaff

  committed
  acdfa98

  Copy full SHA for acdfa98

• Created PlusOperatoion Export in main module.

  cscaff

  committed
  0c4c7a5

  Copy full SHA for 0c4c7a5

• PlusOperation Functional at a basic level.

  cscaff

  committed
  e6faa29

  Copy full SHA for e6faa29

• Removed "Broken" Warning off Plus Operator.

  cscaff

  committed
  e7bb1e9

  Copy full SHA for e7bb1e9

• Removed Plus Operator Broken Note

  cscaff

  committed
  c4aeb95

  Copy full SHA for c4aeb95

• Added MultOperation Rule to Parser

  cscaff

  committed
  a63cee3

  Copy full SHA for a63cee3

• Added Mult Tests and Export in main module.

  cscaff

  committed
  19415ad

  Copy full SHA for 19415ad

• Added operations to term rule.

  cscaff

  committed
  5135984

  Copy full SHA for 5135984

• Pushing Working State to Main Feature Branch. Only missing composition rule.

  cscaff

  committed
  da32bd5

  Copy full SHA for da32bd5

Commits on Feb 7, 2025

• Added Compose Rule

  cscaff

  committed
  dcf0800

  Copy full SHA for dcf0800

• Term tests passing. However, changes will need to be made to term type precedence.

  cscaff

  committed
  78f554d

  Copy full SHA for 78f554d

• Variable, Judgement, Statement, Equation, and Line PEG

  DZ03FL

  committed
  fe23818

  Copy full SHA for fe23818

Commits on Feb 10, 2025

• Merge branch 'PEG-DSL' into PEG-DSL-DZhao

  cscaff

  authored
  3baf89a

  Copy full SHA for 3baf89a

• Merge pull request #1 from cscaff/PEG-DSL-DZhao

  Show description for 5fd4773
  cscaff

  authored
  5fd4773

  Copy full SHA for 5fd4773

• Added Compose Operation to Term.

  cscaff

  committed
  8bcc922

  Copy full SHA for 8bcc922

• Merge branch 'PEG-DSL' of https://github.com/cscaff/DiagrammaticEquations.jl into PEG-DSL

  cscaff

  committed
  1c3b9cc

  Copy full SHA for 1c3b9cc

• Removed exports from main module.

  cscaff

  committed
  0c966cf

  Copy full SHA for 0c966cf

• Introduced specific imports into tests. Needs to be cleaned up.

  cscaff

  committed
  0e63f53

  Copy full SHA for 0e63f53

• TypeName Rule functions for expr-named types.

  Show description for 56b3272
  

  cscaff

  and

  DZ03FL

  committed
  56b3272

  Copy full SHA for 56b3272

• Created Transformation Function for TypeName to handle different naming types.

  cscaff

  committed
  73a2a7e

  Copy full SHA for 73a2a7e

• BuildJudgement properly creates judgements. Could be cleaned up with MLStyle.

  cscaff

  committed
  41a5c95

  Copy full SHA for 41a5c95

• Refactored BuildJudgement into MLStyle

  cscaff

  committed
  806ead0

  Copy full SHA for 806ead0

• Removed Variable Rule

  cscaff

  committed
  23b4f12

  Copy full SHA for 23b4f12

• Refactored Testing Suite

  cscaff

  committed
  3eed63f

  Copy full SHA for 3eed63f

• Term has some..... problems

  cscaff

  committed
  381195a

  Copy full SHA for 381195a

Commits on Feb 11, 2025

• Eliminated left recursion. Created multOperation semantic handling function.

  cscaff

  committed
  8f142c5

  Copy full SHA for 8f142c5

• Revert "Eliminated left recursion. Created multOperation semantic handling function."

  Show description for ecbc633
  cscaff

  committed
  ecbc633

  Copy full SHA for ecbc633

• Eliminated Left Recursion + Created MultOperation Helper Function.

  cscaff

  committed
  498a988

  Copy full SHA for 498a988

• BuildPlusOperation Function Added. Could be merged/refactored with BuildMultOperation.

  cscaff

  committed
  c2cc49e

  Copy full SHA for c2cc49e

• Current Unit Test Suite Passing

  cscaff

  committed
  6f1e8be

  Copy full SHA for 6f1e8be

• Merge branch 'PEG-DSL-CScaff' into PEG-DSL

  cscaff

  committed
  63fe01e

  Copy full SHA for 63fe01e

• Changed precedence, favoring multiplication.

  cscaff

  committed
  a19217a

  Copy full SHA for a19217a

• Added Parenthesis Precedence.

  cscaff

  committed
  a5d7c3e

  Copy full SHA for a5d7c3e

• Merging Precedences to Main

  cscaff

  committed
  a0d6ae3

  Copy full SHA for a0d6ae3

• Merge branch 'PEG-DSL-CScaff' of https://github.com/cscaff/DiagrammaticEquations.jl into PEG-DSL

  cscaff

  committed
  314649f

  Copy full SHA for 314649f

Commits on Feb 12, 2025

• Body and DecaExpr rules for decapodes

  DZ03FL

  committed
  3300f9d

  Copy full SHA for 3300f9d

• Beginning work on String macros

  DZ03FL

  committed
  e3b129f

  Copy full SHA for e3b129f

• Fixed Macro Issue

  cscaff

  committed
  df61a70

  Copy full SHA for df61a70

• 11 End2End Tests Added. 3 Passing.

  cscaff

  committed
  53cef22

  Copy full SHA for 53cef22

• Passing 8/11 End2End Tests. Implemented “is_isomorphic” from CatLab.

  cscaff

  committed
  3203ddf

  Copy full SHA for 3203ddf

• Minor changes with indentation

  cscaff

  committed
  a1abd27

  Copy full SHA for a1abd27

Commits on Feb 13, 2025

• Added first error handling test.

  cscaff

  committed
  b6587a3

  Copy full SHA for b6587a3

• Added exception handling test to verify correctly thrown parsing errors.

  cscaff

  committed
  aeece0c

  Copy full SHA for aeece0c

• Added some more End2End Tests

  cscaff

  committed
  c06d433

  Copy full SHA for c06d433

• Added Semicolon Usage End2End Test

  cscaff

  committed
  ee0c01f

  Copy full SHA for ee0c01f

Commits on Feb 14, 2025

• Single Line Comments rule(Multi Line in progress)

  DZ03FL

  committed
  c70da1d

  Copy full SHA for c70da1d

• Multi Line comments

  DZ03FL

  committed
  36f461b

  Copy full SHA for 36f461b

• Merge pull request #2 from cscaff/PEG-DSL-Dzhao2

  Show description for 3e3b372
  DZ03FL

  authored
  3e3b372

  Copy full SHA for 3e3b372

• Implemented "-","/","^" Binary Operations

  cscaff

  committed
  b27a504

  Copy full SHA for b27a504

• Implemented all PEMDAS Binary Operations

  cscaff

  committed
  36df879

  Copy full SHA for 36df879

Commits on Feb 15, 2025

• Minor change: Exponent Capitlized per rule.

  cscaff

  committed
  efc0d5e

  Copy full SHA for efc0d5e

• Merge branch 'PEG-DSL' of https://github.com/cscaff/DiagrammaticEquations.jl into PEG-DSL-CScaff

  cscaff

  committed
  4a17c88

  Copy full SHA for 4a17c88

• Modifed comment for SingleLineComment Rule

  cscaff

  committed
  87d4cae

  Copy full SHA for 87d4cae

Commits on Feb 17, 2025

• Added Explicit Operators for Different Precedences based on the Julia Parser.

  cscaff

  committed
  21e4794

  Copy full SHA for 21e4794

• Created Confirm Identifier that checks for illegal operators in idents.

  cscaff

  committed
  464254c

  Copy full SHA for 464254c

• Canonical Model test case

  DZ03FL

  committed
  332b66a

  Copy full SHA for 332b66a

Commits on Feb 18, 2025

• Added prohibition of specific operator characters.

  cscaff

  committed
  67e0a1b

  Copy full SHA for 67e0a1b

Commits on Feb 19, 2025

• Merge pull request #3 from cscaff/PEG-DSL-Dzhao2

  Show description for b8057bf
  DZ03FL

  authored
  b8057bf

  Copy full SHA for b8057bf

• Merge branch 'PEG-DSL' of https://github.com/cscaff/DiagrammaticEquations.jl into PEG-DSL-CScaff

  cscaff

  committed
  cf658e3

  Copy full SHA for cf658e3

Commits on Feb 20, 2025

• Function call names are limited to identifiers or unary operators

  cscaff

  committed
  2b8e517

  Copy full SHA for 2b8e517

• Projection (Dot product) operations added.

  cscaff

  committed
  15083a0

  Copy full SHA for 15083a0

• Operator suffixes added.

  cscaff

  committed
  b7f2696

  Copy full SHA for b7f2696

• Compsure params changed to accept only callNames since it composes functions.

  cscaff

  committed
  6e4d677

  Copy full SHA for 6e4d677

• Projection properly supported for */+

  cscaff

  committed
  c8fc892

  Copy full SHA for c8fc892

• Seperated Ident into an atom that holds ident or digits

  cscaff

  committed
  6dbb7c5

  Copy full SHA for 6dbb7c5

Commits on Feb 22, 2025

• End to End Tests Passing!

  cscaff

  committed
  672726b

  Copy full SHA for 672726b

Commits on Feb 24, 2025

• Refactored Parser Test Suite

  cscaff

  committed
  32f4cb0

  Copy full SHA for 32f4cb0

• Allowing identifier-based terms to have any unary operator.

  cscaff

  committed
  a2c20d6

  Copy full SHA for a2c20d6

• Refactored Parser Source

  Show description for 16c762c
  

  cscaff

  and

  DZ03FL

  committed
  16c762c

  Copy full SHA for 16c762c

• Merge branch 'main' into PEG-DSL

  cscaff

  authored
  c9b3b77

  Copy full SHA for c9b3b77