Skip to content

add bitmap with 256 priorities

Kimaya Bedarkarrequested to merge
ci/verifybitmap into master
  • Fix small errors in Coqproject and Makefile for scheduler
  • Delete bitmap with 64 priorities
  • Add bitmap with 256 priorities

Merge request reports