Skip to content
This repository has been archived by the owner on Mar 3, 2024. It is now read-only.

Dev - ready for v1.0 #54

Merged
merged 144 commits into from
Jul 27, 2023
Merged

Dev - ready for v1.0 #54

merged 144 commits into from
Jul 27, 2023

Conversation

nom4dv3
Copy link
Member

@nom4dv3 nom4dv3 commented Jul 27, 2023

ready for v1.0:

  • bigint
  • exec/setup/prove (full+local)
  • heap alloc fix
  • etc.

@nom4dv3 nom4dv3 changed the title Dev Dev - ready for v1.0 Jul 27, 2023
Copy link
Collaborator

@fewwwww fewwwww left a comment

Choose a reason for hiding this comment

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

LGTM!

@fewwwww fewwwww merged commit 75978e2 into master Jul 27, 2023
@fewwwww
Copy link
Collaborator

fewwwww commented Jul 27, 2023

closes #51 #48

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
3 participants