cok 2838 - #2

Open

davidcok wants to merge 214 commits into

Commits on Jan 29, 2021

Adding quicktest
davidcok
committed
97ac9b6

Commits on Jul 14, 2022

Edit per comment from Remy
davidcok
committed
87f0eee
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
848ae6b
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
4194195
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9b54f5f
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
be99f87

Commits on Jul 15, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
c706f5d
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
63e22eb
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
22d7433
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
78c577d

Commits on Jul 19, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
5795f9f
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
044c107

Commits on Jul 20, 2022

Merge branch 'master' into cok-quicktest
davidcok
authored
69e27cf
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f42c745
Merge branch 'master' into cok-quicktest
davidcok
authored
9e92bd8
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
92825dc

Commits on Jul 21, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
e201a77

Commits on Jul 22, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
e02d6ce
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
0465b15
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
68f52ce
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
fe933e2
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
6f34117

Commits on Jul 27, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
c396e83

Commits on Aug 10, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
433c824

Commits on Aug 11, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
82c8060

Commits on Aug 15, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
7859237

Commits on Aug 16, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
8bd7d03

Commits on Aug 17, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
42be55b

Commits on Aug 18, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
7ef5288
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
98c5e41

Commits on Aug 21, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9f1e92c

Commits on Aug 24, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
d78800a

Commits on Aug 25, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
dc2f742
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
8b4e194

Commits on Aug 26, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
c292bae

Commits on Sep 1, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
50702f8
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
c49f8a3
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9c68747

Commits on Sep 2, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
aee08f5
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
6bba113

Commits on Sep 6, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
032e12a

Commits on Sep 7, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
e11fd63

Commits on Sep 14, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
24921df

Commits on Sep 18, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
2e3a81f

Commits on Sep 20, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
91e05eb

Commits on Sep 21, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
ba9f954
Checking included files
davidcok
committed
47815c1

Commits on Sep 24, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
956e476

Commits on Sep 26, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
5aa1aa9

Commits on Sep 27, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
834cee3
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f6b3d49

Commits on Sep 29, 2022

Merge branch 'cok-quicktest' of https://github.com/davidcok/dafny
davidcok
committed
977b36a
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
043986b
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
710f269
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
ea10461
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
09591e8
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
408f44e
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
02ffee4

Commits on Sep 30, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
c99fbe9
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f4d4a02
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
448cb44

Commits on Oct 3, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
a1e28fd
Misc changes with the docs reorganization
davidcok
committed
d36f89b

Commits on Oct 4, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
77f4e1f
Link to snapshot for v3.9.0
davidcok
committed
c8dc66a
Updated make-snapshot
davidcok
committed
7006d9a
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
30165e3
Reinstating the RELEASE.md
davidcok
committed
28c2a59
Link to snapshot for v3.9.0
davidcok
committed
ad14c5c
Link to snapshot for v3.9.0
davidcok
committed
f9d72de
Repair to script
davidcok
committed
8c36e0e
Reverting move of RELEASE.md
davidcok
committed
96b715e
Merge branch 'master' into cok-2838
davidcok
authored
b5b7ad5
Review edits
davidcok
committed
6fa1c88
Merge branch 'cok-2838' of https://github.com/davidcok/dafny into cok-2838
davidcok
committed
fa8f452
Merge branch 'master' into cok-2838
davidcok
committed
0bf6835
Fixing Snapshots.md
davidcok
committed
5eb45b7
A missing copy
davidcok
committed
bf35aac

Commits on Oct 5, 2022

Fixing Snapshot file
davidcok
committed
a60dd9a
Some typos and workding changes
davidcok
committed
c04d360
Edits to use the language of greatest predicates and greatest lemmas
davidcok
committed
48ccd27
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f3ed37b

Commits on Oct 6, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9a34972
Merge branch 'master' into cok-2838
davidcok
committed
d56e66f
Conflict resolution
davidcok
committed
4389f19

Commits on Oct 7, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
473be16
Merge branch 'master' into cok-2838
davidcok
committed
f39c116
Reverting a change that does not belong in this PR
davidcok
committed
5b05aa0
Merge branch 'master' into cok-2838
davidcok
authored
55a93b9
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
0559d39
Merge branch 'master' into cok-2838
davidcok
authored
6f7d665

Commits on Oct 25, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
23ed17e
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
b4a9a3b

Commits on Oct 28, 2022

Merge conflicts
davidcok
committed
d20dcb3
Edits to snapshot procedure
davidcok
committed
722baef
Merge remote-tracking branch 'upstream/master' into cok-2838
davidcok
committed
375280e
Merge remote-tracking branch 'upstream/master'
davidcok
committed
bd94cc5
FIxing merge
davidcok
committed
d904631
Merge remote-tracking branch 'upstream/master'
davidcok
committed
ceb95b7
Merge remote-tracking branch 'upstream/master'
davidcok
committed
e7d5dea

Commits on Oct 29, 2022

Merge remote-tracking branch 'upstream/master'
davidcok
committed
b49eeda
Merge branch 'master' into cok-2838
davidcok
authored
2c17916

Commits on Nov 2, 2022

Merge branch 'master' into cok-2838
davidcok
authored
cbefceb
Merge branch 'master' into cok-2838
davidcok
authored
e26f557

Commits on Nov 3, 2022

Merge remote-tracking branch 'upstream/master'
davidcok
committed
ef86f34

Commits on Nov 4, 2022

Merge remote-tracking branch 'upstream/master'
davidcok
committed
12a7f03

Commits on Nov 7, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
bfab006

Commits on Nov 8, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
d4deeb6

Commits on Nov 18, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f12cc28
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
6820ca2

Commits on Nov 20, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9d3411f
Merge branch 'master' into cok-2838
davidcok
authored
8ae5735

