haskell-tpdb

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

Name		Name	Last commit message	Last commit date
Latest commit History 238 Commits
.github/workflows		.github/workflows
src/TPDB		src/TPDB
test		test
.gitignore		.gitignore
.hlint.yaml		.hlint.yaml
.travis.yml		.travis.yml
CHANGELOG		CHANGELOG
Compressor.hs		Compressor.hs
README.md		README.md
Setup.hs		Setup.hs
cabal.haskell-ci		cabal.haskell-ci
plain2xtc.hs		plain2xtc.hs
srs2trs.hs		srs2trs.hs
stack.yaml		stack.yaml
tpdb.cabal		tpdb.cabal
xtc2srs.hs		xtc2srs.hs
xtc2trs.hs		xtc2trs.hs

Navigation Menu