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 fe8c2bf3 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Allow transformation on files/theories. Applies to the immediate children.

parent a0febee2
......@@ -1185,9 +1185,12 @@ end
| ATn tnid ->
let child_ids = get_sub_tasks d.cont.controller_session tnid in
List.iter (fun id -> apply_transform (APn id) t args) child_ids
| AFile _ | ATh _ ->
(* TODO: propagate trans to all subgoals, just the first one, do nothing ... ? *)
()
| AFile f ->
let child_ids = file_theories f in
List.iter (fun id -> apply_transform (ATh id) t args) child_ids
| ATh th ->
let child_ids = theory_goals th in
List.iter (fun id -> apply_transform (APn id) t args) child_ids
in
let nid = any_from_node_ID node_id in
apply_transform nid t args
......
......@@ -430,6 +430,8 @@ let interp commands_table cont id s =
match id with
| Some (Session_itp.APn _id) -> Transform (cmd,t,args)
| Some (Session_itp.ATn _tid) -> Transform (cmd, t, args)
| Some (Session_itp.AFile _f) -> Transform (cmd, t, args)
| Some (Session_itp.ATh _th) -> Transform (cmd, t, args)
| _ -> QError ("Please select a goal or trans node in the task tree")
with
| Trans.UnknownTrans _ ->
......
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