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

Documenting compilation errors #3341

Merged
merged 235 commits into from
Jan 12, 2023
Merged

Documenting compilation errors #3341

merged 235 commits into from
Jan 12, 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. Initial edits on documenting error messages

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

  2. Initial edits on documenting error messages

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

  3. Initial edits on documenting error messages

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

  4. More editing

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

  5. Fixing typose

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

  6. Fixing layout

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

  7. Tinkering with style

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

  8. Tinkering with style

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

  9. Tinkering with style

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

  10. Tinkering with style

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

  11. Tinkering with style

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

  12. Tinkering with style

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

  13. Tinkering with style

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

  14. More editing

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

  15. 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. Merge branch 'master' of https://github.com/dafny-lang/dafny

    davidcok committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    d72c416 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 Dec 16, 2022
    Configuration menu
    Copy the full SHA
    9ef66f0 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

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

    davidcok committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    d0a57a9 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 20, 2022
    Configuration menu
    Copy the full SHA
    917c5b9 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2022

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

    davidcok committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    4b7b4ed 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 21, 2022
    Configuration menu
    Copy the full SHA
    8008caa 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 Dec 21, 2022
    Configuration menu
    Copy the full SHA
    26eca7f 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 Dec 21, 2022
    Configuration menu
    Copy the full SHA
    06930ef View commit details
    Browse the repository at this point in the history

  5. Conflict resolution

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

Commits on Dec 22, 2022

  1. Checkpoint

    davidcok committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    889d5ed 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 22, 2022
    Configuration menu
    Copy the full SHA
    271c77b View commit details
    Browse the repository at this point in the history

  3. Conflict resolution

    davidcok committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    415e8e6 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 Dec 22, 2022
    Configuration menu
    Copy the full SHA
    f3ce788 View commit details
    Browse the repository at this point in the history

  5. Checkpoint

    davidcok committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    92acaf1 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 Dec 22, 2022
    Configuration menu
    Copy the full SHA
    5485716 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 Dec 22, 2022
    Configuration menu
    Copy the full SHA
    4096c4c View commit details
    Browse the repository at this point in the history

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

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

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

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

Commits on Dec 23, 2022

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

    davidcok committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    04c0277 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 23, 2022
    Configuration menu
    Copy the full SHA
    22a34bd 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 Dec 23, 2022
    Configuration menu
    Copy the full SHA
    a90bfb9 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 Dec 23, 2022
    Configuration menu
    Copy the full SHA
    07ec7ec View commit details
    Browse the repository at this point in the history

  5. Merge conflict

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

  6. Checkpoint

    davidcok committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    c1a3b09 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 Dec 23, 2022
    Configuration menu
    Copy the full SHA
    46b373e View commit details
    Browse the repository at this point in the history

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

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

  9. Merge branch 'master' into cok-2487

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

Commits on Dec 24, 2022

  1. Checkpoint

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

  2. Checkpoint

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

  3. Improving error recovery and simplifying grammar

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

  4. Bug fix in revised grammar

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

  5. Debugging grarmmar changes

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

  6. Removing unused files

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

  7. Debugging fixes

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

  8. Touchup to a test

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

  9. Touching up tests

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

  10. More test touchups

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

Commits on Dec 25, 2022

  1. Test touchup

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

  2. Markdown touchups

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

  3. Making headings bold

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

  4. More tweaks to markdown

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

  5. Reordering to match .atg file

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

  6. More edits

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

  7. More tweaks

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

  8. Edits to the markdown pages

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

  9. Test touchups

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

  10. More tests fixed

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

  11. Better recovery from provides-reveals-comma problem

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

  12. Improve parser for provides-reveals-comma problem

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

  13. Fixing some LL warnings

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

  14. More LL warning resolution

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

  15. Fix parser error

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

  16. Fixing up more LL ambiguities

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

Commits on Dec 26, 2022

  1. Resolving LL ambiguity warnings

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

  2. Reverting change to ModuleExport

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

Commits on Dec 27, 2022

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

    davidcok committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    2a105e3 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 27, 2022
    Configuration menu
    Copy the full SHA
    dd74785 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2022

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

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

Commits on Dec 29, 2022

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

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

  2. Update docs/HowToFAQ/Errors-Compiler.md 

    Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
    @davidcok @MikaelMayer
    davidcok and MikaelMayer authored Dec 29, 2022
    Configuration menu
    Copy the full SHA
    5a7cd03 View commit details
    Browse the repository at this point in the history

  3. Update docs/HowToFAQ/Errors-Parser.md 

    Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
    @davidcok @MikaelMayer
    davidcok and MikaelMayer authored Dec 29, 2022
    Configuration menu
    Copy the full SHA
    810c360 View commit details
    Browse the repository at this point in the history

  4. Update docs/HowToFAQ/Errors-Parser.md 

    Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
    @davidcok @MikaelMayer
    davidcok and MikaelMayer authored Dec 29, 2022
    Configuration menu
    Copy the full SHA
    7d191b7 View commit details
    Browse the repository at this point in the history

  5. Update docs/HowToFAQ/Errors-Parser.md 

    Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
    @davidcok @MikaelMayer
    davidcok and MikaelMayer authored Dec 29, 2022
    Configuration menu
    Copy the full SHA
    5964583 View commit details
    Browse the repository at this point in the history

  6. Review edits

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

  7. typo

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

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

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

  9. Merge branch 'cok-2487' of https://github.com/davidcok/dafny into cok… 

    …-2487
    davidcok committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    2b18e7f View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2022

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

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

  2. Conflict resolution

    davidcok committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    9824f0e 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 Dec 30, 2022
    Configuration menu
    Copy the full SHA
    29af14d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into cok-2487

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

