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/

Commit f705c3af authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

Add CHANGES info

parent bc0cad76
; -*-org-*-
* Version ???
** Various bug fixes
** Prepare Datalog prover extension to handle states and weights for probabilistic ACG
* Version 1.5.2
** Fixes build dependency to menhir generated messages
** Various bug fixes
* Version 1.5.1
** Remove dependency to the ocf package
** Arguments of acg and acgg are now handled by the Cmdliner library
......
# Version ???
## Various bug fixes
## Prepare Datalog prover extension to handle states and weights for probabilistic ACG
# Version 1.5.2
## Fixes build dependency to menhir generated messages
## Various bug fixes
# Version 1.5.1
## Remove dependency to the ocf package
## Arguments of acg and acgg are now handled by the Cmdliner library
......
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