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

Update <wordstack> cell to use List sort #3

Merged
merged 5 commits into from
Apr 16, 2024
Merged

Update <wordstack> cell to use List sort #3

merged 5 commits into from
Apr 16, 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 21:13
Robertorosmaninho
Robertorosmaninho approved these changes Apr 16, 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.

A few small questions but overall LGTM!

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md Outdated Show resolved Hide resolved
kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md Show resolved Hide resolved
@dwightguth dwightguth enabled auto-merge (squash) April 16, 2024 15:45
@dwightguth dwightguth merged commit 5e6f8f9 into master Apr 16, 2024
4 checks passed
@dwightguth dwightguth deleted the wordstack branch April 16, 2024 16:02
dwightguth pushed a commit that referenced this pull request Jun 17, 2024
Update <wordstack> cell to use List sort (#3)
4825cd3 
See runtimeverification#2364
dwightguth pushed a commit that referenced this pull request Jun 18, 2024
Update <wordstack> cell to use List sort (#3)
0857e4b 
See runtimeverification#2364
dwightguth pushed a commit that referenced this pull request Jun 18, 2024
Update <wordstack> cell to use List sort (#3)
939cdc1 
See runtimeverification#2364
dwightguth pushed a commit that referenced this pull request Jun 25, 2024
Update <wordstack> cell to use List sort (#3)
b34c6f6 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jul 5, 2024
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
a1b9739 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jul 9, 2024
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
fd84e99 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jul 9, 2024
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
0456e62 
See runtimeverification#2364
dwightguth pushed a commit that referenced this pull request Jul 9, 2024
Update <wordstack> cell to use List sort (#3)
75b39d2 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Aug 7, 2024
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
c66bcdd 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Aug 13, 2024
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
04456ff 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Sep 12, 2024
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
1860f93 
See runtimeverification#2364
dwightguth pushed a commit that referenced this pull request Sep 25, 2024
@dwightguth
Update <wordstack> cell to use List sort (#3)
fc4cdeb 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jan 28, 2025
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
51855e5 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jan 31, 2025
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
33822a4 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jan 31, 2025
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
4c9acd4 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Jan 31, 2025
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
48f9c55 
See runtimeverification#2364
Robertorosmaninho pushed a commit that referenced this pull request Feb 10, 2025
@Robertorosmaninho
Update <wordstack> cell to use List sort (#3)
5f71a29 
See runtimeverification#2364
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@theo25 theo25 theo25 approved these changes

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