Prototype of ADP for MCFL (multiple context-free languages)
Haskell Other
Latest commit 12b93cf Apr 1, 2015 @letmaik letmaik output
Permalink
Failed to load latest commit information.
benchmarks
src/ADP
tests
.gitattributes
.gitignore
.project
.travis.yml
LICENSE
README.md
Setup.hs
adp-multi.cabal

README.md

adp-multi Build Status Coverage Status

adp-multi is an adaptation of the Algebraic Dynamic Programming method for multiple context-free languages.

It is a library based on the original Haskell-ADP implementation and can be considered an unoptimized prototype.

You can find out more about it at its project page.

Quick start

  1. Check out the git repository
  2. Run cabal install --flags="buildTests" inside the checked out folder
  3. Run adp-test to see if there's some output (then it works)
  4. Explore the examples (start at tests/ADP/Tests/Main.hs)

The library is also published on Hackage.

How to debug and report errors

  1. Write a unit and/or property test which reproduces the error (see tests/ADP/Tests/)
  2. Try to fix the error
  3. Submit a pull request which includes the failing test (and possibly the fix)

If you get Haskell exceptions, then it is useful to enable stack traces:

  1. (If not already done) Install all used packages with --enable-library-profiling (can be enabled by default in ~/.cabal/config or ~\AppData\Roaming\cabal\config, respectively)
  2. Compile adp-multi with the GHC options -rtsopts -prof -auto-all (performance will be degraded)
  3. Run with +RTS -xc to get stack traces on exceptions