Skip to content

Final demo, final report on functional requirements #757

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

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

jorisdral
Copy link
Collaborator

And some small changes that popped up while creating the demo.

jorisdral and others added 5 commits June 12, 2025 18:20
This allows each `setup` to store its own snapshot based on the `--initial-size`
parameter. This makes it slightly easier to run multiple benchmarks with
different `--initial-size`s from the same session directory.
Co-authored-by: Duncan Coutts <[email protected]>
Co-authored-by: Wolfgang Jeltsch <[email protected]>
@jorisdral jorisdral force-pushed the jdral/mile11-presentation branch from 8c645a7 to 7141791 Compare June 12, 2025 16:24
@jorisdral jorisdral self-assigned this Jun 12, 2025
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.

1 participant