8000 Inconsistencies in error handling for State.define · Issue #5479 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Inconsistencies in error handling for State.define #5479
New issue
New issue
Open
Open
Inconsistencies in error handling for State.define#5479
Labels
part: STMState Transition Machine, asynchronous proofs, etc.
@coqbot

Description

@coqbot
coqbot
opened on Apr 20, 2017

Note: the issue was created automatically with bugzilla2github tool

Original bug ID: BZ#5479
From: @ejgallego
Reported version: trunk
CC: @ejgallego, @herbelin

Metadata

Metadata

Assignees

No one assigned

    Labels

    part: STMState Transition Machine, asynchronous proofs, etc.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0