Commits on Dec 31, 2022

  1. improving error message about refining datatypes and newtypes

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

  2. Merge branch 'cok-2487' of https://github.com/davidcok/dafny into cok… 

    …-2487
    davidcok committed Dec 31, 2022
    Configuration menu
    Copy the full SHA
    3f28a6b 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 Dec 31, 2022
    Configuration menu
    Copy the full SHA
    a322ff5 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into cok-2487

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

Commits on Jan 2, 2023

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

    davidcok committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    7091bdd View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2023

  1. Review comments

    davidcok committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    f868d68 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 Jan 3, 2023
    Configuration menu
    Copy the full SHA
    f62aeab View commit details
    Browse the repository at this point in the history

  3. Master rebasae conflict

    davidcok committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    350cc1e View commit details
    Browse the repository at this point in the history

  4. More review touchup

    davidcok committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    29c1a75 View commit details
    Browse the repository at this point in the history

  5. Comment clarification

    davidcok committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    09fc024 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. RUnning nightly-tests only on main repo

    davidcok committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    6f30d24 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 Jan 4, 2023
    Configuration menu
    Copy the full SHA
    ab590c1 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 Jan 4, 2023
    Configuration menu
    Copy the full SHA
    e8784ea View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2023

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

    davidcok committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    4ea5f26 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2023

  1. working and nearly complete compilation tests

    davidcok committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    4c37481 View commit details
    Browse the repository at this point in the history

  2. Slight corrections

    davidcok committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    db99768 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 Jan 8, 2023
    Configuration menu
    Copy the full SHA
    9cb7aae View commit details
    Browse the repository at this point in the history

  4. More edits and cleanup of testing

    davidcok committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    2d6996a View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. Copy edits of the Compiler section

    davidcok committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    e117a9a View commit details
    Browse the repository at this point in the history

  2. A few more copy edits

    davidcok committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    8de90df View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2023

  1. Update Source/DafnyCore/Compilers/SinglePassCompiler.cs 

    Co-authored-by: stefan-aws <120379523+stefan-aws@users.noreply.github.com>
    @davidcok @stefan-aws
    davidcok and stefan-aws authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    9f2b22c View commit details
    Browse the repository at this point in the history

  2. Update docs/check-examples 

    Co-authored-by: stefan-aws <120379523+stefan-aws@users.noreply.github.com>
    @davidcok @stefan-aws
    davidcok and stefan-aws authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    10bb249 View commit details
    Browse the repository at this point in the history

  3. Update docs/HowToFAQ/Errors-Compiler.md 

    Co-authored-by: Aaron Tomb <aarontomb@gmail.com>
    @davidcok @atomb
    davidcok and atomb authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    1769d69 View commit details
    Browse the repository at this point in the history

  4. Update docs/HowToFAQ/Errors-Compiler.md 

    Co-authored-by: Aaron Tomb <aarontomb@gmail.com>
    @davidcok @atomb
    davidcok and atomb authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    baa330e View commit details
    Browse the repository at this point in the history

  5. Update docs/HowToFAQ/Errors-Compiler.md 

    Co-authored-by: Aaron Tomb <aarontomb@gmail.com>
    @davidcok @atomb
    davidcok and atomb authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    afd030f View commit details
    Browse the repository at this point in the history

  6. Review comments

    davidcok committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    ef4361e View commit details
    Browse the repository at this point in the history

  7. More review comments

    davidcok committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    afcc048 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into cok-2487

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

  9. Reverting change to temp file name because it means changing the expe… 

    …cted files
    davidcok committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    76766a3 View commit details
    Browse the repository at this point in the history

  10. Update docs/HowToFAQ/Errors-Compiler.md 

    Co-authored-by: Aaron Tomb <aarontomb@gmail.com>
    @davidcok @atomb
    davidcok and atomb authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    3eff1b6 View commit details
    Browse the repository at this point in the history

  11. Update docs/HowToFAQ/Errors-Compiler.md 

    Co-authored-by: Aaron Tomb <aarontomb@gmail.com>
    @davidcok @atomb
    davidcok and atomb authored Jan 11, 2023
    Configuration menu
    Copy the full SHA
    9dff05f View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2023

  1. Formatting

    davidcok committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    89385bd View commit details
    Browse the repository at this point in the history

  2. Test fixes

    davidcok committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    1ca8209 View commit details
    Browse the repository at this point in the history

  3. Test fix

    davidcok committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    82174f7 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into cok-2487

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

  5. Test fixes

    davidcok committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    21f47a0 View commit details
    Browse the repository at this point in the history

  6. Test correction

    davidcok committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    633bdd7 View commit details
    Browse the repository at this point in the history

  7. Update docs/HowToFAQ/Errors-Parser.md 

    Co-authored-by: stefan-aws <120379523+stefan-aws@users.noreply.github.com>
    @davidcok @stefan-aws
    davidcok and stefan-aws authored Jan 12, 2023
    Configuration menu
    Copy the full SHA
    e92d005 View commit details
    Browse the repository at this point in the history

  8. Update docs/HowToFAQ/Errors-Parser.md 

    Co-authored-by: stefan-aws <120379523+stefan-aws@users.noreply.github.com>
    @davidcok @stefan-aws
    davidcok and stefan-aws authored Jan 12, 2023
    Configuration menu
    Copy the full SHA
    cf872ee View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into cok-2487

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