Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 9631d5b7

Name Size
  coalg
  coalgcompare
  debugger
  lib
  ncurses
  owl
  repl-example
  testsuite
.dir-locals.el 35 Bytes

Latest revisions

# Date Author Comment
9631d5b7 03/18/2017 12:13 PM Kristin Braun

added nom2fix method

7eb41195 03/17/2017 12:11 AM Hans-Peter Deifel

Fix another compiler warning

This fixes the warning "the label idx is defined in both types state
and core." by renaming the label to idxS and idxC respectively.

e0e6eb62 03/16/2017 11:15 PM Hans-Peter Deifel

Fix a few compiler warnings

9fdc9f4d 03/16/2017 07:08 PM Hans-Peter Deifel

Get testsuite running again

Fixes the syntax of all tests that use R and B as identifiers, which
are keywords now.

Also disables all tests involving nominals as they are currently all
throwing exceptions.

3c42e3f1 03/16/2017 07:08 PM Hans-Peter Deifel

Fix testsuite for K

R and B are now keywords and were used as identifiers. Now, r and
b (lowercase) is used instead in the testcases. For consistency, all
other identifiers were lowercased, too.

9352b45f 03/16/2017 07:08 PM Hans-Peter Deifel

Fix compilation of gmlmip with newest ocaml

The CAMLparam0() macro must be invoked at the beginning of a function
that has local variables.

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

View revisions

Also available in: Atom