Code

Feature: symbolic execution support#1235

Code

Open

andrei-marinica wants to merge 32 commits intomastermultiversx/mx-sdk-rs:masterfrom feat/symbolicmultiversx/mx-sdk-rs:feat/symbolicCopy head branch name to clipboard

+5,039-291

Commits

Commits on Oct 8, 2023

• test api & contracts copied from RV repo

  andrei-marinica

  committed
  7d93f77

• test api integrated in SC api

  andrei-marinica

  committed
  ceb6179

• fmt

  andrei-marinica

  committed
  0dbfea2

• cargo update

  andrei-marinica

  committed
  0023a8a

Commits on Oct 9, 2023

• dependency fix

  andrei-marinica

  committed
  dcf8cae

• sc-meta prettier print

  andrei-marinica

  committed
  e333549

Commits on Oct 10, 2023

• clippy fix

  andrei-marinica

  committed
  e335988

• Merge pull request #1231 from multiversx/foundry

  Show description for 298a08c
  andrei-marinica

  authored
  298a08c

Commits on Apr 22, 2024

• Merge branch 'feat/unified' into feat/symbolic

  andrei-marinica

  committed
  005db9a

Commits on Apr 23, 2024

• fix after merge

  andrei-marinica

  committed
  c1f213c

• Merge pull request #1580 from multiversx/symbolic-unified

  Show description for 28eab1e
  andrei-marinica

  authored
  28eab1e

• parametric tests rename

  andrei-marinica

  committed
  33d971a

Commits on Apr 24, 2024

• Merge pull request #1585 from multiversx/pt-rename

  Show description for 0ea1af1
  andrei-marinica

  authored
  0ea1af1

Commits on May 2, 2024

• Merge branch 'feat/unified' into merge-unified-to-symbolic

  andrei-marinica

  committed
  d1c8917

Commits on May 3, 2024

• Merge pull request #1602 from multiversx/merge-unified-to-symbolic

  Show description for 93275ec
  andrei-marinica

  authored
  93275ec

Commits on May 10, 2024

• Merge branch 'master' into 'feat/symbolic'

  andrei-marinica

  committed
  c83eebc

Commits on May 13, 2024

• Merge pull request #1624 from multiversx/merge-symb-master

  Show description for 5c1908b
  andrei-marinica

  authored
  5c1908b

Commits on May 31, 2024

• Merge branch 'master' into feat/symbolic

  andrei-marinica

  committed
  bf89a20

• Merge pull request #1667 from multiversx/merge-symb-master

  Show description for 33fe9d6
  andrei-marinica

  authored
  33fe9d6

Commits on Jun 3, 2024

• param tests - unified call syntax

  andrei-marinica

  committed
  243c7fc

• pretty print

  andrei-marinica

  committed
  8c56281

• rebuild, kasmer config fix

  andrei-marinica

  committed
  1666391

• param tests - use regular read from address

  andrei-marinica

  committed
  e2b889e

Commits on Jun 4, 2024

• param tests - deploy unified syntax

  andrei-marinica

  committed
  03bc446

• param tests - multisig-pt unified syntax

  andrei-marinica

  committed
  9dcb53a

Commits on Jun 5, 2024

• multisig-pt - quorum as usize

  andrei-marinica

  committed
  075ef0d

• cleanup

  andrei-marinica

  committed
  bf77c2b

Commits on Jun 7, 2024

• Merge pull request #1673 from multiversx/symb-syntax

  Show description for dbc76ab
  andrei-marinica

  authored
  dbc76ab

Commits on Jul 4, 2024

• kasmer config for adder & multisig

  andrei-marinica

  committed
  b56dda8

Commits on Jul 5, 2024

• kasmer readme

  andrei-marinica

  committed
  d4f6b59

• typos

  andrei-marinica

  committed
  45dff22

• Merge pull request #1695 from multiversx/kup-integration

  Show description for a62885c
  andrei-marinica

  authored
  a62885c