Skip to content

GitLab

Projects
Groups
Snippets
Help

Loading...
Help
Sign in / Register

Project overview
Repository
Issues 0
Merge Requests 1
- Merge Requests 1
CI / CD
Operations
Analytics
Wiki
- Wiki
Snippets
- Snippets
Members
- Members
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards

Collapse sidebar

Iris
examples
Merge Requests
!27

Merged

Opened Nov 07, 2019 by Amin Timany @amintimanyDeveloper

Fix logrel soundness proofs

Overview 23
Commits 3
Pipelines 4
Changes 5

Assignee

Assign to

Reviewer

Request review from

None

Milestone

None

Assign milestone

Time tracking

Reference: iris/examples!27

Source branch: ci/amin/fix-logrell-soundness