Skip to content
Snippets Groups Projects
Select Git revision
  • e3a5e55cffd82a0052477ee44bf380481e381daf
  • master default protected
  • SylvanSymbolic
  • Predetermine-unstable-states
  • symci
  • symbolic-bdd-save
  • symbolic-io-improvements
  • sylvan-c-improvements
  • ss2
  • ci
  • sylvansymbolic
  • Master-Distributed-Merge
  • distci
  • Comments_to_help_Silas_understand_the_Alg
  • distributed
  • fixed-DFA
  • Windows-Fixed-(-)
  • symbolic
  • certificates
  • distrib-tmp
  • fb-signatures-simple_stack-ghci
21 results

copar

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 < FILENAME

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

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.