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

Introduce public interfaces for per-project and per-evaluation disk I/O callbacks #6728

Merged
merged 23 commits into from
Oct 21, 2021

Commits on Oct 15, 2021

  1. Configuration menu
    Copy the full SHA
    b6fd14c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7dae629 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9dcb52a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    521d042 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e235b15 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    62737b6 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    10fff0f View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    200e037 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    1004b54 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    faeda3e View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    1d0a741 View commit details
    Browse the repository at this point in the history
  12. Fix bugs

    ladipro committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    65c4942 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    e0340b7 View commit details
    Browse the repository at this point in the history
  14. Add unit test

    ladipro committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    77ed3ff View commit details
    Browse the repository at this point in the history
  15. Tweaks and bug fixes

    ladipro committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    90a6bde View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    73d7636 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    f916592 View commit details
    Browse the repository at this point in the history
  18. Revert "More internal IFileSystem deprecation and tweaks"

    This reverts commit 180f7a8.
    ladipro committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    43f1323 View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    89f7cc6 View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    e800fa8 View commit details
    Browse the repository at this point in the history
  21. Tweaks and comments

    ladipro committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    231a869 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2021

  1. Remove unused parameter

    ladipro committed Oct 20, 2021
    Configuration menu
    Copy the full SHA
    2348cd8 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2021

  1. Add and update comments

    ladipro committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    e30d239 View commit details
    Browse the repository at this point in the history