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

Merge code refactors into main branch #16

Merged
ed1223 merged 8 commits from merged-complete into master 2024-10-24 22:15:25 +00:00
Conversation 4 Commits 8 Files Changed 4 +100 -100
ed1223 commented 2024-10-24 22:08:28 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
  • Refactor code to minimise unnecessary thread_mlfqs checks
  • Rename functions for clarity
  • Adjust styling to maintain a single standard
- Refactor code to minimise unnecessary thread_mlfqs checks - Rename functions for clarity - Adjust styling to maintain a single standard
sb3923 commented 2024-10-24 22:14:45 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

approved this merge request

approved this merge request
sb3923 commented 2024-10-24 22:15:14 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

LGTM. Thanks Ethan for the changes!

LGTM. Thanks Ethan for the changes!
sb3923 commented 2024-10-24 22:15:25 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit c4cefbc2d5

mentioned in commit c4cefbc2d53018d6433fdaf332a4140bf35a5f5c
sb3923 (Migrated from gitlab.doc.ic.ac.uk) merged commit c4cefbc2d5 into master 2024-10-24 22:15:25 +00:00
sb3923 (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
sb3923
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#16
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?