Skip to content
GitLab

add and verify simpler bitmap implementation

Merged Kimaya Bedarkar requested to merge kimaya/verifySimpleBitmap into ci/example-scheduler

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.