rarias/jungle
2
0
Fork 3
Code Issues 57 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Conversation 1 Commits 1013 Files Changed 120 +1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 5ac581b573 - Show all commits

2
garlic/exp/creams/granularity.nix
View File

@@ -19,9 +19,9 @@ let
gitBranch = [
"garlic/tampi+isend+oss+task"
"garlic/mpi+isend+omp+task"
"garlic/mpi+send+seq"
] ++ optionals (enableExtended) [
#"garlic/mpi+send+omp+fork" # Don't use fork for granularity
"garlic/mpi+send+seq"
"garlic/mpi+send+omp+task"
"garlic/mpi+send+oss+task"
"garlic/mpi+isend+oss+task"