Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 84
    • Issues 84
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 9
    • Merge requests 9
  • 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
  • stdpp
  • Merge requests
  • !341

Add bool_to_Z

  • Review changes

  • Download
  • Patches
  • Plain diff
Merged Michael Sammler requested to merge msammler/bool_to_Z into master Nov 30, 2021
  • Overview 12
  • Commits 1
  • Pipelines 5
  • Changes 2

This MR adds bool_to_Z which has been used as Z_of_bool in both RefinedC and RustBelt. There is not much theory for it as most of the time one can reason about it by computation.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: msammler/bool_to_Z