Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jwaldmann/haskell-tpdb issues and pull requests

#45 - ARI parser for TRS (at least, for SRS)

Issue - State: open - Opened by jwaldmann 8 months ago

#44 - Replacement Map missing in XML output

Issue - State: open - Opened by ffrohn 11 months ago - 1 comment

#43 - parse metainformation

Issue - State: open - Opened by jwaldmann 11 months ago

#42 - Illegal equational constraint v ~ Identifier

Issue - State: open - Opened by jwaldmann about 1 year ago
Labels: enhancement

#41 - fix #40 (apparently)

Pull Request - State: closed - Opened by jwaldmann over 1 year ago

#39 - keep track of variable when building SRS from TRS,

Pull Request - State: closed - Opened by jwaldmann over 1 year ago

#38 - TRS => SRS conversion must keep track of variable name

Issue - State: closed - Opened by jwaldmann over 1 year ago

#37 - rewriteStep must mark relative steps

Issue - State: closed - Opened by jwaldmann over 1 year ago

#36 - split for relative termination

Issue - State: closed - Opened by jwaldmann over 1 year ago

#35 - build errors with ghc-9.6

Issue - State: closed - Opened by jwaldmann almost 2 years ago

#34 - CPF: tree automata, bounds.

Issue - State: open - Opened by jwaldmann over 2 years ago

#33 - CPF: add RelativeTerminationProof, use for Spilt transform, remove Unlabel

Issue - State: open - Opened by jwaldmann over 2 years ago - 1 comment

#32 - CPF: flatContextClosure, rootLabeling

Issue - State: open - Opened by jwaldmann over 2 years ago

#31 - CPF: monoRedPair

Issue - State: open - Opened by jwaldmann over 2 years ago

#30 - CPF: add transformations for non-termination

Issue - State: closed - Opened by jwaldmann over 2 years ago

#29 - CPF: add TrsNonTermination

Issue - State: open - Opened by jwaldmann over 2 years ago

#28 - TPDB.DP.Graph.components is slow

Issue - State: open - Opened by jwaldmann almost 3 years ago - 4 comments

#27 - Operator applied to too few arguments: ! with ghc-9

Issue - State: closed - Opened by jwaldmann almost 4 years ago

#24 - parsing of relative rules from XML format is broken

Issue - State: closed - Opened by jwaldmann over 6 years ago

#23 - repair Show instance of Identifier

Issue - State: closed - Opened by jwaldmann over 6 years ago

#22 - export </> function

Issue - State: open - Opened by jwaldmann over 6 years ago

#21 - drop dependency on HaXml (replace with xml-hamlet/conduit)

Issue - State: closed - Opened by jwaldmann almost 7 years ago

#20 - replace pretty-printer by prettyprinter

Issue - State: closed - Opened by jwaldmann almost 7 years ago - 1 comment

#19 - CPF parse error for AC termination proof

Issue - State: open - Opened by jwaldmann over 8 years ago
Labels: bug

#18 - cannot handle theories

Issue - State: closed - Opened by jwaldmann over 8 years ago - 2 comments

#17 - add "attributes" data to benchmark

Issue - State: open - Opened by jwaldmann over 8 years ago

#15 - write and export a function to parse from ByteString

Issue - State: closed - Opened by jwaldmann over 8 years ago - 2 comments

#14 - write XML output (for problems, not proofs)

Issue - State: open - Opened by jwaldmann about 9 years ago - 1 comment
Labels: important

#13 - update equality instance of TPDB.Data.RS

Pull Request - State: open - Opened by alpako over 9 years ago

#12 - error in parsing relative proof

Issue - State: open - Opened by jwaldmann over 10 years ago

#11 - output reference to cpfHTML.xsl

Issue - State: closed - Opened by jwaldmann over 10 years ago - 1 comment
Labels: enhancement

#10 - need cpf parser for <complexityInput>

Issue - State: open - Opened by jwaldmann over 10 years ago

#9 - TPDB plain text parser cannot read comment

Issue - State: open - Opened by jwaldmann almost 11 years ago - 1 comment
Labels: bug

#8 - TPDB plain text parser cannot read Latin-1 encoded files

Issue - State: open - Opened by jwaldmann almost 11 years ago
Labels: bug

#7 - identifier "<" must be escaped in CPF output

Issue - State: closed - Opened by jwaldmann almost 11 years ago - 1 comment
Labels: bug

#6 - note: how to test CPF output

Issue - State: open - Opened by jwaldmann almost 11 years ago
Labels: enhancement

#5 - symbol output is wrong

Issue - State: closed - Opened by jwaldmann almost 11 years ago - 1 comment
Labels: bug

#4 - extend CPF output: add missing constructors

Issue - State: open - Opened by jwaldmann almost 11 years ago

#3 - Parsing fails on leading blank lines

Issue - State: open - Opened by abau almost 11 years ago - 2 comments

#2 - srs2trs must repair arity of symbols

Issue - State: closed - Opened by jwaldmann over 11 years ago

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

Issue - State: open - Opened by jwaldmann over 12 years ago