Skip to content

add bitmap with 256 priorities

Kimaya Bedarkar requested 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