Code

Data structure docs#245

Code

Open

olynch wants to merge 3 commits intoale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from data-structure-docsJuliaSymbolics/Metatheory.jl:data-structure-docsCopy head branch name to clipboard

+235-19

Commits

Commits on Sep 11, 2024

• Added more documentation to internal data structures

  

  quffaro

  authored and

  olynch

  committed
  d149673

Commits on Sep 24, 2024

• fix merge

  olynch

  committed
  450daf3

Commits on Oct 11, 2024

• Update src/EGraphs/egraph.jl

  Show description for f7e9946
  

  olynch

  and

  0x0f0f0f

  authored
  f7e9946