Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ 2da28579

Name Size
ALCFormula.ml 54.3 KB
ALCFormula.mli 3.34 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 197 Bytes
ALCMisc.ml 31.5 KB
CoAlgFormula.ml 71.5 KB
CoAlgFormula.mli 6.38 KB
CoAlgLogicUtils.ml 3.62 KB
CoAlgLogicUtils.mli 322 Bytes
CoAlgLogics.ml 22.7 KB
CoAlgLogics.mli 241 Bytes
CoAlgMisc.ml 48.1 KB
CoAlgMisc.mli 13.6 KB
CoAlgReasoner.ml 40 KB
CoAlgReasoner.mli 1.07 KB
CoolUtils.ml 5.16 KB
CoolUtils.mli 2.71 KB
EAFormula.ml 8.02 KB
EAFormula.mli 1.24 KB
FunctorParsing.ml 6.76 KB
FunctorParsing.mli 613 Bytes
HashConsing.ml 8.89 KB
HashConsing.mli 736 Bytes
MiscSolver.ml 13.2 KB
MiscSolver.mli 1.33 KB
Nom2fix.ml 4.08 KB
Nom2fix.mli 548 Bytes
altGenlex.ml 9.48 KB
altGenlex.mli 453 Bytes
genAndComp.ml 68.2 KB
glpk.ml 7.28 KB
glpk.mli 7.47 KB
glpk_stub.c 11 KB
minisat.ml 1.22 KB
minisat.mli 492 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
2da28579 06/20/2017 05:50 PM Kristin Braun

added VAR to patternmatching

def3763d 06/19/2017 01:18 PM Kristin Braun

Translation for K

e3cf4ca2 05/16/2017 07:39 PM Kristin Braun

translation calculates fisher ladner closure correctly

267e3fcf 05/16/2017 02:03 PM Kristin Braun

.

89613c41 05/11/2017 03:52 PM Kristin Braun

tried to use Fischer-Ladner Closure but not working yet

0f9140ab 05/04/2017 04:06 PM Kristin Braun

part 1 and 3 of translation

a91110f4 05/03/2017 03:47 PM Kristin Braun

first part of translations is implemented

3cd07e5d 05/03/2017 03:26 PM Hans-Peter Deifel

Replace String.split_on_char with custom implementation

String.split_on_char was introduced in OCaml 4.04, but we want to
support 4.02.

f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.

7ed16bab 04/06/2017 05:57 PM Hans-Peter Deifel

Add tests for command line option parser

View revisions

Also available in: Atom