Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Merge requests
!145
add bitmap with 256 priorities
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kimaya Bedarkar
requested to merge
ci/verifybitmap
into
master
Apr 20, 2023
Overview
19
Commits
23
Pipelines
28
Changes
8
Expand
Fix small errors in Coqproject and Makefile for scheduler
Delete bitmap with 64 priorities
Add bitmap with 256 priorities
Merge request reports