8000 `bitc` could be extended to support constraints · Issue #117 · anoma/geb · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
bitc could be extended to support constraints #117
New issue
New issue
Open
Open
bitc could be extended to support constraints#117
Labels
enhancementNew feature or request
@rokopt

Description

@rokopt
rokopt
opened on May 3, 2023

If we extend the bitc category which exposes VampIR APIs to Geb, then Geb's upcoming equalizers could either be erased by compile-time proofs or compiled to constraints which would alleviate the programmer's need to prove that constraints were satisfied. See #105 (comment) for some details.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0