Search results

Termination and confluence checking

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In taktoa/eqsat;

· taktoa opened on Jun 20, 2018

Write property tests for EqSat.TermIndex.Class

Status: Open.

#16 In taktoa/eqsat;

· taktoa opened on May 23, 2018

Finish writing laws for classes in EqSat.TermIndex.Class

Status: Open.

#15 In taktoa/eqsat;

· taktoa opened on May 23, 2018

Benchmarks for term-indexing data structures

Status: Open.

#14 In taktoa/eqsat;

· taktoa opened on May 23, 2018

Implement a basic substitution tree

Status: Open.

#13 In taktoa/eqsat;

· taktoa opened on May 23, 2018

Implement a basic discrimination tree

Status: Open.

#12 In taktoa/eqsat;

· taktoa opened on May 23, 2018

Use streaming for all situations where we currently take callbacks

Status: Open.

#11 In taktoa/eqsat;

· taktoa opened on May 23, 2018

Spin off EqSat.TermIndex.* into a separate package

Status: Open.

#9 In taktoa/eqsat;

· taktoa opened on May 22, 2018

Implement online algorithm for strongly-connected components

enhancementNew feature or requestNew feature or request

performanceThis issue is related to performanceThis issue is related to performance

Status: Open.

#6 In taktoa/eqsat;

· taktoa opened on May 6, 2018

Improve matching algorithm to efficiently support axioms

enhancementNew feature or requestNew feature or request

performanceThis issue is related to performanceThis issue is related to performance

Status: Open.

#4 In taktoa/eqsat;

· taktoa opened on Apr 22, 2018

Allow conditional rewriting

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In taktoa/eqsat;

· taktoa opened on Apr 22, 2018