Skip to content

add and verify simpler bitmap implementation

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.

Merge request reports