Code

Introducing Operator types#84

Code

Open

GeorgeR227 wants to merge 19 commits intomainAlgebraicJulia/DiagrammaticEquations.jl:mainfrom gr/impv_inferAlgebraicJulia/DiagrammaticEquations.jl:gr/impv_inferCopy head branch name to clipboard

+584-492

Commits

Commits on Oct 30, 2024

• Made inference rules generic

  Show description for 93494d8
  GeorgeR227

  committed
  93494d8

• Added support for overloading using Operator

  GeorgeR227

  committed
  5bc8f8c

• Cleaned up inf/res rules into single set

  Show description for 868f520
  GeorgeR227

  committed
  868f520

• Added Symbol Operator constructor

  GeorgeR227

  committed
  87cfccf

• Removed HeatXfer and added other tests

  Show description for 8f8188d
  GeorgeR227

  committed
  8f8188d

• Basic type checking added

  Show description for 4fbe011
  GeorgeR227

  committed
  4fbe011

• Much improved type checking

  GeorgeR227

  committed
  78823f8

• Don't throw error, return false

  GeorgeR227

  committed
  17dba52

• Some cleanup

  GeorgeR227

  committed
  c389f1d

• Complete type checking

  Show description for c8c6d92
  GeorgeR227

  committed
  c8c6d92

• Moved exports

  GeorgeR227

  committed
  5fc4c85

• Use explicit minimum idiom in op type checking

  lukem12345

  authored
  5e9a12a

• Fixed test

  GeorgeR227

  committed
  92a40c9

Commits on Oct 31, 2024

• Fix typo

  GeorgeR227

  committed
  b4ba787

• Changed check_operator

  Show description for 94f99cd
  GeorgeR227

  committed
  94f99cd

• Fix docstrings in acset.jl

  GeorgeR227

  committed
  d81ea0b

Commits on Nov 13, 2024

• Change not equals

  GeorgeR227

  committed
  ce81442

Commits on Nov 14, 2024

• First pass at ruleset ambiguity checking

  Show description for 80bdec5
  GeorgeR227

  committed
  80bdec5

Commits on Dec 9, 2024

• Dual types work for PartialT

  GeorgeR227

  committed
  1f9086d