Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • Alethe Alethe
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 13
    • Issues 13
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 0
    • Merge requests 0
  • Requirements
    • Requirements
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • veriT
  • AletheAlethe
  • Issues

  • Open 13
  • Closed 14
  • All 27
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • Make sure the Alethe consumers understand the additonall annotations (and ignore them)
    #27 · created Jun 25, 2022 by Hans-Jörg
    • 0
    updated Jun 25, 2022
  • Change TRUST rule to hole in Alethe checker and cvc5   1 of 2 tasks completed
    #26 · created Jun 24, 2022 by Hans-Jörg   needs global updates rules
    • 0
    updated Jun 25, 2022
  • Fix "assumptions before steps" in subproof   1 of 2 tasks completed
    #22 · created Jun 20, 2022 by Hans-Jörg   clarification format veriT
    • 0
    updated Jun 22, 2022
  • Finish formal semantic
    #18 · created Jun 08, 2022 by Hans-Jörg   format
    • 0
    updated Jun 08, 2022
  • Extend `la_generic` checking in that strengthenings may be needed
    #9 · created Nov 29, 2021 by Haniel Barbosa   rules
    • 1
    updated Nov 30, 2021
  • Sorting of Contexts   4 of 5 tasks completed
    #8 · created Aug 19, 2021 by Hans-Jörg   format needs global updates
    • 0
    updated Jun 20, 2022
  • Premises from outside of a subproof
    #7 · created Jul 16, 2021 by Hans-Jörg   clarification
    • 0
    updated Jul 16, 2021
  • Clarify rules restricted when generated from CVC4
    #6 · created Apr 15, 2021 by Hans-Jörg   rules
    • 1
    updated Apr 15, 2021
  • Check which rules can directly generate a clause
    #5 · created Apr 15, 2021 by Hans-Jörg   rules
    • 1
    updated Apr 15, 2021
  • Clarify when to unfold defined constants
    #4 · created Apr 15, 2021 by Hans-Jörg   rules
    • 0
    updated Apr 15, 2021
  • Remove `lia_generic`
    #3 · created Apr 15, 2021 by Hans-Jörg   rules veriT
    • 2
    updated Apr 16, 2021
  • Fine grained instantiation proofs
    #2 · created Apr 15, 2021 by Hans-Jörg   rules
    • 0
    updated Apr 15, 2021
  • Clarify and restrict resolution rule
    #1 · created Apr 15, 2021 by Hans-Jörg   rules
    • 1
    updated Jul 16, 2021