Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
CHANGES.md
Find file
Blame
History
Permalink
destruct: now destruct "true" and "false"
· 0a4ec4c2
Sylvain Dailler
authored
Apr 25, 2019
Also add tests for not, true and false
0a4ec4c2
To find the state of this project's repository at the time of any of these versions, check out
the tags
.