- Mar 03, 2017
-
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
option --disable-warning-as-errors to the .configure script to make opam compile without the -warn-error A option
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
option --disable-warning-as-errors to the .configure script to make opam compile without the -warn-error A option
-
- Mar 02, 2017
-
-
POGODALLA Sylvain authored
Changing warnings raising message and adapting ./configure to support compilation without considering warnings as errors
-
POGODALLA Sylvain authored
Bug fix: parsing of a constant that itseld is the image of a constant raised an exception (trying to move up in the tree when there is no move possible)
-
- Mar 01, 2017
-
-
POGODALLA Sylvain authored
Possibly fixed the bug when duplicated interpretations are provided in lexicons for which a datalog program is generated (i.e. with 2nd order abstract language and almost linear interpretations)
-
- Sep 12, 2016
-
-
POGODALLA Sylvain authored
-
- Sep 09, 2016
-
-
POGODALLA Sylvain authored
-
- Nov 30, 2015
-
-
POGODALLA Sylvain authored
-
- Nov 27, 2015
-
-
POGODALLA Sylvain authored
No commit message
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
- Jun 18, 2015
-
-
POGODALLA Sylvain authored
-
- May 29, 2015
-
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
- May 28, 2015
-
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
- May 06, 2015
-
-
POGODALLA Sylvain authored
-
POGODALLA Sylvain authored
-
- Dec 02, 2014
-
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
Jirka Marsik authored
-
- Nov 27, 2014
-
-
Jirka Marsik authored
-
Jirka Marsik authored
-