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

More LEM API improvements #825

Merged
merged 1 commit into from
Nov 1, 2023
Merged

More LEM API improvements #825

merged 1 commit into from
Nov 1, 2023

Conversation

arthurpaulino
Copy link
Member

  • Several minor API improvements
  • New doc-strings
  • New helper gadgets for coprocessors authors, whose semantics are migrated from Alpha

@arthurpaulino arthurpaulino requested review from a team as code owners November 1, 2023 13:54
@arthurpaulino arthurpaulino mentioned this pull request Nov 1, 2023
Closed
10 tasks
@arthurpaulino
Copy link
Member Author

!gpu-benchmark

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Nov 1, 2023

Benchmark for 062a427

Click to view benchmark
Test Base PR %
LEM Prove/Fibonacci-rc=100/num-100/062a4273fedf9854a934c036c9a958306a688a4d-2023-11-01 5.1±0.01s N/A N/A
LEM Prove/Fibonacci-rc=100/num-100/472771f3986a618ff1001c8244fc48a6b034fea3-2023-11-01 8.8±0.48s N/A N/A
LEM Prove/Fibonacci-rc=100/num-200/062a4273fedf9854a934c036c9a958306a688a4d-2023-11-01 10.3±0.02s N/A N/A
LEM Prove/Fibonacci-rc=100/num-200/472771f3986a618ff1001c8244fc48a6b034fea3-2023-11-01 10.3±0.03s N/A N/A

@samuelburnham samuelburnham mentioned this pull request Nov 1, 2023
Merged
samuelburnham
samuelburnham previously approved these changes Nov 1, 2023
View reviewed changes
@arthurpaulino arthurpaulino added this pull request to the merge queue Nov 1, 2023
Merged via the queue into master with commit e39a88e Nov 1, 2023
15 checks passed
@arthurpaulino arthurpaulino deleted the ap/extend-store-api-and-tests branch November 1, 2023 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@samuelburnham samuelburnham samuelburnham approved these changes

@gabriel-barrett gabriel-barrett gabriel-barrett approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@arthurpaulino @gabriel-barrett @samuelburnham