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

merged 118 commits into from
Jan 9, 2023

Commits on Jan 29, 2021

  1. Adding quicktest

    davidcok committed Jan 29, 2021
    Configuration menu
    Copy the full SHA
    97ac9b6 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. Edit per comment from Remy

    davidcok committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    87f0eee View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    848ae6b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    4194195 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    9b54f5f View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    be99f87 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

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

    davidcok committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    c706f5d View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    63e22eb View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    22d7433 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    78c577d View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2022

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

    davidcok committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    5795f9f View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    044c107 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2022

  1. Merge branch 'master' into cok-quicktest

    @davidcok
    davidcok authored Jul 20, 2022
    Configuration menu
    Copy the full SHA
    69e27cf View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    f42c745 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into cok-quicktest

    @davidcok
    davidcok authored Jul 20, 2022
    Configuration menu
    Copy the full SHA
    9e92bd8 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    92825dc View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

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

    davidcok committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    e201a77 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2022

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

    davidcok committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    e02d6ce View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    0465b15 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    68f52ce View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    fe933e2 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    6f34117 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2022

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

    davidcok committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    c396e83 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

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

    davidcok committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    433c824 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

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

    davidcok committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    82c8060 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

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

    davidcok committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    7859237 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2022

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

    davidcok committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    8bd7d03 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2022

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

    davidcok committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    42be55b View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2022

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

    davidcok committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    7ef5288 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    98c5e41 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2022

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

    davidcok committed Aug 21, 2022
    Configuration menu
    Copy the full SHA
    9f1e92c View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

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

    davidcok committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    d78800a View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2022

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

    davidcok committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    dc2f742 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    8b4e194 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

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

    davidcok committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    c292bae View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

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

    davidcok committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    50702f8 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    c49f8a3 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    9c68747 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

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

    davidcok committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    aee08f5 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    6bba113 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

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

    davidcok committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    032e12a View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2022

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

    davidcok committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    e11fd63 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2022

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

    davidcok committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    24921df View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2022

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

    davidcok committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    2e3a81f View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

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

    davidcok committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    91e05eb View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

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

    davidcok committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    ba9f954 View commit details
    Browse the repository at this point in the history

  2. Checking included files

    davidcok committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    47815c1 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2022

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

    davidcok committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    956e476 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

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

    davidcok committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    5aa1aa9 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2022

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

    davidcok committed Sep 27, 2022
    Configuration menu
    Copy the full SHA
    834cee3 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 27, 2022
    Configuration menu
    Copy the full SHA
    f6b3d49 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2022

  1. Merge branch 'cok-quicktest' of https://github.com/davidcok/dafny

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    977b36a View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    043986b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    710f269 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    ea10461 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    09591e8 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    408f44e View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    02ffee4 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

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

    davidcok committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    c99fbe9 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    f4d4a02 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    448cb44 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2022

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

    davidcok committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    a1e28fd View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2022

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

    davidcok committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    77f4e1f View commit details
    Browse the repository at this point in the history

  2. Link to snapshot for v3.9.0

    davidcok committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    c8dc66a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    30165e3 View commit details
    Browse the repository at this point in the history

  4. Link to snapshot for v3.9.0

    davidcok committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    ad14c5c View commit details
    Browse the repository at this point in the history

  5. Link to snapshot for v3.9.0

    davidcok committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    f9d72de View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2022

  1. Fixing Snapshot file

    davidcok committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    a60dd9a View commit details
    Browse the repository at this point in the history

  2. Some typos and workding changes

    davidcok committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    c04d360 View commit details
    Browse the repository at this point in the history

  3. Edits to use the language of greatest predicates and greatest lemmas

    davidcok committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    48ccd27 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    f3ed37b View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2022

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

    davidcok committed Oct 6, 2022
    Configuration menu
    Copy the full SHA
    9a34972 View commit details
    Browse the repository at this point in the history

  2. Conflict resolution

    davidcok committed Oct 6, 2022
    Configuration menu
    Copy the full SHA
    4389f19 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2022

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

    davidcok committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    473be16 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    0559d39 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2022

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

    davidcok committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    23ed17e View commit details
    Browse the repository at this point in the history

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

    davidcok committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    b4a9a3b View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2022

  1. Merge remote-tracking branch 'upstream/master'

    davidcok committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    bd94cc5 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master'

    davidcok committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    ceb95b7 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/master'

    davidcok committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    e7d5dea View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2022

  1. Merge remote-tracking branch 'upstream/master'

    davidcok committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    b49eeda View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2022

  1. Merge remote-tracking branch 'upstream/master'

    davidcok committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    ef86f34 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. Merge remote-tracking branch 'upstream/master'

    davidcok committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    12a7f03 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2022

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

    davidcok committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    bfab006 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2022

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

    davidcok committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    d4deeb6 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2022

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

    davidcok committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    f12cc28 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    6820ca2 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2022

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

    davidcok committed Nov 20, 2022
    Configuration menu
    Copy the full SHA
    9d3411f View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2022

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

    davidcok committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    5bd3845 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    b548d41 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    ae1e30c View commit details
    Browse the repository at this point in the history

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

    davidcok committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    b527539 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

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

    davidcok committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    0713e90 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2022

  1. just touching

    davidcok committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    f1e788e View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2022

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

    davidcok committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    4510b5d View commit details
    Browse the repository at this point in the history

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

    davidcok committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    a07d7a1 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2022

  1. Spurious edit on master

    davidcok committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    48455cc View commit details
    Browse the repository at this point in the history

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

    davidcok committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    125c70e View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2022

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

    davidcok committed Dec 1, 2022
    Configuration menu
    Copy the full SHA
    1fd6798 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2022

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

    davidcok committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    1c47231 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    f757e02 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2022

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

    davidcok committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    266e045 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2022

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

    davidcok committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    56b04e5 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    57c7af0 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2022

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

    davidcok committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    85be9ee View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2022

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

    davidcok committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    be76074 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2022

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

    davidcok committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    c8fed8b View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2022

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

    davidcok committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    9eee8f1 View commit details
    Browse the repository at this point in the history

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

    davidcok committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    29864c7 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

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

    davidcok committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    94970bb View commit details
    Browse the repository at this point in the history

  2. Documentation snapshot for v3.10.0

    davidcok committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    8651ef2 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    e365f96 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    9b85186 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    708dc71 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    683fd11 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2023

  1. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Jan 7, 2023
    Configuration menu
    Copy the full SHA
    b62eda2 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2023

  1. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Jan 8, 2023
    Configuration menu
    Copy the full SHA
    c3a06e1 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2023

  1. Merge branch 'master' into v3.10.0

    @davidcok
    davidcok authored Jan 9, 2023
    Configuration menu
    Copy the full SHA
    b67fdb3 View commit details
    Browse the repository at this point in the history