Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
parser
ptree.ml
Find file
Blame
History
Permalink
Parser: add syntax "(e1.f1, e2.f2) <- (v1, v2)" for parallel assignments
· 20fee52d
Léon Gondelman
authored
Jul 30, 2015
20fee52d