nom2EA function compiles
implemented nom2fix function
Add vim modelines to more files
tests: Throw error if child doesn't return 0 or 1
0 and 1 are used for Sat and Unsat respectively. But if the childthrows an exception, another exit status is returned which the parentnow recognizes.
tests: Run reasoner in new process for each formula
As it stands, cool leaks tons of memory with each `isSat` call. Untilthis is fixed, the new `--slow` testsuite would need at least 16GB ofmemory if all formulas are decided in one process. Thus, we now call...
Add lots of test cases for CTL.
This imports some of the quickly decidable ctl comparision benchmarkformulas into the test suite.
The testsuite also gained a --slow parameter, that enables slower (butstill fairly fast) formulas.
Tried to implement a translation
Add comment on purpose of glpk_stub to various files
Enable documentation generation in oasis
Documentation can be built with: ocaml setup.ml -doc
This also fixes two documentation comments that had the wrong syntax.
Also available in: Atom