Sitelet https://github.com/runtimeverification/evm-semantics/pull/3
Skip to content

Return calls - #3

Merged
msaxena2 merged 5 commits into
masterfrom
return_calls
Dec 3, 2016
Merged

msaxena2 merged 5 commits into
masterfrom
return_calls

Conversation

@msaxena2

@msaxena2 msaxena2 commented Dec 3, 2016

Copy link
Copy Markdown
Contributor

Code to return from a foreign method invocation.

@msaxena2
msaxena2 merged commit 86dccad into master Dec 3, 2016
@ehildenb
ehildenb deleted the return_calls branch June 15, 2017 21:35
rv-jenkins added a commit that referenced this pull request Mar 11, 2021
* web/k-web-theme: 9314777 - For RV Website generating pages and blog (#3)

* web/k-web-theme: c995d8e - fix: Fixed few markdown preview styles (#4)

* web/k-web-theme: 2139b52 - Updated few functions for building the HTML files (#5)

* web/k-web-theme: 9c5dccf - fix: Fixed the code block styling in dark mode (#6)

* web/k-web-theme: 090f448 - Moved public_content dir from web-common to k-web-theme static_content (#7)
dwightguth pushed a commit that referenced this pull request Apr 16, 2024
dwightguth pushed a commit that referenced this pull request Jun 18, 2024
dwightguth pushed a commit that referenced this pull request Jun 18, 2024
dwightguth pushed a commit that referenced this pull request Jun 25, 2024
Robertorosmaninho pushed a commit that referenced this pull request Oct 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant