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
ab6d46a4
Commit
ab6d46a4
authored
Sep 08, 2011
by
Jean-Christophe Filliâtre
Browse files
n-queens: commenting out the bits version
parent
c053d61f
Changes
2
Expand all
Hide whitespace changes
Inline
Side-by-side
examples/programs/queens.mlw
View file @
ab6d46a4
...
...
@@ -163,6 +163,8 @@ end
(* 2. More realistic code with bitwise operations **************************)
(***
theory BitwiseArithmetic
use export int.Int
...
...
@@ -298,6 +300,8 @@ module NQueensBits
end
***)
(*
Local Variables:
compile-command: "unset LANG; make -C ../.. examples/programs/queens.gui"
...
...
examples/programs/queens/why3session.xml
View file @
ab6d46a4
This diff is collapsed.
Click to expand it.
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