Code

Expression level rewriting#69

Code

Merged

quffaro merged 43 commits intosymbolicutilsinteropAlgebraicJulia/DiagrammaticEquations.jl:symbolicutilsinteropfrom gr/acset2symAlgebraicJulia/DiagrammaticEquations.jl:gr/acset2symCopy head branch name to clipboardOct 3, 2024

+867-200

Commits

Commits on Sep 18, 2024

• Set version to 0.1.7

  

  algebraicjuliabot

  authored and

  GeorgeR227

  committed
  0ab1ef1

• Added more exports (#44)

  Show description for e46fdec
  

  GeorgeR227

  and

  jpfairbanks

  committed
  e46fdec

• Add type rules for vectorfields

  

  lukem12345

  authored and

  GeorgeR227

  committed
  87a9c5c

• Add musical overload resolution

  

  lukem12345

  authored and

  GeorgeR227

  committed
  d921c70

• Take advantage of :infer in type rules

  

  lukem12345

  authored and

  GeorgeR227

  committed
  804ca95

• Initial attempt at rewriting

  Show description for 3e916c4
  GeorgeR227

  committed
  3e916c4

• Added proof of concept

  Show description for 5fbe4b4
  GeorgeR227

  committed
  5fbe4b4

• Added ability to do through-op rewrites

  Show description for 33db813
  GeorgeR227

  committed
  33db813

• Added Space import

  GeorgeR227

  committed
  c9c6aef

• Completed full pipeline

  Show description for 8045545
  GeorgeR227

  committed
  8045545

• Remove metadata usage

  Show description for 8097521
  GeorgeR227

  committed
  8097521

• Added DECQuantity types

  Show description for e0ff9a8
  GeorgeR227

  committed
  e0ff9a8

• Completed pipeline again

  Show description for b9b4146
  GeorgeR227

  committed
  b9b4146

• fixed bug where type-checking subtraction uses +(S1,S2), which is obsolete

  quffaro

  committed
  87f65fe

Commits on Sep 19, 2024

• George and I debugged rewriting. Incorrect type passed to resulting term meant typed rewriting would fail

  quffaro

  committed
  90b1adc

Commits on Sep 20, 2024

• Cleaning up pipeline

  Show description for d4427b1
  GeorgeR227

  committed
  d4427b1

• Fixed order of inclusions

  GeorgeR227

  committed
  6a3877f

Commits on Sep 23, 2024

• adding support for Parameters and Constants

  quffaro

  committed
  ea2d8c0

• Merge branch 'gr/acset2sym' of github.com:AlgebraicJulia/DiagrammaticEquations.jl into gr/acset2sym

  quffaro

  committed
  20fdef6

• Added tests for acset2symbolic

  GeorgeR227

  committed
  9bb6269

• etc

  quffaro

  committed
  8661e2f

• Merge branch 'gr/acset2sym' of github.com:AlgebraicJulia/DiagrammaticEquations.jl into gr/acset2sym

  quffaro

  committed
  b29e991

• Literals testing

  quffaro

  committed
  2228d7a

Commits on Sep 26, 2024

• parameters test passing after some debugging.

  quffaro

  committed
  bc9ab00

Commits on Sep 27, 2024

• supporting Infer, better Base.nameof, better tests

  quffaro

  committed
  2b3198f

• Clean out-of-order vector constructions

  lukem12345

  committed
  31ad602

• Convert to symbolics inside merge_equations

  lukem12345

  committed
  d408c26

• Reduce cases of topological sort

  lukem12345

  committed
  3cd624e

• Reify via recursive function, not lambda case

  lukem12345

  committed
  67079cb

• Merge branch 'gr/acset2sym' of github.com:AlgebraicJulia/DiagrammaticEquations.jl into gr/acset2sym

  quffaro

  committed
  367414d

Commits on Sep 28, 2024

• Further improvement of acset2symbolics

  Show description for 5b84cc8
  GeorgeR227

  committed
  5b84cc8

• Remove extraneous tangents

  GeorgeR227

  committed
  35f7b8e

• Remove redundant helper functions

  lukem12345

  committed
  da0f81a

• Pass indexed names and types directly

  lukem12345

  committed
  fb4927c

• Removed extraneous d arg

  GeorgeR227

  committed
  2d158e8

Commits on Sep 30, 2024

• fixing work on tumor invasion

  quffaro

  committed
  0b32bab

• Merge branch 'gr/acset2sym' of github.com:AlgebraicJulia/DiagrammaticEquations.jl into gr/acset2sym

  quffaro

  committed
  735edfa

Commits on Oct 1, 2024

• macros which create export stmts will fail inside @testset due to JuliaLang issue #51325

  quffaro

  committed
  fe21de4

• removed ghost emoji and added convenience function for rules. aqua's failing persistent tasks.

  quffaro

  committed
  ffa7c8c

Commits on Oct 2, 2024

• Added more tests for acset2symbolics

  GeorgeR227

  committed
  97e8b2d

• Fixed persistence issue

  Show description for 2549322
  GeorgeR227

  committed
  2549322

• Final touches

  GeorgeR227

  committed
  1fae01c

• Remove unused fuctionality

  GeorgeR227

  committed
  6125c1e