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.

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

Use Jstachio for code templating #65

Merged
merged 43 commits into from
Aug 31, 2024
Merged

Use Jstachio for code templating #65

merged 43 commits into from
Aug 31, 2024

Commits on Jan 7, 2024

  1. allow empty records

    SentryMan committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    6eac7c8 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ed4d471 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d77701b View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. defaults

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    b713d7f View commit details
    Browse the repository at this point in the history
  2. Update README.md

    SentryMan authored Jan 8, 2024
    Configuration menu
    Copy the full SHA
    4521d86 View commit details
    Browse the repository at this point in the history
  3. Update README.md

    SentryMan authored Jan 8, 2024
    Configuration menu
    Copy the full SHA
    b380c83 View commit details
    Browse the repository at this point in the history
  4. Update README.md

    SentryMan authored Jan 8, 2024
    Configuration menu
    Copy the full SHA
    d9c9166 View commit details
    Browse the repository at this point in the history
  5. start

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f78e719 View commit details
    Browse the repository at this point in the history
  6. done

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    cd7d4ad View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    16b33b4 View commit details
    Browse the repository at this point in the history
  8. Update module-info.java

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    fd46274 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    7c2bd5f View commit details
    Browse the repository at this point in the history
  10. Update RecordBuilder.java

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    ae09ed3 View commit details
    Browse the repository at this point in the history
  11. try checker framework

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a6a316f View commit details
    Browse the repository at this point in the history
  12. Revert "try checker framework"

    This reverts commit a6a316f.
    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    fd82e31 View commit details
    Browse the repository at this point in the history
  13. get checker to work

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    9ce8fb8 View commit details
    Browse the repository at this point in the history
  14. make some progess

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    50956e6 View commit details
    Browse the repository at this point in the history
  15. finally get it working

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    d547e45 View commit details
    Browse the repository at this point in the history
  16. null away and error prone

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    990a565 View commit details
    Browse the repository at this point in the history
  17. Update pom.xml

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    70d71fd View commit details
    Browse the repository at this point in the history
  18. nullaway

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    491d116 View commit details
    Browse the repository at this point in the history
  19. Update README.md

    SentryMan authored Jan 8, 2024
    Configuration menu
    Copy the full SHA
    4a05add View commit details
    Browse the repository at this point in the history
  20. format

    SentryMan committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    8f430a1 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. helpful error message

    SentryMan committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    de4d8bf View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    eb1a17e View commit details
    Browse the repository at this point in the history
  3. Update ImportPrism.java

    SentryMan committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    3053401 View commit details
    Browse the repository at this point in the history
  4. support partial compile

    SentryMan committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    202c2d9 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. Configuration menu
    Copy the full SHA
    a738aa2 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. support @NullMarked

    SentryMan committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    cf89a7e View commit details
    Browse the repository at this point in the history
  2. support nullUnmarked

    SentryMan committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    76ac62e View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Configuration menu
    Copy the full SHA
    a314998 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Configuration menu
    Copy the full SHA
    3d9d497 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. Configuration menu
    Copy the full SHA
    2652118 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Configuration menu
    Copy the full SHA
    041f59b View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Configuration menu
    Copy the full SHA
    c463949 View commit details
    Browse the repository at this point in the history
  2. follow pr suggestions

    SentryMan committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0aec148 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f5fa4ad View commit details
    Browse the repository at this point in the history
  4. disable EA

    SentryMan committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0912aed View commit details
    Browse the repository at this point in the history
  5. Update ImportPrism.java

    SentryMan committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d447400 View commit details
    Browse the repository at this point in the history
  6. Use Jstachio for Templating

    SentryMan committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    bd4439a View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2024

  1. Configuration menu
    Copy the full SHA
    61d7d09 View commit details
    Browse the repository at this point in the history
  2. Update module-info.java

    SentryMan authored Aug 31, 2024
    Configuration menu
    Copy the full SHA
    870ea48 View commit details
    Browse the repository at this point in the history
  3. Update package-info.java

    SentryMan committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    df05c41 View commit details
    Browse the repository at this point in the history