Commits on Nov 21, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
5bd3845
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
b548d41
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
ae1e30c
Merge branch 'master' into cok-2838
davidcok
authored
fe7fabf
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
b527539

Commits on Nov 23, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
0713e90

Commits on Nov 28, 2022

just touching
davidcok
committed
f1e788e

Commits on Nov 29, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
4510b5d
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
a07d7a1

Commits on Nov 30, 2022

Spurious edit on master
davidcok
committed
48455cc
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
125c70e

Commits on Dec 1, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
1fd6798

Commits on Dec 2, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
1c47231
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f757e02

Commits on Dec 8, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
266e045

Commits on Dec 9, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
56b04e5
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
57c7af0

Commits on Dec 12, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
85be9ee

Commits on Dec 13, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
be76074

Commits on Dec 14, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
c8fed8b

Commits on Dec 15, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9eee8f1
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
29864c7

Commits on Dec 16, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
94970bb
Merge branch 'master' into cok-2838
davidcok
committed
047818e
Edits when making 3.10.0
davidcok
committed
5186fbb
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
d72c416
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9ef66f0

Commits on Dec 20, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
d0a57a9
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
917c5b9

Commits on Dec 21, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
4b7b4ed
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
8008caa
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
26eca7f
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
06930ef

Commits on Dec 22, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
271c77b
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f3ce788
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
5485716
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
4096c4c
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
a3d9f25
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
e76a535

Commits on Dec 23, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
04c0277
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
22a34bd
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
a90bfb9
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
07ec7ec
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
46b373e
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
6e86c02

Commits on Dec 27, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
2a105e3
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
dd74785

Commits on Dec 28, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
d44975e

Commits on Dec 29, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
5b5f6ea
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
d154427

Commits on Dec 30, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
a1fd105
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
29af14d

Commits on Dec 31, 2022

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
a322ff5

Commits on Jan 2, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
7091bdd

Commits on Jan 3, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
f62aeab

Commits on Jan 4, 2023

RUnning nightly-tests only on main repo
davidcok
committed
6f30d24
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
ab590c1
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
e8784ea

Commits on Jan 6, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
4ea5f26

Commits on Jan 8, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
9cb7aae

Commits on Jan 20, 2023

fix: Specify Python version in the integration tests (#3340)

fabiomadge
authored and
davidcok
committed
6a3706d
chore: Remove final `set-output` (#3342)

fabiomadge
authored and
davidcok
committed
9b05c3f
Documentation snapshot for V3.10.0 (#3208)

davidcok
and
davidcok
committed
83f2282
Initial C# port of auditor (#3175)

atomb
authored and
davidcok
committed
2082ca0
Improve Z3 detection (#3233)

atomb
authored and
davidcok
committed
5bf62da
Add a missing expression clone (#3346)

atomb
authored and
davidcok
committed
8ce274f
Use %diff instead of diff for test (#3349)

atomb
authored and
davidcok
committed
ea164ef
Add missing release notes (#3335)

authored and
davidcok
committed
6fd8891
Fix: Other CLI files that are not found do not trigger exceptions (#3331)

MikaelMayer
authored and
davidcok
committed
aa4f204
Cok retry induction tests (#3307)

davidcok
and
davidcok
committed
e878202
Documenting compilation errors (#3341)

committed
a472528
Revert "Cok retry induction tests (#3307)" (#3364)

keyboardDrummer
authored and
davidcok
committed
9811ada
Jar files, both library and executable, are now created as part of build on Java (#3355)

davidcok
and
davidcok
committed
60b6c66
Do not fail the deep test check on in progress runs (#3363)

keyboardDrummer
authored and
davidcok
committed
bb84559
Enable passing a percentage as a value for --cores (#3357)

keyboardDrummer
authored and
davidcok
committed
a19f44c
Fix: Proper warning that 'new' cannot be used in expressions, instead of a parse error (#3374)

authored and
davidcok
committed
a2fbc0e
Merge conflicts
davidcok
committed
56a6565
Merge conflict
davidcok
committed
df7c8d0
Link to snapshot for v3.9.0
davidcok
committed
5448b35
Merge remote-tracking branch 'upstream/master'
davidcok
committed
f11e7d0
FIxing diffs to upstream
davidcok
committed
5a0a032

Commits on Jan 23, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
0464a88

Commits on Jan 24, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
48e1a83
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
7aea103
Merge branch 'master' of https://github.com/davidcok/dafny
davidcok
committed
1b3fb64

Commits on Jan 25, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
42a99ef

Commits on Jan 31, 2023

Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
01de15d
Merge branch 'master' of https://github.com/davidcok/dafny
davidcok
committed
101a0d1
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
8f1fa1d

Commits on Feb 1, 2023

Merge branch 'cok-2838' of https://github.com/davidcok/dafny into cok-2838
davidcok
committed
6a3de4b
Merge branch 'master' of https://github.com/dafny-lang/dafny
davidcok
committed
66b628f
Merge branch 'master' into cok-2838
davidcok
committed
2989161
Edits to snapshot procedure
davidcok
committed
8c00814
Removing old script
davidcok
committed
e25034e
Merge branch 'master' of https://github.com/davidcok/dafny
davidcok
committed
cec9d52
Merge branch 'master' into cok-2838
davidcok
committed
636cd44
Updating the release instructions
davidcok
committed
75246e4
Updating instructions
davidcok
committed
763a81e
Checking for needed executables
davidcok
committed
54ac039
Tweak to instaructions
davidcok
committed
4115c98
Typo
davidcok
committed
b6184a2

Commits on Feb 3, 2023

Merge branch 'master' into cok-2838
davidcok
authored
d2e4ef9