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/

cvc4.drv 138 Bytes
Newer Older
François Bobot's avatar
François Bobot committed
1 2 3 4 5 6 7 8 9
import "cvc4_bare.drv"
import "discrimination.gen"

(*
Local Variables:
mode: why
compile-command: "unset LANG; make -C .. bench"
End:
*)