- 07 Jul, 2011 4 commits
-
-
Andrei Paskevich authored
-
MARCHE Claude authored
add the way of replaying examples in the doc
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe authored
-
- 06 Jul, 2011 14 commits
-
-
François Bobot authored
I shouldn't work after midnight...
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
MARCHE Claude authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
- 05 Jul, 2011 10 commits
-
-
MARCHE Claude authored
-
Jean-Christophe Filliâtre authored
-
François Bobot authored
-
François Bobot authored
Fix the warning in 8e207729 Add a check for yices on real in nightly-build
-
Jean-Christophe Filliâtre authored
new syntax 'L: to introduce a mark new syntax at t 'L in logical expressions
-
François Bobot authored
First version of DEVELOPER.readme, modify it according to your understanding of the current informal guidelines
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
Warning since 7efae3f8 yices doesn't work with real since in assoc_mul_div a variable is the denominator. Yices refuse that.
-
- 04 Jul, 2011 12 commits
-
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
MARCHE Claude authored
updated DTD
-
Jean-Christophe Filliâtre authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-