Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Documentation snapshot for V3.10.0 #3208

Merged
merged 118 commits into from
Jan 9, 2023
Merged

Documentation snapshot for V3.10.0 #3208

Changes from 112 commits
Commits
Show all changes
118 commits
Select commit Hold shift + click to select a range
97ac9b6
Adding quicktest
Jan 29, 2021
87f0eee
Edit per comment from Remy
Jul 14, 2022
848ae6b
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 14, 2022
4194195
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 14, 2022
9b54f5f
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 14, 2022
be99f87
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 14, 2022
c706f5d
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 15, 2022
63e22eb
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 15, 2022
22d7433
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 15, 2022
78c577d
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 15, 2022
5795f9f
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 19, 2022
044c107
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 19, 2022
69e27cf
Merge branch 'master' into cok-quicktest
davidcok Jul 20, 2022
f42c745
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 20, 2022
9e92bd8
Merge branch 'master' into cok-quicktest
davidcok Jul 20, 2022
92825dc
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 20, 2022
e201a77
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 21, 2022
e02d6ce
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 22, 2022
0465b15
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 22, 2022
68f52ce
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 22, 2022
fe933e2
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 22, 2022
6f34117
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 22, 2022
c396e83
Merge branch 'master' of https://github.com/dafny-lang/dafny
Jul 27, 2022
433c824
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 10, 2022
82c8060
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 11, 2022
7859237
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 15, 2022
8bd7d03
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 16, 2022
42be55b
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 17, 2022
7ef5288
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 18, 2022
98c5e41
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 18, 2022
9f1e92c
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 21, 2022
d78800a
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 24, 2022
dc2f742
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 25, 2022
8b4e194
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 25, 2022
c292bae
Merge branch 'master' of https://github.com/dafny-lang/dafny
Aug 26, 2022
50702f8
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 1, 2022
c49f8a3
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 1, 2022
9c68747
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 1, 2022
aee08f5
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 2, 2022
6bba113
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 2, 2022
032e12a
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 6, 2022
e11fd63
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 7, 2022
24921df
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 14, 2022
2e3a81f
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 18, 2022
91e05eb
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 20, 2022
ba9f954
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 21, 2022
47815c1
Checking included files
Sep 21, 2022
956e476
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 24, 2022
5aa1aa9
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 26, 2022
834cee3
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 27, 2022
f6b3d49
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 27, 2022
977b36a
Merge branch 'cok-quicktest' of https://github.com/davidcok/dafny
Sep 29, 2022
043986b
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 29, 2022
710f269
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 29, 2022
ea10461
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 29, 2022
09591e8
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 29, 2022
408f44e
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 29, 2022
02ffee4
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 29, 2022
c99fbe9
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 30, 2022
f4d4a02
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 30, 2022
448cb44
Merge branch 'master' of https://github.com/dafny-lang/dafny
Sep 30, 2022
a1e28fd
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 3, 2022
77f4e1f
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 4, 2022
c8dc66a
Link to snapshot for v3.9.0
Oct 4, 2022
30165e3
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 4, 2022
ad14c5c
Link to snapshot for v3.9.0
Oct 4, 2022
f9d72de
Link to snapshot for v3.9.0
Oct 4, 2022
a60dd9a
Fixing Snapshot file
Oct 5, 2022
c04d360
Some typos and workding changes
Oct 5, 2022
48ccd27
Edits to use the language of greatest predicates and greatest lemmas
Oct 5, 2022
f3ed37b
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 5, 2022
9a34972
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 6, 2022
4389f19
Conflict resolution
Oct 6, 2022
473be16
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 7, 2022
0559d39
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 7, 2022
23ed17e
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 25, 2022
b4a9a3b
Merge branch 'master' of https://github.com/dafny-lang/dafny
Oct 25, 2022
bd94cc5
Merge remote-tracking branch 'upstream/master'
Oct 28, 2022
ceb95b7
Merge remote-tracking branch 'upstream/master'
Oct 28, 2022
e7d5dea
Merge remote-tracking branch 'upstream/master'
Oct 28, 2022
b49eeda
Merge remote-tracking branch 'upstream/master'
Oct 29, 2022
ef86f34
Merge remote-tracking branch 'upstream/master'
Nov 3, 2022
12a7f03
Merge remote-tracking branch 'upstream/master'
Nov 4, 2022
bfab006
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 7, 2022
d4deeb6
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 8, 2022
f12cc28
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 18, 2022
6820ca2
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 18, 2022
9d3411f
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 20, 2022
5bd3845
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 21, 2022
b548d41
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 21, 2022
ae1e30c
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 21, 2022
b527539
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 21, 2022
0713e90
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 23, 2022
f1e788e
just touching
Nov 28, 2022
4510b5d
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 29, 2022
a07d7a1
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 29, 2022
48455cc
Spurious edit on master
Nov 30, 2022
125c70e
Merge branch 'master' of https://github.com/dafny-lang/dafny
Nov 30, 2022
1fd6798
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 1, 2022
1c47231
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 2, 2022
f757e02
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 2, 2022
266e045
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 8, 2022
56b04e5
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 9, 2022
57c7af0
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 9, 2022
85be9ee
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 12, 2022
be76074
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 13, 2022
c8fed8b
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 14, 2022
9eee8f1
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 15, 2022
29864c7
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 15, 2022
94970bb
Merge branch 'master' of https://github.com/dafny-lang/dafny
Dec 16, 2022
8651ef2
Documentation snapshot for v3.10.0
Dec 16, 2022
e365f96
Merge branch 'master' into v3.10.0
davidcok Dec 16, 2022
9b85186
Merge branch 'master' into v3.10.0
davidcok Dec 16, 2022
708dc71
Merge branch 'master' into v3.10.0
davidcok Dec 16, 2022
683fd11
Merge branch 'master' into v3.10.0
davidcok Dec 16, 2022
b62eda2
Merge branch 'master' into v3.10.0
davidcok Jan 7, 2023
c3a06e1
Merge branch 'master' into v3.10.0
davidcok Jan 8, 2023
b67fdb3
Merge branch 'master' into v3.10.0
davidcok Jan 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/Snapshots.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,5 +7,6 @@ layout: default

- [Current development version](https://dafny.org/dafny)
- [Latest release snapshot](https://dafny.org/latest)
- [v3.10.0](https://dafny.org/v3.10.0)
- [v3.9.1](https://dafny.org/v3.9.1)
- [v3.9.0](https://dafny.org/v3.9.0)