Issues

• ceta-2 to ceta-3

  jwaldmann/haskell-tpdb#47 · Filter by author jwaldmann opened on Jul 31, 2025

• ARI parser for TRS (at least, for SRS)

  jwaldmann/haskell-tpdb#45 · Filter by author jwaldmann opened on Jun 12, 2024
  1

• Replacement Map missing in XML output

  jwaldmann/haskell-tpdb#44 · Filter by author ffrohn opened on Mar 22, 2024
  1

• parse metainformation

  jwaldmann/haskell-tpdb#43 · Filter by author jwaldmann opened on Mar 21, 2024

• Illegal equational constraint v ~ Identifier

  enhancement
  jwaldmann/haskell-tpdb#42 · Filter by author jwaldmann opened on Nov 10, 2023

• CPF: tree automata, bounds.

  jwaldmann/haskell-tpdb#34 · Filter by author jwaldmann opened on Aug 7, 2022

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

  jwaldmann/haskell-tpdb#33 · Filter by author jwaldmann opened on May 30, 2022
  1

• CPF: flatContextClosure, rootLabeling

  jwaldmann/haskell-tpdb#32 · Filter by author jwaldmann opened on May 23, 2022

• CPF: monoRedPair

  jwaldmann/haskell-tpdb#31 · Filter by author jwaldmann opened on May 23, 2022

• CPF: add TrsNonTermination

  jwaldmann/haskell-tpdb#29 · Filter by author jwaldmann opened on May 18, 2022

• TPDB.DP.Graph.components is slow

  jwaldmann/haskell-tpdb#28 · Filter by author jwaldmann opened on Feb 23, 2022
  4

• export </> function

  jwaldmann/haskell-tpdb#22 · Filter by author jwaldmann opened on Jun 10, 2018

• CPF parse error for AC termination proof

  bug
  jwaldmann/haskell-tpdb#19 · Filter by author jwaldmann opened on Aug 19, 2016
  1

• add "attributes" data to benchmark

  jwaldmann/haskell-tpdb#17 · Filter by author jwaldmann opened on Jun 9, 2016

• make more systematic transformation between XML (xtc, cpf) and data

  jwaldmann/haskell-tpdb#16 · Filter by author jwaldmann opened on May 30, 2016

• write XML output (for problems, not proofs)

  important
  jwaldmann/haskell-tpdb#14 · Filter by author jwaldmann opened on Nov 17, 2015
  1

• error in parsing relative proof

  jwaldmann/haskell-tpdb#12 · Filter by author jwaldmann opened on Jul 17, 2014

• need cpf parser for <complexityInput>

  jwaldmann/haskell-tpdb#10 · Filter by author jwaldmann opened on Jun 12, 2014

• TPDB plain text parser cannot read comment

  bug
  jwaldmann/haskell-tpdb#9 · Filter by author jwaldmann opened on Apr 29, 2014
  1

• TPDB plain text parser cannot read Latin-1 encoded files

  bug
  jwaldmann/haskell-tpdb#8 · Filter by author jwaldmann opened on Apr 29, 2014

• note: how to test CPF output

  enhancement
  jwaldmann/haskell-tpdb#6 · Filter by author jwaldmann opened on Apr 28, 2014

• extend CPF output: add missing constructors

  jwaldmann/haskell-tpdb#4 · Filter by author jwaldmann opened on Apr 22, 2014

• Parsing fails on leading blank lines

  jwaldmann/haskell-tpdb#3 · Filter by author abau opened on Feb 21, 2014
  2

• .cabal file is missing some Extra-Modules (?)

  jwaldmann/haskell-tpdb#1 · Filter by author jwaldmann opened on Oct 26, 2012