Skip to content
This repository was archived by the owner on Apr 2, 2025. It is now read-only.

Biguint#106

Merged
virgil-serbanuta merged 1 commit intomainfrom
biguint
Sep 27, 2024
Merged

Biguint#106
virgil-serbanuta merged 1 commit intomainfrom
biguint

Conversation

@virgil-serbanuta
Copy link
Copy Markdown
Member

@virgil-serbanuta virgil-serbanuta commented Sep 26, 2024

Closes #36
Closes #31

@virgil-serbanuta virgil-serbanuta merged commit 6f63e86 into main Sep 27, 2024
@virgil-serbanuta virgil-serbanuta deleted the biguint branch September 27, 2024 16:34
ACassimiro added a commit that referenced this pull request Sep 27, 2024
* Implement TokenIdentifier (#100)

* Mutable variables (#105)

* Update K to 149 (#99) (#101)

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Introducing mutable variables and preventing override on immutable ones

* Adding minor comments

* Update K to 149 (#99) (#104)

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Removing restrictions over reassignments of immutable variables

* [Fix] Removing restrictions over reassignments of immutable variables

* Addressing review comments

---------

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Implement the send() function for contracts (#102)

* Enabling assignments on tuples with let expressions (#107)

* Enabling assignments on tuples with let expressions

* Addressing comments

* Implement call_value() (#103)

* BigUint operations (#106)

---------

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>
ACassimiro added a commit that referenced this pull request Sep 30, 2024
* Updating to match main (#109)

* Implement TokenIdentifier (#100)

* Mutable variables (#105)

* Update K to 149 (#99) (#101)

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Introducing mutable variables and preventing override on immutable ones

* Adding minor comments

* Update K to 149 (#99) (#104)

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Removing restrictions over reassignments of immutable variables

* [Fix] Removing restrictions over reassignments of immutable variables

* Addressing review comments

---------

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Implement the send() function for contracts (#102)

* Enabling assignments on tuples with let expressions (#107)

* Enabling assignments on tuples with let expressions

* Addressing comments

* Implement call_value() (#103)

* BigUint operations (#106)

---------

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>

* Modifying pyk version

* Modifying krun dir_paths to appropriate targets

---------

Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implementations - Biguint - Rust + Mx Expression Evaluation - struct operators - MX + Rust

2 participants