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

Implement Central Scheduling #39

Merged
merged 7 commits into from
Dec 19, 2021
Merged

Conversation

minecrawler
Copy link
Collaborator

No description provided.

@minecrawler minecrawler added the enhancement New feature or request label Dec 19, 2021
@minecrawler minecrawler changed the title Central Scheduling Implement Central Scheduling Dec 19, 2021
@minecrawler minecrawler added this to the 0.5.0 milestone Dec 19, 2021
@minecrawler minecrawler merged commit 08bf4c2 into release/0.5.0 Dec 19, 2021
@minecrawler minecrawler deleted the feature/central-scheduling branch December 19, 2021 23:57
minecrawler added a commit that referenced this pull request Jan 21, 2022
* initial scheduler implementation

* fix IQuery

* improve group integration

* make query.execute() async

* integrate scheduling into world

Counter example is working again!

* implement per-State scheduling and clean up

* update readme
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant