added nom2fix method
Fix another compiler warning
This fixes the warning "the label idx is defined in both types stateand core." by renaming the label to idxS and idxC respectively.
Fix a few compiler warnings
Get testsuite running again
Fixes the syntax of all tests that use R and B as identifiers, whichare keywords now.
Also disables all tests involving nominals as they are currently allthrowing exceptions.
Fix testsuite for K
R and B are now keywords and were used as identifiers. Now, r andb (lowercase) is used instead in the testcases. For consistency, allother identifiers were lowercased, too.
Fix compilation of gmlmip with newest ocaml
The CAMLparam0() macro must be invoked at the beginning of a functionthat has local variables.
Consider also other modal operators as valid guards
Fix deferral tracking for new CoalitionLogic code
Revert to fresh variable names in convertToMu
Merge remote-tracking branch 'origin/master' into flatmu
Also available in: Atom