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

Formatter #3034

Merged
merged 39 commits into from Mar 9, 2023
Merged

Formatter #3034

merged 39 commits into from Mar 9, 2023

Commits on Mar 9, 2023

  1. Remove WriterBackend, remove lots of impossible IOExceptions

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    581b171 View commit details
    Browse the repository at this point in the history

  2. Fix lots of warnings and remove dead code

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    50a41d5 View commit details
    Browse the repository at this point in the history

  3. Fix lots of warnings and remove dead code

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    f6aeafd View commit details
    Browse the repository at this point in the history

  4. Remove a quadrillion IOExceptions

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    e56336f View commit details
    Browse the repository at this point in the history

  5. Remove ProgramPrinter from interface, it's always overwritten

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    1de53aa View commit details
    Browse the repository at this point in the history

  6. Code cleanup

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    59af75e View commit details
    Browse the repository at this point in the history

  7. Code cleanup

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    f1652de View commit details
    Browse the repository at this point in the history

  8. Make layouter mark type generic

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    11eb9e8 View commit details
    Browse the repository at this point in the history

  9. Constant createPositionTable=true

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    c262499 View commit details
    Browse the repository at this point in the history

  10. Minor refactoring

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    bda7364 View commit details
    Browse the repository at this point in the history

  11. Refactor line width from backend

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    570ce32 View commit details
    Browse the repository at this point in the history

  12. Make Printer api more explicit

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    19d3f58 View commit details
    Browse the repository at this point in the history

  13. Remove line break from gui output

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    d7bc5aa View commit details
    Browse the repository at this point in the history

  14. New pretty printer on top of visitor

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    08b5968 View commit details
    Browse the repository at this point in the history

  15. Relative blocks and remove linked list usages

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    1ebc542 View commit details
    Browse the repository at this point in the history

  16. Better multi line splitting

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    7d8a191 View commit details
    Browse the repository at this point in the history

  17. Bring internal taclet printer to same format as key file formatter, f… 

    …ix jml assert
    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    6802675 View commit details
    Browse the repository at this point in the history

  18. Add warning when loop invariant is missing decreases clause

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    b4492b8 View commit details
    Browse the repository at this point in the history

  19. Fix smt beautifier test on Windows

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    a546e25 View commit details
    Browse the repository at this point in the history

  20. Remove colon from method frame

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    dfb95da View commit details
    Browse the repository at this point in the history

  21. Fix parsing issues with method-frame

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    47523f4 View commit details
    Browse the repository at this point in the history

  22. Remove newlines

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    7be3279 View commit details
    Browse the repository at this point in the history

  23. Deprecate old pretty printer

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    a513cc2 View commit details
    Browse the repository at this point in the history

  24. Remove some missed colons

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    2aa9992 View commit details
    Browse the repository at this point in the history

  25. Fix proof management dialog double click like the examples dialog

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    1f5e1ba View commit details
    Browse the repository at this point in the history

  26. Delete old pretty printer

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    b91db65 View commit details
    Browse the repository at this point in the history

  27. Fix tests

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    fba4380 View commit details
    Browse the repository at this point in the history

  28. Fix more tests

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    d7b561f View commit details
    Browse the repository at this point in the history

  29. Fix loop specs being lost without decreases

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    18a1fdf View commit details
    Browse the repository at this point in the history

  30. Use Java apis instead of CollectionUtil

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    b5fe5e2 View commit details
    Browse the repository at this point in the history

  31. Taclet equality oracle and fix transformers pretty printing

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    51e8d5b View commit details
    Browse the repository at this point in the history

  32. Spotless

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    e77d304 View commit details
    Browse the repository at this point in the history

  33. Fix colleciton util tests

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    30b6f65 View commit details
    Browse the repository at this point in the history

  34. Minor interface refactoring

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    2273934 View commit details
    Browse the repository at this point in the history

  35. Minor interface refactoring

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    0994514 View commit details
    Browse the repository at this point in the history

  36. Cache sequent printing

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    3933309 View commit details
    Browse the repository at this point in the history

  37. Fix bookmarks parsing and save recent files immediately

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    bf29a96 View commit details
    Browse the repository at this point in the history

  38. Fix small issue

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    51a136c View commit details
    Browse the repository at this point in the history

  39. Merge branch 'main' into formatter

    @jwiesler
    jwiesler committed Mar 9, 2023
    Copy the full SHA
    913f357 View commit details
    Browse the repository at this point in the history