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

Initial semantics #10

Merged
merged 9 commits into from
Jul 16, 2024
Merged

Initial semantics #10

merged 9 commits into from
Jul 16, 2024

Conversation

bbyalcinkaya
Copy link
Member

@bbyalcinkaya bbyalcinkaya commented Jul 11, 2024

This PR introduces the initial implementation of the Soroban semantics. It includes basic mechanisms for setting up the node state, making contract calls, and passing values between Wasm and the host.

  • soroban.md: Main module defining the node semantics.
  • kasmer.md: Defines commands for interacting with the blockchain state and writing test scenarios (similar to mandos in mx-semantics).
  • data.md: Defines the sorts ScVal and HostVal, used for storing and moving data between Wasm and the host.
  • auto-allocate.md: Semantics for allocating module and function instances for imported functions (host functions), adapted from mx-semantics.

@bbyalcinkaya bbyalcinkaya requested a review from gtrepta July 12, 2024 14:23
@bbyalcinkaya bbyalcinkaya marked this pull request as ready for review July 16, 2024 07:17
@bbyalcinkaya bbyalcinkaya merged commit 4f8637f into master Jul 16, 2024
3 checks passed
@bbyalcinkaya bbyalcinkaya deleted the init branch July 16, 2024 18:49
@bbyalcinkaya bbyalcinkaya mentioned this pull request Aug 20, 2024
asavienko added a commit that referenced this pull request Sep 4, 2024
asavienko added a commit that referenced this pull request Sep 4, 2024
* Bump @babel/traverse from 7.23.0 to 7.23.2 in /frontend

Bumps [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) from 7.23.0 to 7.23.2.
- [Release notes](https://github.com/babel/babel/releases)
- [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md)
- [Commits](https://github.com/babel/babel/commits/v7.23.2/packages/babel-traverse)

---
updated-dependencies:
- dependency-name: "@babel/traverse"
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

* fix build

* fix build

* allow-empty

* fix server and build

* fix feedback

* fix feedback

* fix keys

* remove login

* fix actions

* update pkg

* update pkg

* update pkg

---------

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants