Code

DRAFT: ULM Integration#64

Code

Draft

mariaKt wants to merge 41 commits intomainPi-Squared-Inc/solidity-demo-semantics:mainfrom ulm-integrationPi-Squared-Inc/solidity-demo-semantics:ulm-integrationCopy head branch name to clipboard

+3,092-427

Commits

Commits on Oct 15, 2024

• Added -I to kompile command. Path can be improved.

  mariaKt

  committed
  5f3ec56

  Copy full SHA for 5f3ec56

• Add and update status cell.

  mariaKt

  committed
  f27009f

  Copy full SHA for f27009f

• getStatus implementation

  mariaKt

  committed
  fe3b1ec

  Copy full SHA for fe3b1ec

• getOutput implementation

  mariaKt

  committed
  5042be9

  Copy full SHA for 5042be9

• getGasLeft implementation

  mariaKt

  committed
  8d08b63

  Copy full SHA for 8d08b63

Commits on Oct 16, 2024

• Edit Makefile, to link with hooks implementation to remove warnings.

  mariaKt

  committed
  eb2ed9c

  Copy full SHA for eb2ed9c

Commits on Oct 17, 2024

• Address schema using Int to access contract storage.

  mariaKt

  committed
  22b1944

  Copy full SHA for 22b1944

• Changed contract storage, to store Int as values.

  mariaKt

  committed
  c414af5

  Copy full SHA for c414af5

• Used keccak256 to compute storage indices instead.

  mariaKt

  committed
  4053b78

  Copy full SHA for 4053b78

Commits on Oct 18, 2024

• Used ULM interface for state variable assignment and lookup.

  mariaKt

  committed
  7040cc8

  Copy full SHA for 7040cc8

• Removed contract-storage cell.

  mariaKt

  committed
  8f64feb

  Copy full SHA for 8f64feb

• Function selector computation.

  mariaKt

  committed
  1b466e5

  Copy full SHA for 1b466e5

Commits on Oct 19, 2024

• K cell initial configutation for $CREATE=FALSE.

  mariaKt

  committed
  354d464

  Copy full SHA for 354d464

Commits on Oct 20, 2024

• Execute for $CREATE=True

  mariaKt

  committed
  9ee3d76

  Copy full SHA for 9ee3d76

• Removed <live-contracts>. Commented out rules for new, external call, and transactions (create,txn) - not needed for Mock contracts of demo.

  mariaKt

  committed
  82f3cdd

  Copy full SHA for 82f3cdd

• Used ULM interface to set up initial configuration.

  mariaKt

  committed
  32f492a

  Copy full SHA for 32f492a

• Removed (now unused) summarize and next-address cells.

  mariaKt

  committed
  2557f05

  Copy full SHA for 2557f05

Commits on Oct 21, 2024

• Added event logging using ULM interface.

  mariaKt

  committed
  3efe816

  Copy full SHA for 3efe816

Commits on Oct 22, 2024

• Bug fix: TypedVal with correct TypeName in decodeArgs.

  mariaKt

  committed
  4629da4

  Copy full SHA for 4629da4

Commits on Oct 25, 2024

• Added inputs as needed for the demo's Mock contracts.

  Show description for 69ac439
  mariaKt

  committed
  69ac439

  Copy full SHA for 69ac439

Commits on Oct 28, 2024

• in-meeting modification

  Robertorosmaninho

  committed
  8294683

  Copy full SHA for 8294683

Commits on Oct 30, 2024

• Replaced Mock contracts with renamed versions. KORE and bin is automatically generated.

  mariaKt

  committed
  b16c445

  Copy full SHA for b16c445

• Changed name of generated .bin according to renamed Mock contract names.

  mariaKt

  committed
  dd474bf

  Copy full SHA for dd474bf

• Adding Script that uses GETH-EVM to execute a Swap between WEth and DAi tokens from the Solidity Semantics

  Robertorosmaninho

  committed
  3343f28

  Copy full SHA for 3343f28

• Commented out functions of UniswapV2SwapRenamed.sol (as needed to run the demo script)

  mariaKt

  committed
  f62bf6c

  Copy full SHA for f62bf6c

Commits on Nov 1, 2024

• Updating script with OO-like refactoring + addLiquidity and SwapSingleHopExactAmountIn working

  Robertorosmaninho

  committed
  0f1f1c9

  Copy full SHA for 0f1f1c9

• Mint WETH -> Deposit WETH, and edited spaces.

  mariaKt

  committed
  f1204eb

  Copy full SHA for f1204eb

Commits on Nov 5, 2024

• Working version of solidity_rust addLiq and swap with small numbers

  Robertorosmaninho

  committed
  75c4e73

  Copy full SHA for 75c4e73

• Rule for missing function selector.

  mariaKt

  committed
  edb5c40

  Copy full SHA for edb5c40

• New module execute, in order to import expression.

  mariaKt

  committed
  97c33eb

  Copy full SHA for 97c33eb

• Added missing import.

  mariaKt

  committed
  4bc3d36

  Copy full SHA for 4bc3d36

• Returning the values of the script to use u256

  Robertorosmaninho

  committed
  ef00352

  Copy full SHA for ef00352

• getOutput handles uint8.

  mariaKt

  committed
  08d98cd

  Copy full SHA for 08d98cd

• decimals implementation: return TypedVal instead of literal

  mariaKt

  committed
  abb6474

  Copy full SHA for abb6474

Commits on Nov 6, 2024

• Added equivalent original (non-renamed) versions of Mock tokens.

  mariaKt

  committed
  adf56fa

  Copy full SHA for adf56fa

• Modified byol_solidity_py to use non renamed version of USDC mock.

  mariaKt

  committed
  0744127

  Copy full SHA for 0744127

• Changed script for EVM-Solidity test to use non-renamed contracts.

  mariaKt

  committed
  50696ea

  Copy full SHA for 50696ea

Commits on Nov 7, 2024

• String encoding for ULM return (#65)

  Show description for 0514c97
  

  mariaKt

  and

  theo25

  authored
  0514c97

  Copy full SHA for 0514c97

• Fix swap call (#66)

  Show description for 250f969
  

  malturki

  and

  mariaKt

  authored
  250f969

  Copy full SHA for 250f969

Commits on Nov 8, 2024

• Changed path to bytes of DAIMock.rs. (#67)

  mariaKt

  authored
  30f4fc6

  Copy full SHA for 30f4fc6

Commits on Nov 25, 2024

• ULM integration documentation.

  mariaKt

  committed
  b9644b0

  Copy full SHA for b9644b0