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

Java front-end prototype #5702

Draft
wants to merge 86 commits into
base: master
Choose a base branch
from
Draft

Java front-end prototype #5702

wants to merge 86 commits into from

Commits on Aug 2, 2024

  1. Great stuff

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    1a31018 View commit details
    Browse the repository at this point in the history

  2. Improvement

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    434875a View commit details
    Browse the repository at this point in the history

  3. Remove the printing foresight for now

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    dd35b37 View commit details
    Browse the repository at this point in the history

  4. Added printer and grammar APIs

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    6e8b8a2 View commit details
    Browse the repository at this point in the history

  5. Cleanup

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    f34cafa View commit details
    Browse the repository at this point in the history

  6. Little bit more progress

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    da31097 View commit details
    Browse the repository at this point in the history

  7. Introduce orientation

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    fd39930 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2024

  1. Add division

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    e9b6a0a View commit details
    Browse the repository at this point in the history

  2. Add parameterless constructors

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    e873de8 View commit details
    Browse the repository at this point in the history

  3. Fix reference related errors

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    7846eef View commit details
    Browse the repository at this point in the history

  4. Fixed all the reference errors. Only one remaining error

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    609e92a View commit details
    Browse the repository at this point in the history

  5. Trying to add actual parser

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    3e89cab View commit details
    Browse the repository at this point in the history

  6. Good progress

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    e7e0a1a View commit details
    Browse the repository at this point in the history

  7. Some tests

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    994bd85 View commit details
    Browse the repository at this point in the history

  8. Small refactoring

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    09d4453 View commit details
    Browse the repository at this point in the history

  9. Bunch of parse tests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    536a67a View commit details
    Browse the repository at this point in the history

  10. Added test

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    84f8edf View commit details
    Browse the repository at this point in the history

  11. Manual trivia test passes

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    da3e68c View commit details
    Browse the repository at this point in the history

  12. Save before sequence refactoring

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    11c6929 View commit details
    Browse the repository at this point in the history

  13. Did most of sequence refactoring

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    93ec82a View commit details
    Browse the repository at this point in the history

  14. Use IEnumerable instead of List, for Many

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    62d496a View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2024

  1. Basic implementation of AddTrivia

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    c7fe48c View commit details
    Browse the repository at this point in the history

  2. Fix issue with incorrect recursives parameter

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    32f95c0 View commit details
    Browse the repository at this point in the history

  3. TestMany succeeds for Grammar

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    523cd0e View commit details
    Browse the repository at this point in the history

  4. TestGrammar tests pass now

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    ecc4206 View commit details
    Browse the repository at this point in the history

  5. Fixed readonly issues of Dafny AST

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    1d39e2e View commit details
    Browse the repository at this point in the history

  6. More work towards AddComments working

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    f67a50f View commit details
    Browse the repository at this point in the history

  7. Improved error handling

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    6a37f7f View commit details
    Browse the repository at this point in the history

  8. Fix error message issue

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    74a747d View commit details
    Browse the repository at this point in the history

  9. Changes so the comment addition might work

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    6a2913a View commit details
    Browse the repository at this point in the history

  10. Progress

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    f175e8d View commit details
    Browse the repository at this point in the history

  11. Do not use fail

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    7ad2d01 View commit details
    Browse the repository at this point in the history

  12. Tiny Java program parses

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    2f04d5b View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. IDE test shows diagnostics error for vjava

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    5bf2545 View commit details
    Browse the repository at this point in the history

  2. Added SafeDivision test

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8ae0505 View commit details
    Browse the repository at this point in the history

  3. Go to definition works

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    84201ca View commit details
    Browse the repository at this point in the history

  4. Navigation tests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    7943207 View commit details
    Browse the repository at this point in the history

  5. Support requires clause and add draft of run test

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    79625e0 View commit details
    Browse the repository at this point in the history

  6. Run improvements

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    97785eb View commit details
    Browse the repository at this point in the history

  7. Run works, except that we need to refer to in32

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    823ede9 View commit details
    Browse the repository at this point in the history

  8. Add comments to run file

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    3ac3b1b View commit details
    Browse the repository at this point in the history

  9. Update language server document selector

    @keyboardDrummer
    keyboardDrummer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    b60bf10 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Improve parser error reporting using fail grammars

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    07fe19c View commit details
    Browse the repository at this point in the history

  2. Implemented Print features

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    c85eb4b View commit details
    Browse the repository at this point in the history

  3. First results from printer test

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    4f9b287 View commit details
    Browse the repository at this point in the history

  4. Printer almost works as desired

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    dbff27a View commit details
    Browse the repository at this point in the history

  5. Printed java is equal to the input

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    9d8d329 View commit details
    Browse the repository at this point in the history

  6. Draft for vjava backend

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    b6fdbeb View commit details
    Browse the repository at this point in the history

  7. Work on the vjava backend

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    07ed2a7 View commit details
    Browse the repository at this point in the history

  8. Descent demo state

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    ab055c7 View commit details
    Browse the repository at this point in the history

  9. Improve function definition

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    5fa6795 View commit details
    Browse the repository at this point in the history

  10. Cleanup

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    6fc26fc View commit details
    Browse the repository at this point in the history

  11. Test second example parses

    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    d12c462 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Small tweaks

    @keyboardDrummer
    keyboardDrummer committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    d66bc86 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Various fixes

    @keyboardDrummer
    keyboardDrummer committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    6fc340b View commit details
    Browse the repository at this point in the history

  2. Extend Java grammar

    @keyboardDrummer
    keyboardDrummer committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    cf2ead9 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Add char grammar

    @keyboardDrummer
    keyboardDrummer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    1c954c8 View commit details
    Browse the repository at this point in the history

  2. Progress

    @keyboardDrummer
    keyboardDrummer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    c0c9c79 View commit details
    Browse the repository at this point in the history

  3. Parsing succeeds

    @keyboardDrummer
    keyboardDrummer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    056b04d View commit details
    Browse the repository at this point in the history

  4. Type resolution error

    @keyboardDrummer
    keyboardDrummer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    cd3748f View commit details
    Browse the repository at this point in the history

  5. Save before dealing with <==>

    @keyboardDrummer
    keyboardDrummer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    7c14dad View commit details
    Browse the repository at this point in the history

  6. Add operator precedence

    @keyboardDrummer
    keyboardDrummer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    e9bb86f View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Fewer errors

    @keyboardDrummer
    keyboardDrummer committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    0b2cf27 View commit details
    Browse the repository at this point in the history

  2. Fix tokens

    @keyboardDrummer
    keyboardDrummer committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    989c704 View commit details
    Browse the repository at this point in the history

  3. Parsing seems good

    @keyboardDrummer
    keyboardDrummer committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    8415712 View commit details
    Browse the repository at this point in the history

  4. Passed resolver, but getting verification errors

    @keyboardDrummer
    keyboardDrummer committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    ba077f3 View commit details
    Browse the repository at this point in the history

  5. Verification passes

    @keyboardDrummer
    keyboardDrummer committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    ed95abf View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Experiments with caching

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    72ad849 View commit details
    Browse the repository at this point in the history

  2. Some caching improvements

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    4fa6670 View commit details
    Browse the repository at this point in the history

  3. Attempt at optimization that introduces a bug

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    850c904 View commit details
    Browse the repository at this point in the history

  4. Add debugName to recursive

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    6f7d68f View commit details
    Browse the repository at this point in the history

  5. TestComplicated

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    616b068 View commit details
    Browse the repository at this point in the history

  6. Turn on cache

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    90777bc View commit details
    Browse the repository at this point in the history

  7. Further simplifications

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    b4cf6fb View commit details
    Browse the repository at this point in the history

  8. Fixes and comment

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    9840d9a View commit details
    Browse the repository at this point in the history

  9. Add more comments

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    dc5a1fa View commit details
    Browse the repository at this point in the history

  10. Tests pass again

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    9d124a8 View commit details
    Browse the repository at this point in the history

  11. Fixes

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    dabf18a View commit details
    Browse the repository at this point in the history

  12. Add reason and remove some unused caching

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    56705c1 View commit details
    Browse the repository at this point in the history

  13. Fix printing

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    e37fca6 View commit details
    Browse the repository at this point in the history

  14. Some printing fixes

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    9a952ef View commit details
    Browse the repository at this point in the history

  15. Some printing error reporting

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    eab38f5 View commit details
    Browse the repository at this point in the history

  16. Slightly better printing error reporting

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    290d379 View commit details
    Browse the repository at this point in the history

  17. Small printing progress

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    dd90aaf View commit details
    Browse the repository at this point in the history

  18. Better printing error messaging

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    06063e6 View commit details
    Browse the repository at this point in the history

  19. Some more fixes

    @keyboardDrummer
    keyboardDrummer committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    2318238 View commit details
    Browse the repository at this point in the history