catgrad

catgrad copied to clipboard

Single Static Assignment - MLIR and SMTLIB.

1

Any way you could output in Single Static Assignment for LLVM/MLIR and SSA SMTLIB lisp for solvers like Microsoft Z3/CVC5? You could then shell out to LLVM and Z3/CVC5 to...

chadbrewbaker

e-graph dictionaries

2

It would be nice to have a more comprehensive dictionary of e-graph rules for FinOrd and combinatorial species. My shelved PR for egg that needs dusted off and finished. I...

chadbrewbaker

cleanups, linear_with_bias layer, tanh

janimo