Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Auto-generate benchmarks with genthat, and run them #22
base: master
Are you sure you want to change the base?
Auto-generate benchmarks with genthat, and run them #22
Changes from 1 commit
bad7b51
dee0ff7
23033e7
798fb9b
ec641dc
cafbeb8
617f4c1
0d47711
eee62cd
640490b
b15a4b3
079d6f0
a2bc055
ac3bbb7
079420b
45d74f2
5108f1d
54c8b5c
6d843d7
93647dc
536b228
973e519
11ede08
94bdf27
c6046ca
793ed35
b58a7a3
b5d7d32
3f7518d
14240c9
81513b9
7a39153
8b35f25
dd2f454
2dc80f3
7c2b52c
1929d1b
79b6de3
17a2bbc
24de287
cc2d980
3c04605
68e6971
273142d
52fd1c8
5e7b310
32848e0
0b83398
c402938
c67d826
4a72ed0
98a92c9
2c9c7bc
e7ec0c6
645f500
da79d8a
f039551
943b5a4
5799897
f4780e3
f589d2e
4dfdbc1
a999691
4ea7194
bccf9e8
5e6cb03
68ecea1
e6d0241
89ac82d
c99ff8d
fc0ee9f
fcdec7e
387e911
6e9bfa5
c2a88bb
e0430e5
deaae4f
e3b7745
af50f50
c3ddcbf
ff7fc06
12573c1
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing