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.

Sign up for GitHub

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

Jump to bottom

Separate benchmarks for individual steps of make match and make map (computation, then collection of results + filtering) #182

Open
karel-brinda opened this issue Sep 21, 2022 · 0 comments
Open

Separate benchmarks for individual steps of make match and make map (computation, then collection of results + filtering) #182

karel-brinda opened this issue Sep 21, 2022 · 0 comments
Labels
enhancement New feature or request paper

Comments

@karel-brinda
Copy link
Owner

Currently, if the aggregation of results fails, no match benchmark is produced
@karel-brinda karel-brinda added the enhancement New feature or request label Sep 21, 2022
@karel-brinda karel-brinda changed the title Make benchmarks for separate steps of make match and make map Separate benchmarks for individual steps of make match and make map (computation, then collection of results + filtering) Sep 21, 2022
@leoisl leoisl added the paper label Jan 10, 2023
@leoisl leoisl mentioned this issue Mar 30, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request paper
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@leoisl @karel-brinda