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

Deprecate Time module and all its Schedulers #2306

Merged
merged 6 commits into from
Sep 21, 2024

Commits on Sep 21, 2024

  1. Deprecate Time module and all its schedulers

    Add a warning message that all the whole time module and all its schedulers are deprecated
    EwoutH committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    91b6ad2 View commit details
    Browse the repository at this point in the history
  2. Remove Time module tests

    EwoutH committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    3093b2d View commit details
    Browse the repository at this point in the history
  3. Add replacing schedulers with AgentSet to migration guide

    This commit adds a new section to the migration guide explaining how to
    replace the deprecated schedulers from the Time module with AgentSet
    functionality. It covers:
    
    - Replacements for BaseScheduler, RandomActivation, SimultaneousActivation,
      StagedActivation, and RandomActivationByType
    - General notes on related changes, such as agent counting and management
    - Examples of how to adapt code using the old scheduler methods
    EwoutH committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    3deab7e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    584f983 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    967d219 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    afa3e52 View commit details
    Browse the repository at this point in the history