jwaldmann haskell-tpdb issues

jwaldmann / haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)

2 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

ARI parser for TRS (at least, for SRS)

#45 jwaldmann opened 5 months ago
0
Replacement Map missing in XML output

#44 ffrohn opened 7 months ago
1
parse metainformation

#43 jwaldmann opened 7 months ago
0
Illegal equational constraint v ~ Identifier

#42 jwaldmann opened 1 year ago
0
fix #40 (apparently)

#41 jwaldmann closed 1 year ago
0
src/TPDB/Plain/Read.hs:85:18-71: Missing field in record construction original_variable

#40 jwaldmann closed 1 year ago
0
keep track of variable when building SRS from TRS,

#39 jwaldmann closed 1 year ago
0
TRS => SRS conversion must keep track of variable name

#38 jwaldmann closed 1 year ago
0
rewriteStep must mark relative steps

#37 jwaldmann closed 1 year ago
0
split for relative termination

#36 jwaldmann closed 1 year ago
0
build errors with ghc-9.6

#35 jwaldmann closed 1 year ago
0
CPF: tree automata, bounds.

#34 jwaldmann opened 2 years ago
0
CPF: add RelativeTerminationProof, use for Spilt transform, remove Unlabel

#33 jwaldmann opened 2 years ago
1
CPF: flatContextClosure, rootLabeling

#32 jwaldmann opened 2 years ago
0
CPF: monoRedPair

#31 jwaldmann opened 2 years ago
0
CPF: add transformations for non-termination

#30 jwaldmann closed 2 years ago
0
CPF: add TrsNonTermination

#29 jwaldmann opened 2 years ago
0
TPDB.DP.Graph.components is slow

#28 jwaldmann opened 2 years ago
4
Operator applied to too few arguments: ! with ghc-9

#27 jwaldmann closed 3 years ago
0
with ghc-8.6: No instance for (Control.Monad.Fail.MonadFail (Either SomeException))

#26 jwaldmann closed 5 years ago
0
travis build fails src/TPDB/XTC/Read.hs:35:9: error: Illegal bang-pattern (use BangPatterns)

#25 jwaldmann closed 5 years ago
0
parsing of relative rules from XML format is broken

#24 jwaldmann closed 5 years ago
0
repair Show instance of Identifier

#23 jwaldmann closed 6 years ago
0
export </> function

#22 jwaldmann opened 6 years ago
0
drop dependency on HaXml (replace with xml-hamlet/conduit)

#21 jwaldmann closed 6 years ago
0
replace pretty-printer by prettyprinter

#20 jwaldmann closed 6 years ago
1
CPF parse error for AC termination proof

#19 jwaldmann opened 8 years ago
0
cannot handle theories

#18 jwaldmann closed 8 years ago
2
add "attributes" data to benchmark

#17 jwaldmann opened 8 years ago
0
make more systematic transformation between XML (xtc, cpf) and data

#16 jwaldmann opened 8 years ago
0
write and export a function to parse from ByteString

#15 jwaldmann closed 6 years ago
2
write XML output (for problems, not proofs)

#14 jwaldmann opened 8 years ago
1
update equality instance of TPDB.Data.RS

#13 alpako opened 9 years ago
0
error in parsing relative proof

#12 jwaldmann opened 10 years ago
0
output reference to cpfHTML.xsl

#11 jwaldmann closed 10 years ago
1
need cpf parser for <complexityInput>

#10 jwaldmann opened 10 years ago
0
TPDB plain text parser cannot read comment

#9 jwaldmann opened 10 years ago
1
TPDB plain text parser cannot read Latin-1 encoded files

#8 jwaldmann opened 10 years ago
0
identifier "<" must be escaped in CPF output

#7 jwaldmann closed 10 years ago
1
note: how to test CPF output

#6 jwaldmann opened 10 years ago
0
symbol output is wrong

#5 jwaldmann closed 10 years ago
1
extend CPF output: add missing constructors

#4 jwaldmann opened 10 years ago
0
Parsing fails on leading blank lines

#3 abau opened 10 years ago
2
srs2trs must repair arity of symbols

#2 jwaldmann closed 11 years ago
0
.cabal file is missing some Extra-Modules (?)

#1 jwaldmann opened 12 years ago
0