Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

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

valid goals temporarily removed from 'make bench'

parent b67464fe
......@@ -159,15 +159,15 @@ programs bench/programs/good
programs examples/programs
echo ""
echo "=== VC generation on good programs ==="
pgml_options=
programs bench/programs/good
programs examples/programs
echo ""
echo "=== Checking valid goals ==="
valid_goals bench/valid
echo ""
# echo "=== VC generation on good programs ===" *)
# pgml_options= *)
# programs bench/programs/good *)
# programs examples/programs *)
# echo "" *)
# echo "=== Checking valid goals ===" *)
# valid_goals bench/valid *)
# echo "" *)
echo "=== Checking provers ==="
echo -n "Test provers on true..."
......
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