Skip to content

Issues: jwaldmann/haskell-tpdb

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

23 Open 19 Closed
23 Open 19 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ARI parser for TRS (at least, for SRS)
#45 opened Jun 12, 2024 by jwaldmann
Replacement Map missing in XML output
#44 opened Mar 22, 2024 by ffrohn
1
parse metainformation
#43 opened Mar 21, 2024 by jwaldmann
Illegal equational constraint v ~ Identifier enhancement
#42 opened Nov 10, 2023 by jwaldmann
CPF: tree automata, bounds.
#34 opened Aug 7, 2022 by jwaldmann
CPF: add RelativeTerminationProof, use for Spilt transform, remove Unlabel
#33 opened May 30, 2022 by jwaldmann
1
CPF: flatContextClosure, rootLabeling
#32 opened May 23, 2022 by jwaldmann
CPF: monoRedPair
#31 opened May 23, 2022 by jwaldmann
CPF: add TrsNonTermination
#29 opened May 18, 2022 by jwaldmann
TPDB.DP.Graph.components is slow
#28 opened Feb 23, 2022 by jwaldmann
4
export </> function
#22 opened Jun 10, 2018 by jwaldmann
CPF parse error for AC termination proof bug
#19 opened Aug 19, 2016 by jwaldmann
add "attributes" data to benchmark
#17 opened Jun 9, 2016 by jwaldmann
make more systematic transformation between XML (xtc, cpf) and data
#16 opened May 30, 2016 by jwaldmann
write XML output (for problems, not proofs) important
#14 opened Nov 17, 2015 by jwaldmann
1
error in parsing relative proof
#12 opened Jul 17, 2014 by jwaldmann
need cpf parser for <complexityInput>
#10 opened Jun 12, 2014 by jwaldmann
TPDB plain text parser cannot read comment bug
#9 opened Apr 29, 2014 by jwaldmann
1
TPDB plain text parser cannot read Latin-1 encoded files bug
#8 opened Apr 29, 2014 by jwaldmann
note: how to test CPF output enhancement
#6 opened Apr 28, 2014 by jwaldmann
extend CPF output: add missing constructors
#4 opened Apr 22, 2014 by jwaldmann
Parsing fails on leading blank lines
#3 opened Feb 21, 2014 by abau
2
.cabal file is missing some Extra-Modules (?)
#1 opened Oct 26, 2012 by jwaldmann
ProTip! no:milestone will show everything without a milestone.