Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit bdb07af9 authored by Martin Clochard's avatar Martin Clochard Committed by Andrei Paskevich
Browse files

split: minor (prevents undesired simplifications)

parent 58a9737b
...@@ -319,8 +319,8 @@ let rec split_core sp f = ...@@ -319,8 +319,8 @@ let rec split_core sp f =
let cond = if ro then fold_cond cond else cond in let cond = if ro then fold_cond cond else cond in
let fcl t = - t_forall_close_simp vl [] t in let fcl t = - t_forall_close_simp vl [] t in
let ecl t = - t_exists_close_simp vl [] t in let ecl t = - t_exists_close_simp vl [] t in
let ps cond f = fcl (t_implies_simp cond f) in let ps cond f = fcl (t_implies cond f) in
let ng cond f = ecl (t_and_simp cond f) in let ng cond f = ecl (t_and cond f) in
let ngt _ a = fcl (t_not a) and tag _ a = ecl a in let ngt _ a = fcl (t_not a) and tag _ a = ecl a in
let pos = pos ++ bimap ngt ps cond sf.pos in let pos = pos ++ bimap ngt ps cond sf.pos in
let neg = neg ++ bimap tag ng cond sf.neg in let neg = neg ++ bimap tag ng cond sf.neg in
......
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