Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: symbolic execution support #1235

Open
wants to merge 32 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
7d93f77
test api & contracts copied from RV repo
andrei-marinica Oct 3, 2023
ceb6179
test api integrated in SC api
andrei-marinica Oct 8, 2023
0dbfea2
fmt
andrei-marinica Oct 8, 2023
0023a8a
cargo update
andrei-marinica Oct 8, 2023
dcf8cae
dependency fix
andrei-marinica Oct 9, 2023
e333549
sc-meta prettier print
andrei-marinica Oct 9, 2023
e335988
clippy fix
andrei-marinica Oct 10, 2023
298a08c
Merge pull request #1231 from multiversx/foundry
andrei-marinica Oct 10, 2023
005db9a
Merge branch 'feat/unified' into feat/symbolic
andrei-marinica Apr 22, 2024
c1f213c
fix after merge
andrei-marinica Apr 23, 2024
28eab1e
Merge pull request #1580 from multiversx/symbolic-unified
andrei-marinica Apr 23, 2024
33d971a
parametric tests rename
andrei-marinica Apr 23, 2024
0ea1af1
Merge pull request #1585 from multiversx/pt-rename
andrei-marinica Apr 24, 2024
d1c8917
Merge branch 'feat/unified' into merge-unified-to-symbolic
andrei-marinica May 2, 2024
93275ec
Merge pull request #1602 from multiversx/merge-unified-to-symbolic
andrei-marinica May 3, 2024
c83eebc
Merge branch 'master' into 'feat/symbolic'
andrei-marinica May 10, 2024
5c1908b
Merge pull request #1624 from multiversx/merge-symb-master
andrei-marinica May 13, 2024
bf89a20
Merge branch 'master' into feat/symbolic
andrei-marinica May 31, 2024
33fe9d6
Merge pull request #1667 from multiversx/merge-symb-master
andrei-marinica May 31, 2024
243c7fc
param tests - unified call syntax
andrei-marinica May 2, 2024
8c56281
pretty print
andrei-marinica Jun 3, 2024
1666391
rebuild, kasmer config fix
andrei-marinica Jun 3, 2024
e2b889e
param tests - use regular read from address
andrei-marinica Jun 3, 2024
03bc446
param tests - deploy unified syntax
andrei-marinica Jun 4, 2024
9dcb53a
param tests - multisig-pt unified syntax
andrei-marinica Jun 4, 2024
075ef0d
multisig-pt - quorum as usize
andrei-marinica Jun 5, 2024
bf77c2b
cleanup
andrei-marinica Jun 5, 2024
dbc76ab
Merge pull request #1673 from multiversx/symb-syntax
andrei-marinica Jun 7, 2024
b56dda8
kasmer config for adder & multisig
andrei-marinica Jul 4, 2024
d4f6b59
kasmer readme
andrei-marinica Jul 5, 2024
45dff22
typos
andrei-marinica Jul 5, 2024
a62885c
Merge pull request #1695 from multiversx/kup-integration
andrei-marinica Jul 5, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
cargo update
andrei-marinica committed Oct 8, 2023

Verified

This commit was signed with the committer’s verified signature.
andrei-marinica Andrei Marinica
commit 0023a8ae89fd4a0801cc7b627ef974aefb5001cb
343 changes: 181 additions & 162 deletions Cargo.lock