Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
fabf5327
Commit
fabf5327
authored
Feb 02, 2012
by
Jean-Christophe Filliâtre
Browse files
updated example description
parent
4259e9af
Changes
1
Hide whitespace changes
Inline
Side-by-side
examples/programs/vstte12_two_way_sort.mlw
View file @
fabf5327
(* The 2nd Verified Software Competition (VSTTE 2012)
(* The 2nd Verified Software Competition (VSTTE 2012)
https://sites.google.com/site/vstte2012/compet
Problem 1:
Sorting an array
which contains only zeros and on
es, using swaps only *)
Sorting an array
of Boolean valu
es, using swaps only *)
module TwoWaySort
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment