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

feat: parallelised compilation #39

Merged
gk1623 merged 18 commits from gleb/parallelisation into master 2025-03-13 01:08:58 +00:00
Conversation 2 Commits 18 Files Changed 7 +349 -232
gk1623 commented 2025-03-12 23:36:05 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
  • support compilation of multiple files in one command
  • implement parallelisation for multiple files in one command
  • use Decline instead of SCOpt for CLI arguments (cats!)
- support compilation of multiple files in one command - implement parallelisation for multiple files in one command - use Decline instead of SCOpt for CLI arguments (cats!)
gk1623 commented 2025-03-12 23:36:05 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

requested review from @jt2622

requested review from @jt2622
gk1623 commented 2025-03-13 01:08:59 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit 905a5e5b61

mentioned in commit 905a5e5b614c8568a2ccd086ac5d40a66397be64
gk1623 (Migrated from gitlab.doc.ic.ac.uk) merged commit 905a5e5b61 into master 2025-03-13 01:08:59 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
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/WACC_37#39
No description provided.
Delete Branch "gleb/parallelisation"

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?