Mentions légales du service

Skip to content

Vc: keep sp_if's splittable (and update sessions)

Andrei Paskevich requested to merge split_the_unsplittable into master

Do not overoptimize effectless if-then-else in lemma-functions (and elsewhere) so that they can be splitted during the interactive session.

Merge request reports