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

Optimize _<_> schedule operator #1

Merged
merged 4 commits into from
Apr 15, 2024
Merged

Optimize _<_> schedule operator #1

merged 4 commits into from
Apr 15, 2024

Conversation

dwightguth
Copy link

@dwightguth dwightguth commented Apr 8, 2024 •
edited
Loading

@dwightguth dwightguth marked this pull request as ready for review April 15, 2024 15:08
theo25
theo25 approved these changes Apr 15, 2024
View reviewed changes
Copy link

@theo25 theo25 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me but I will admit I did not cross reference every constant to see if it is consistent with its old value. The process as whole seems correct to me though.

Robertorosmaninho
Robertorosmaninho approved these changes Apr 15, 2024
View reviewed changes
Copy link

@Robertorosmaninho Robertorosmaninho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Everything looks correct to me and the change makes sense! RV people also mostly agree with it, so we should be fine! Thanks for the work!

@dwightguth dwightguth merged commit 20947ab into master Apr 15, 2024
4 checks passed
@dwightguth dwightguth deleted the schedule branch April 15, 2024 20:42
dwightguth pushed a commit that referenced this pull request Jun 17, 2024
Optimize _<_> schedule operator (#1)
3c6d006 
See runtimeverification#2335
dwightguth pushed a commit that referenced this pull request Jun 18, 2024
Optimize _<_> schedule operator (#1)
bd4009f 
See runtimeverification#2335
dwightguth pushed a commit that referenced this pull request Jun 18, 2024
Optimize _<_> schedule operator (#1)
c60e332 
See runtimeverification#2335
dwightguth pushed a commit that referenced this pull request Jun 25, 2024
Optimize _<_> schedule operator (#1)
d2cdd9e 
See runtimeverification#2335
Robertorosmaninho pushed a commit that referenced this pull request Jul 5, 2024
@Robertorosmaninho
Optimize _<_> schedule operator (#1)
97f02ee 
See runtimeverification#2335
Robertorosmaninho pushed a commit that referenced this pull request Jul 9, 2024
@Robertorosmaninho
Optimize _<_> schedule operator (#1)
8e6d7eb 
See runtimeverification#2335
Robertorosmaninho pushed a commit that referenced this pull request Jul 9, 2024
@Robertorosmaninho
Optimize _<_> schedule operator (#1)
329680a 
See runtimeverification#2335
dwightguth pushed a commit that referenced this pull request Jul 9, 2024
Optimize _<_> schedule operator (#1)
d53f21f 
See runtimeverification#2335
Robertorosmaninho pushed a commit that referenced this pull request Aug 7, 2024
@Robertorosmaninho
Optimize _<_> schedule operator (#1)
b836dca 
See runtimeverification#2335
Robertorosmaninho pushed a commit that referenced this pull request Aug 13, 2024
@Robertorosmaninho
Optimize _<_> schedule operator (#1)
867dcfe 
See runtimeverification#2335
Robertorosmaninho pushed a commit that referenced this pull request Sep 12, 2024
@Robertorosmaninho
Optimize _<_> schedule operator (#1)
7407378 
See runtimeverification#2335
dwightguth pushed a commit that referenced this pull request Sep 25, 2024
@dwightguth
Optimize _<_> schedule operator (#1)
b94d7f7 
See runtimeverification#2335
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Robertorosmaninho Robertorosmaninho Robertorosmaninho approved these changes

@theo25 theo25 theo25 approved these changes

@malturki malturki Awaiting requested review from malturki

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
@dwightguth @theo25 @Robertorosmaninho