-
In the sample/circular-buffer.gps grammar I tried the formula "!put | EX(get)" and got the error message "Prefix operator 'E' occurs in wrong position in "!put | EX(get)"".
I doubt I'm the first one who recognizes this, but I nowhere read something about it.
2008-04-13 16:18:00 UTC in Groove
-
In contrast to the printed usage message and the user manual, the ModelChecker of GROOVE 3.0.0 requires a grammar-location and a property. The usage message and the property say the property is optional.
The erroneous code is at least in groove.verify.CTLModelChecker.processArguments(), because if argList.size() != 2, the error message I receive is printed:
Error: You should at least provide...
2008-04-12 20:59:39 UTC in Groove
-
schwering committed revision 99 to the IRClib IRC library SVN repository, changing 1 files.
2008-03-29 00:37:21 UTC in IRClib IRC library
-
schwering committed revision 98 to the IRClib IRC library SVN repository, changing 1 files.
2008-03-28 17:58:59 UTC in IRClib IRC library
-
schwering committed revision 97 to the IRClib IRC library SVN repository, changing 1 files.
2008-03-28 01:29:11 UTC in IRClib IRC library
-
schwering committed revision 96 to the IRClib IRC library SVN repository, changing 67 files.
2008-03-28 00:56:51 UTC in IRClib IRC library
-
schwering committed revision 95 to the IRClib IRC library SVN repository, changing 4 files.
2008-03-28 00:13:44 UTC in IRClib IRC library
-
schwering committed revision 94 to the IRClib IRC library SVN repository, changing 1 files.
2008-03-27 23:27:17 UTC in IRClib IRC library
-
schwering committed revision 93 to the IRClib IRC library SVN repository, changing 2 files.
2008-03-27 19:41:59 UTC in IRClib IRC library
-
schwering committed revision 92 to the IRClib IRC library SVN repository, changing 5 files.
2008-03-27 00:11:07 UTC in IRClib IRC library
