DRAFT: ULM Integration #64
Draft
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
… and transactions (create,txn) - not needed for Mock contracts of demo.
mariaKt
force-pushed
the
ulm-integration
branch
from
57946cd to
4629da4
Compare
- .sol: The source used to generate the input. It contains the
corresponding {WETH, DAI, USDC}Mock contract.
- .kore: The generated Kore term (of Program sort).
- .kore.bin: The Kore converted to bytes and prepended with the
language prefix ksol.
…tically generated.
…Ai tokens from the Solidity Semantics
… the demo script)
…ngleHopExactAmountIn` working
mariaKt
force-pushed
the
ulm-integration
branch
from
556a2f9 to
50696ea
Compare
* String encoding & test. * Updated contracts: added name and symbol functions. * Renamed according to review comments. * Added comment. * updated WETHMock token's name function --------- Co-authored-by: Theodoros Kasampalis <[email protected]>
* Replace Swap call with transact * Add an EVM-only script * Re-added call to get transaction result, and wait for transaction. --------- Co-authored-by: Maria Kotsifakou <[email protected]>
mariaKt
force-pushed
the
ulm-integration
branch
from
9ed181d to
648e7f2
Compare
mariaKt
force-pushed
the
ulm-integration
branch
from
648e7f2 to
b9644b0
Compare
| <current-function> Id </current-function> | ||
| <call-stack> .List </call-stack> // Stack of call frames | ||
| <status> EVMC_SUCCESS </status> // Status code to be returned | ||
| <gas> $GAS:Int </gas> // Available gass |
| syntax Int ::= GetAccountStorage(key: Int) | ||
| syntax K ::= SetAccountStorage(key: Int, value: Int) | ||
| ``` | ||
| . They provide an Int as a key to the storage, as per the EVM memory model, and |
There was a problem hiding this comment.
Typo: extra . here
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
This PR includes the following changes:
Throughout, we have made the assumption that while $PGM may contain one or more contracts, but the active contract must be the last on the list.
I have locally checked that the branch compiles.