Issues

• Termination and confluence checking

  enhancement
  taktoa/eqsat#18 · Filter by author taktoa opened on Jun 20, 2018
  

• Write property tests for EqSat.TermIndex.Class

  taktoa/eqsat#16 · Filter by author taktoa opened on May 23, 2018

• Finish writing laws for classes in EqSat.TermIndex.Class

  taktoa/eqsat#15 · Filter by author taktoa opened on May 23, 2018

• Benchmarks for term-indexing data structures

  taktoa/eqsat#14 · Filter by author taktoa opened on May 23, 2018

• Implement a basic substitution tree

  taktoa/eqsat#13 · Filter by author taktoa opened on May 23, 2018

• Implement a basic discrimination tree

  taktoa/eqsat#12 · Filter by author taktoa opened on May 23, 2018

• Use streaming for all situations where we currently take callbacks

  taktoa/eqsat#11 · Filter by author taktoa opened on May 23, 2018

• Spin off EqSat.TermIndex.* into a separate package

  taktoa/eqsat#9 · Filter by author taktoa opened on May 22, 2018
  

• Implement online algorithm for strongly-connected components

  enhancementperformance
  taktoa/eqsat#6 · Filter by author taktoa opened on May 6, 2018
  1

• Improve matching algorithm to efficiently support axioms

  enhancementperformance
  taktoa/eqsat#4 · Filter by author taktoa opened on Apr 22, 2018
  

• Allow conditional rewriting

  enhancement
  taktoa/eqsat#1 · Filter by author taktoa opened on Apr 22, 2018
  2