Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
transform
split_goal.ml
Find file
Blame
History
Permalink
Term: drop "keep_on_simp" in generic simplifying constructors
· c3dc3f73
Andrei Paskevich
authored
Feb 20, 2016
Instead, we use more cautious simplification in Vc.
c3dc3f73