MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 6fe85a7a authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

Int63: no more function eq (examples updated)

parent 799d6987
......@@ -122,7 +122,7 @@ module EuclideanAlgorithm63
requires { to_int u >= 0 /\ to_int v >= 0 }
ensures { to_int result = gcd (to_int u) (to_int v) }
=
if Int63.eq v (of_int 0) then
if v = of_int 0 then
u
else
euclid v (u % v)
......
......@@ -122,7 +122,7 @@ module EuclideanAlgorithm63
requires { to_int u >= 0 /\ to_int v >= 0 }
ensures { to_int result = gcd (to_int u) (to_int v) }
= "vc:sp"
if Int63.eq v (of_int 0) then
if v = of_int 0 then
u
else
euclid v (u % v)
......
......@@ -190,7 +190,7 @@ module NQueens63
variant { n - pos }
ensures { is_board board (pos) }
=
if eq pos n then
if pos = n then
solutions := P.succ !solutions
else
let i = ref (of_int 0) in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment