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

Execution #15

Merged
merged 31 commits into from
Aug 4, 2023
Merged

Execution #15

merged 31 commits into from
Aug 4, 2023

Conversation

mmsc2
Copy link
Contributor

@mmsc2 mmsc2 commented Jul 31, 2023

The pull request adds the logic of compute_operands function, besides several other functions for manipulation of maybe relocatable and relocatable

@mmsc2 mmsc2 changed the base branch from main to lambdaworks-wrapper July 31, 2023 20:36
@mmsc2 mmsc2 changed the base branch from lambdaworks-wrapper to main July 31, 2023 20:38
@gabrielbosio gabrielbosio linked an issue Aug 3, 2023 that may be closed by this pull request
toni-calvin and others added 8 commits August 3, 2023 11:17
* Add roadmap to README (#17)

* Add roadmap to README

* Small typo

* Add felt documentation (#16)

* Add Basic Types + Memory walkthrough to Write your own Cairo VM section  (#8)

* Add non c-specific project guidelines

* Copy the rest of the file

* Copy + adapt introduction

* Copy doc in C repo PR

* Replace relocatable structure with go structure

* Make Relocatable fields public

* Update MaybeRelocatable section with go version

* Remove leftover comment

* Update Memory structure

* Add Insert code (minus temp segments comment)

* Add Get code (minus temp segments comment)

* Add MemorySegmentManager section

* Add maybeRelocatable convenience methods

* Add missing language keyword

* Fix typo

* fmt

* Replace hashmap for map

* Add `RunContext` & `VirtualMachine` structres to Write your own VM section (#12)

* Add RunContext

* Add VM structure

* First draft OpcodeAssertions

* First draft OpcodeAssertions

* Testing

* TestOpcodeAssertionsResUnconstrained

* Testing

* Mini improvment in README (#34)

Co-authored-by: Pablo Deymonnaz <[email protected]>

* Review PR #1
- Removes useless methods
- Formats variables name
- Removes useless pointers

* Review PR #1
- Removes useless methods
- Formats variables name
- Removes useless pointers
- Deletes again mock function
- Rename function names

* Removed error difference.

---------

Co-authored-by: Javier Rodríguez Chatruc <[email protected]>
Co-authored-by: fmoletta <[email protected]>
Co-authored-by: Pablo Deymonnaz <[email protected]>
Co-authored-by: Pablo Deymonnaz <[email protected]>
@mmsc2 mmsc2 marked this pull request as ready for review August 3, 2023 19:09
pkg/vm/vm_core.go Outdated Show resolved Hide resolved
pkg/vm/vm_core.go Outdated Show resolved Hide resolved
pkg/vm/vm_core.go Outdated Show resolved Hide resolved
pkg/vm/vm_core.go Outdated Show resolved Hide resolved
pkg/vm/vm_core.go Outdated Show resolved Hide resolved
Copy link
Contributor

@fmoletta fmoletta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Deductions are missing in the VirtualMachine.ComputeOperands method. We can ignore the builtin's deductions for now, but the methods deduce_op0, deduce_op and deduce_dst are part of the core execution process. We can add them in a separate PR if its too much code, but please add some TODO's in their place, and a comment on top of computeOperands stating that its not complete/operational till it is addressed

pkg/vm/run_context.go Outdated Show resolved Hide resolved
pkg/vm/instruction.go Outdated Show resolved Hide resolved
pkg/vm/run_context.go Outdated Show resolved Hide resolved
Copy link
Contributor

@fmoletta fmoletta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

Copy link
Contributor

@pablodeymo pablodeymo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@pablodeymo pablodeymo merged commit 4053d02 into main Aug 4, 2023
1 check passed
@pablodeymo pablodeymo deleted the Execution branch August 4, 2023 21:18
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.

Integrate with Lambdaworks wrapper
4 participants