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

subworlds #1353

Merged
merged 25 commits into from
Jul 22, 2023
Merged

subworlds #1353

merged 25 commits into from
Jul 22, 2023

Conversation

kostmo
Copy link
Member

@kostmo kostmo commented Jun 27, 2023

Closes #144.

This builds upon portals support (#1356)

Demo

scripts/play.sh --scenario data/scenarios/Testing/144-subworlds/subworld-mapped-robots.yaml --autoplay --speed 2

asciicast

Future work

@kostmo kostmo force-pushed the feature/subworlds branch 3 times, most recently from dc6804b to 0136896 Compare June 30, 2023 07:11
@restyled-io restyled-io bot mentioned this pull request Jun 30, 2023
@kostmo kostmo changed the title subworlds portals Jul 2, 2023
@kostmo kostmo changed the title portals subworlds Jul 2, 2023
@kostmo kostmo changed the base branch from main to feature/portals July 2, 2023 07:17
@kostmo kostmo force-pushed the feature/portals branch 8 times, most recently from 046e85c to c9a89db Compare July 3, 2023 06:15
@restyled-io restyled-io bot mentioned this pull request Jul 3, 2023
@kostmo kostmo force-pushed the feature/subworlds branch 6 times, most recently from a9b7009 to cfacc66 Compare July 6, 2023 07:45
@kostmo kostmo requested a review from byorgey July 6, 2023 07:48
@kostmo
Copy link
Member Author

kostmo commented Jul 6, 2023

@byorgey have a look at your leisure. There's a bit more work to be done, but I'm excited to say that this "works" and passes the test suite.

@kostmo kostmo changed the base branch from feature/portals to main July 12, 2023 01:54
@kostmo kostmo force-pushed the feature/subworlds branch 3 times, most recently from a7a9099 to 49d3f99 Compare July 12, 2023 16:50
@kostmo
Copy link
Member Author

kostmo commented Jul 21, 2023

All comments now addressed, @byorgey.

src/Swarm/Game/World.hs Outdated Show resolved Hide resolved
@kostmo kostmo added the merge me Trigger the merge process of the Pull request. label Jul 22, 2023
@mergify mergify bot merged commit f9c2263 into main Jul 22, 2023
@mergify mergify bot deleted the feature/subworlds branch July 22, 2023 20:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Trigger the merge process of the Pull request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Sub-worlds
2 participants