add bitmap with 256 priorities (!145) · Merge requests · Iris / RefinedC · GitLab

Merged Kimaya Bedarkar requested to merge ci/verifybitmap into master Apr 20, 2023

Fix small errors in Coqproject and Makefile for scheduler
Delete bitmap with 64 priorities
Add bitmap with 256 priorities