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.

Sign up for GitHub

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

Jump to bottom

Add longer forms, lte-> lessThanOrEqual #68

Closed
mitschabaude opened this issue Jan 19, 2022 · 3 comments · Fixed by #681
Closed

Add longer forms, lte-> lessThanOrEqual #68

mitschabaude opened this issue Jan 19, 2022 · 3 comments · Fixed by #681
Assignees
@Trivo25
Labels
to-discuss Issues to be discussed further
Milestone
Berkeley

Comments

@mitschabaude
Copy link
Collaborator

and deprecate (but not remove) short forms
@jasongitmail jasongitmail added this to the Berkeley milestone Feb 4, 2022
@Trivo25
Copy link
Member

Trivo25 commented Oct 23, 2022

Is this still something we want to do?

@mitschabaude
Copy link
Collaborator Author

dang, I forgot this. I assume our reasoning for why we wanted this didn't change -- so, yes!

@Trivo25
Copy link
Member

Trivo25 commented Oct 24, 2022

No worries! I was just going through the list to get myself an overview, and potentially sort out out-to-date issues :D

@mitschabaude mitschabaude added the to-discuss Issues to be discussed further label Jan 4, 2023
@Trivo25 Trivo25 mentioned this issue Jan 9, 2023
Merged
gabrielbosio pushed a commit to lambdaclass/o1js that referenced this issue Nov 17, 2023
@mitschabaude
Merge pull request o1-labs#68 from o1-labs/feature/evaluate-optional-…
8652d64 
…gate-selectors

Update bindings for optional column evaluations
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Trivo25 Trivo25

Labels
to-discuss Issues to be discussed further
Projects
None yet
Milestone
Berkeley
Development

Successfully merging a pull request may close this issue.

rename assertions to long form o1-labs/o1js
3 participants
@mitschabaude @Trivo25 @jasongitmail