Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • I Iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Rice Wine
  • Iris
  • Repository
Switch branch/tag
  • iris
  • iris
  • hoare_lifting.v
Find file BlameHistoryPermalink
  • Robbert Krebbers's avatar
    Make names in hoare_lifting more consistent with those in lifting. · a7996f11
    Robbert Krebbers authored Feb 02, 2016
    Still, there are some other inconsistencies between these two files
    that may need fixing, like whether to take fork into account or not
    and order of arguments.
    a7996f11

Replace hoare_lifting.v

Attach a file by drag & drop or click to upload


Cancel
GitLab will create a branch in your fork and start a merge request.