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 a553919e authored by MARCHE Claude's avatar MARCHE Claude
Browse files

CE parser accepts more terms

parent 54d4a2e7
......@@ -126,6 +126,12 @@ list_smt_term:
application:
| LPAREN name list_smt_term RPAREN { Smt2_model_defs.Apply($2, List.rev $3) }
| LPAREN binop smt_term smt_term RPAREN { Smt2_model_defs.Apply($2, [$3;$4]) }
binop:
| LE { "<=" }
| GE { ">=" }
array:
| LPAREN
......@@ -161,8 +167,6 @@ name:
boolean_expression:
| LPAREN FORALL LPAREN args_lists RPAREN smt_term RPAREN { }
| LPAREN NOT smt_term RPAREN { }
| LPAREN LE smt_term smt_term RPAREN { }
| LPAREN GE smt_term smt_term RPAREN { }
| LPAREN AND list_smt_term RPAREN { }
integer:
......
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