Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ 07402362

Name Size
  GMLMIP-0.1
ALCFormula.ml 54.2 KB
ALCFormula.mli 3.3 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 160 Bytes
ALCMisc.ml 31.5 KB
CoAlgFormula.ml 69.3 KB
CoAlgFormula.mli 6.13 KB
CoAlgLogicUtils.ml 3.58 KB
CoAlgLogicUtils.mli 285 Bytes
CoAlgLogics.ml 26 KB
CoAlgLogics.mli 204 Bytes
CoAlgMisc.ml 46.5 KB
CoAlgMisc.mli 12.5 KB
CoAlgReasoner.ml 39 KB
CoAlgReasoner.mli 794 Bytes
CoolUtils.ml 1.91 KB
CoolUtils.mli 1.08 KB
FunctorParsing.ml 6.72 KB
FunctorParsing.mli 576 Bytes
HashConsing.ml 8.84 KB
HashConsing.mli 699 Bytes
MiscSolver.ml 13.1 KB
MiscSolver.mli 1.29 KB
altGenlex.ml 9.45 KB
altGenlex.mli 416 Bytes
genAndComp.ml 68.2 KB
glpk.ml 6.94 KB
glpk.mli 7.13 KB
glpk_stub.c 10.7 KB
gmlmip.ml 406 Bytes
gmlmip.mli 597 Bytes
gmlmip_stub.c 3.47 KB
minisat.ml 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
07402362 05/21/2016 03:50 AM Christoph Egger

Consider also other modal operators as valid guards

edfbcc2b 05/14/2016 11:50 PM Christoph Egger

Fix deferral tracking for new CoalitionLogic code

2a36974b 05/14/2016 10:16 PM Christoph Egger

Revert to fresh variable names in convertToMu

e01c4a03 05/14/2016 05:10 AM Christoph Egger

Merge remote-tracking branch 'origin/master' into flatmu

e08cd8a9 05/12/2016 05:33 PM Christoph Egger

Fix deferral tracking when "empty" least fixpoints appear

c126d689 05/12/2016 04:20 PM Christoph Egger

Fix states with no children

bc8db289 05/12/2016 02:01 PM Christoph Egger

actually verify properties for sat target

de13bc0f 05/10/2016 10:02 AM Christoph Egger

Unify CTL variable name for more global caching

eff3ff0c 05/10/2016 03:07 AM Christoph Egger

make HashConsing accept ¬Var ≡ Var

52f5465c 04/28/2016 04:13 PM Christoph Egger

Add deferral tracking for Identity

View revisions

Also available in: Atom