| Branch: | Revision:

cool / src @ 966e1556

Name Size
.dir-locals.el 35 Bytes

Latest revisions

# Date Author Comment
966e1556 03/27/2017 08:42 PM Kristin Braun

nom2EA function compiles

0fe522e0 03/27/2017 08:10 PM Kristin Braun

implemented nom2fix function

8d9a2669 03/27/2017 08:48 AM Hans-Peter Deifel

Add vim modelines to more files

8c810657 03/27/2017 08:36 AM Hans-Peter Deifel

tests: Throw error if child doesn't return 0 or 1

0 and 1 are used for Sat and Unsat respectively. But if the child
throws an exception, another exit status is returned which the parent
now recognizes.

ad0b75b1 03/26/2017 09:29 AM Hans-Peter Deifel

tests: Run reasoner in new process for each formula

As it stands, cool leaks tons of memory with each `isSat` call. Until
this is fixed, the new `--slow` testsuite would need at least 16GB of
memory if all formulas are decided in one process. Thus, we now call...

b002efa8 03/26/2017 09:29 AM Hans-Peter Deifel

Add lots of test cases for CTL.

This imports some of the quickly decidable ctl comparision benchmark
formulas into the test suite.

The testsuite also gained a --slow parameter, that enables slower (but
still fairly fast) formulas.

860b962a 03/23/2017 02:59 PM Kristin Braun

Tried to implement a translation

200774f4 03/23/2017 01:26 PM Kristin Braun

added EAFormula

7451cccf 03/23/2017 11:18 AM Hans-Peter Deifel

Add comment on purpose of glpk_stub to various files

7198f96f 03/22/2017 06:21 PM Hans-Peter Deifel

Enable documentation generation in oasis

Documentation can be built with: ocaml -doc

This also fixes two documentation comments that had the wrong syntax.

View revisions

Also available in: Atom