Code

Pyk scripts#10

Code

Merged

ACassimiro merged 13 commits intomainPi-Squared-Inc/rust-demo-semantics:mainfrom pyk-scriptsPi-Squared-Inc/rust-demo-semantics:pyk-scriptsCopy head branch name to clipboardAug 23, 2024

+1,719-1

Commits

Commits on Aug 21, 2024

• Instantiating krun

  ACassimiro

  committed
  b18800e

  Copy full SHA for b18800e

• Adding the capabilities to load data into the K cell

  ACassimiro

  committed
  9c4c353

  Copy full SHA for 9c4c353

Commits on Aug 22, 2024

• Loading the code from the actual contracts

  ACassimiro

  committed
  d02810d

  Copy full SHA for d02810d

• Loading parsed contract and placing it in the K cell

  ACassimiro

  committed
  4422b7c

  Copy full SHA for 4422b7c

• Syncing local with branch

  ACassimiro

  committed
  6f83f7a

  Copy full SHA for 6f83f7a

• Refactor and finish implementing trait preprocessing (#4) (#6)

  Show description for acbff61
  

  ACassimiro

  and

  virgil-serbanuta

  authored
  acbff61

  Copy full SHA for acbff61

• Using _kast for parsing our contracts programmatically

  ACassimiro

  committed
  d24de17

  Copy full SHA for d24de17

Commits on Aug 23, 2024

• Adding CLI for ease of usage

  ACassimiro

  committed
  d44aa43

  Copy full SHA for d44aa43

• Merge branch 'main' into pyk-scripts

  ACassimiro

  authored
  df7c1ef

  Copy full SHA for df7c1ef

• Removing dead code

  ACassimiro

  committed
  9f9d54b

  Copy full SHA for 9f9d54b

• Fixing messages

  ACassimiro

  committed
  2fbfecc

  Copy full SHA for 2fbfecc

• Removing dead code

  ACassimiro

  committed
  25648f4

  Copy full SHA for 25648f4

• Merge branch 'main' into pyk-scripts

  ACassimiro

  authored
  3adbcb0

  Copy full SHA for 3adbcb0