Skip to content

add and verify simpler bitmap implementation

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.

Merge request reports