8000 Implement bitwise >=, >, <=, < gadgets · Issue #44 · ProvableHQ/leo · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Implement bitwise >=, >, <=, < gadgets #44
New issue
New issue
Closed
#73
Closed
Implement bitwise >=, >, <=, < gadgets#44
#73
Labels
bugSomething isn't workingfeatureA new feature.
Milestone
 
Leo Developer Preview I
@collinc97

Description

@collinc97
collinc97
opened on Jun 5, 2020

Currently integer >=, >, <=, < is only supported at the evaluation level for leo primitives.
This means that these operators are not enforced in the constraint system.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingfeatureA new feature.

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0