Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

Don't needlessly update blocks with one state

Hans-Peter Deifel authored 6 years ago

We can't split them anyways, might as well skip the work done by
updateBlock and splitBlock.

This can make the algorithm roughly twice as fast on some inputs.

4068d42c

4068d42c 6 years ago

Name	Last commit	Last update
bench
examples
src
tests
.gitignore
.gitlab-ci.yml
README.md
Setup.hs
build.sh
cabal.project
ma.cabal
stack.yaml

Master's Thesis

In the absence of a project name: This is my master's thesis

Building

stack build

Running

There isn't much to see, yet. To see pretty printed parse results, use:

stack exec ma refine < FILENAME

Where FILENAME is a file describing the input. Examples are in examples/.

Command line syntax is described in stack exec -- ma --help.

API documentation

The documentation for the internal API can be built and opened in the default browser with:

stack haddock --open ma

This can help to understand the code structure.