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

Allow specifying that certain talks must schedule after other talks #5

Draft
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

lukegb
Copy link

@lukegb lukegb commented Feb 4, 2024

We have a lot of ints floating around; use NewType to try to make sure these
don't get mixed up.

Iterables can only be iterated through once; be more specific about what type
of iterable if we iterate more than once through them.

Tests get a helper function because literal ints are of type int, and don't
automatically pick up the subtype, unfortunately.
@lukegb
Copy link
Author

lukegb commented Feb 4, 2024

I don't actually know if this is the best approach to asserting that talks are scheduled after other ones or if there's a more efficient way to specify this without defining a start-slot and end-slot in the set of LP equations...

@lukegb lukegb force-pushed the causality branch 3 times, most recently from 2f76d83 to dbcbbab Compare February 4, 2024 22:59
@Jonty
Copy link
Member

Jonty commented Feb 4, 2024

I need to spend some time thinking about this before we merge it, please hold.

@lukegb lukegb marked this pull request as draft February 4, 2024 23:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants