Search results

ceta-2 to ceta-3

Status: Open.

#47 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Jul 31, 2025

ARI parser for TRS (at least, for SRS)

Status: Open.

#45 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Jun 12, 2024

Replacement Map missing in XML output

Status: Open.

#44 In jwaldmann/haskell-tpdb;

· ffrohn opened on Mar 22, 2024

parse metainformation

Status: Open.

#43 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Mar 21, 2024

Illegal equational constraint v ~ Identifier

enhancement

Status: Open.

#42 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Nov 10, 2023

CPF: tree automata, bounds.

Status: Open.

#34 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Aug 7, 2022

CPF: add RelativeTerminationProof, use for Spilt transform, remove Unlabel

Status: Open.

#33 In jwaldmann/haskell-tpdb;

· jwaldmann opened on May 30, 2022

CPF: flatContextClosure, rootLabeling

Status: Open.

#32 In jwaldmann/haskell-tpdb;

· jwaldmann opened on May 23, 2022

CPF: monoRedPair

Status: Open.

#31 In jwaldmann/haskell-tpdb;

· jwaldmann opened on May 23, 2022

CPF: add TrsNonTermination

Status: Open.

#29 In jwaldmann/haskell-tpdb;

· jwaldmann opened on May 18, 2022

TPDB.DP.Graph.components is slow

Status: Open.

#28 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Feb 23, 2022

export </> function

Status: Open.

#22 In jwaldmann/haskell-tpdb;

· jwaldmann opened on Jun 10, 2018