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

add and verify simpler bitmap implementation

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Kimaya Bedarkar requested to merge kimaya/verifySimpleBitmap into ci/example-scheduler May 02, 2022
  • Overview 1
  • Commits 1
  • Pipelines 0
  • Changes 5

This MR introduces the file priority_modified.h. This file contains an alternate implementation of the bitmap that only supports 64 priorities and is, therefore, easier to verify. This alternate implementation of the bitmap is fully verified.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: kimaya/verifySimpleBitmap