Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • Iris Iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 171
    • Issues 171
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 15
    • Merge requests 15
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • IrisIris
  • Merge requests
  • !475

Port HeapLang tactics to efficient style

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Tej Chajed requested to merge tchajed/iris-coq:efficient-heaplang-tactics into master Jul 14, 2020
  • Overview 10
  • Commits 4
  • Pipelines 0
  • Changes 1

Fixes #315 (closed) by porting all of the HeapLang tactics to a style that minimizes the number of environment parameters. This changes the implementations of wp_alloc, wp_load, wp_store, wp_free, wp_cmpxchg, wp_cmpxchg_suc, and wp_faa; there are other tactics but those don't have environments that can be removed.

Edited Jul 15, 2020 by Tej Chajed
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: efficient-heaplang-tactics