Skip to content
GitLab

add and verify simpler bitmap implementation

Closed Kimaya Bedarkar requested to merge kimaya/bitmapVerify 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 bitmap is fully verified.