Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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
ed1223 commented 2024-10-23 19:03:48 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

Merge priority donation code and BSD Scheduler code. Refactor and add assertions to ensure encapsulation of functionality for each process, without affecting each other.

Merge priority donation code and BSD Scheduler code. Refactor and add assertions to ensure encapsulation of functionality for each process, without affecting each other.
ed1223 commented 2024-10-23 19:03:48 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

assigned to @ed1223

assigned to @ed1223
ed1223 (Migrated from gitlab.doc.ic.ac.uk) scheduled this pull request to auto merge when all checks succeed 2024-10-23 19:04:06 +00:00
ed1223 commented 2024-10-23 19:05:20 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

approved this merge request

approved this merge request
ed1223 (Migrated from gitlab.doc.ic.ac.uk) canceled auto merging this pull request when all checks succeed 2024-10-23 19:05:30 +00:00
ed1223 commented 2024-10-23 19:05:46 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit e749936b1f

mentioned in commit e749936b1fc3eb508701bdc1aa0fab5ef593f263
ed1223 (Migrated from gitlab.doc.ic.ac.uk) merged commit e749936b1f into master 2024-10-23 19:05:46 +00:00
ed1223 (Migrated from gitlab.doc.ic.ac.uk) approved these changes 2025-10-16 16:43:33 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
ed1223
Labels
No items
No Label
Milestone
No items
No Milestone Task 1: Scheduling
Projects
Clear projects
No project
Assignees
Clear assignees
cyclane
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/pintos_22#15
No description provided.
Delete Branch "merged-complete"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?