Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Require arrangement sharing to communicate frontier changes. #243
This PR requires that an arrangement's
This PR requires that an arrangement's `enter_at` method takes a method to invert timestamps, so that frontier statements about the wrapper trace can be communicated back to the wrapped trace. This method requires some care, but for the moment you probably shouldn't be using these methods without knowing about what is going on here; we could hope for a future interface that is clearer and less error prone.