Project

General

Profile

Activity

From 02/19/2017 to 03/20/2017

03/20/2017

02:26 PM Bug #19: GML formula takes long
On a fast machine, one gets the correct answer within 3 minutes:... Thorsten Wißmann

03/18/2017

12:13 PM Revision 9631d5b7 (cool): added nom2fix method
Kristin Braun

03/16/2017

12:11 AM Revision 7eb41195 (cool): 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 idx...
Hans-Peter Deifel
11:16 PM Revision 885cc0df (cool): Add .merlin file to gitignore
This is generated by the editor completion framework called merlin:
https://github.com/ocaml/merlin
Hans-Peter Deifel
11:15 PM Revision e0e6eb62 (cool): Fix a few compiler warnings
Hans-Peter Deifel
07:08 PM Revision 9352b45f (cool): Fix compilation of gmlmip with newest ocaml
The CAMLparam0() macro must be invoked at the beginning of a function
that has local variables.
Hans-Peter Deifel
07:08 PM Revision 3c42e3f1 (cool): 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...
Hans-Peter Deifel
07:08 PM Revision 9fdc9f4d (cool): 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 invol...
Hans-Peter Deifel
07:00 PM Revision fb402b0e (cool): Merge branch 'flatmu'
Hans-Peter Deifel

03/15/2017

06:27 PM Revision da42f6f0 (cool): Fix compilation of gmlmip with newest ocaml
The CAMLparam0() macro must be invoked at the beginning of a function
that has local variables.
Hans-Peter Deifel
 

Also available in: Atom