Merge complete code base into master #15

Merged

ed1223 merged 4 commits from merged-complete into master 2024-10-23 19:05:46 +00:00

Conversation 4 Commits 4 Files Changed 2

+72 -75

4 Commits

Author	SHA1	Message	Date
EDiasAlberto	20be75748c	replace thread_mlfqs checks in priority calculations with assertions	2024-10-23 19:57:17 +01:00
EDiasAlberto	d8c843f16a	add mlfqs condition checking in synchronisation primitives	2024-10-23 19:37:27 +01:00
EDiasAlberto	1fb101c365	remove repeated comparator and reorder thread_init operations	2024-10-23 18:56:48 +01:00
EDiasAlberto	c357126cc1	fix missing curly brace	2024-10-23 17:51:48 +01:00