Skip to content
GitLab
Explore
Sign in
Register
simgrid
simgrid
Merge requests
Open
1
Merged
161
Closed
21
All
183
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Guiding Backtrack in DFSExplorer
!143
· created
Mar 28, 2023
by
Mathieu Laurent
Merged
8
updated
Mar 31, 2023
Add battery plugin and fix DAG doc
!142
· created
Mar 27, 2023
by
Adrien
Merged
3
updated
Mar 31, 2023
Phase 6 of UDPOR Integration: Add `K`-partial alternatives computation + clean up phase
!139
· created
Mar 16, 2023
by
Maxwell Pirtle
Merged
15
updated
Mar 22, 2023
First step for guided state
!141
· created
Mar 18, 2023
by
Mathieu Laurent
Merged
0
updated
Mar 18, 2023
Add reference to parent state
!140
· created
Mar 17, 2023
by
Mathieu Laurent
Merged
1
updated
Mar 17, 2023
Add wfformat json DAG loader and DAG doc
!137
· created
Mar 10, 2023
by
Adrien
Merged
0
updated
Mar 13, 2023
Phase 5 of UDPOR Integration: Implementing Conflict Checks
!138
· created
Mar 10, 2023
by
Maxwell Pirtle
Merged
4
updated
Mar 10, 2023
Phase 4 of UDPOR Integration: Variable For-loop
!136
· created
Mar 07, 2023
by
Maxwell Pirtle
Merged
1
updated
Mar 08, 2023
Phase 3 of UDPOR Integration: Iteration Over Maximal Sets of a Configuration
!135
· created
Mar 03, 2023
by
Maxwell Pirtle
Merged
4
updated
Mar 05, 2023
Phase 2.5 of UDPOR Integration: Add Iterators for Subsets
!134
· created
Feb 28, 2023
by
Maxwell Pirtle
Merged
4
updated
Feb 28, 2023
Fixes on DPOR algorithm for MC SimGrid and sleep sets addition
!128
· created
Feb 15, 2023
by
Mathieu Laurent
Merged
1
updated
Feb 26, 2023
Phase 2 of UDPOR Integration: Add topological sorting of events in a configuration
!133
· created
Feb 24, 2023
by
Maxwell Pirtle
Merged
1
updated
Feb 24, 2023
Phase 1 of Integration of UDPOR: Adding UDPOR Constructs
!132
· created
Feb 20, 2023
by
Maxwell Pirtle
Merged
Approved
1
updated
Feb 23, 2023
Add the ability to allow colorized compiler output through CMake
!130
· created
Feb 17, 2023
by
Maxwell Pirtle
Closed
1
5
updated
Feb 20, 2023
Send actor action probes one at a time
!131
· created
Feb 20, 2023
by
Maxwell Pirtle
Merged
2
updated
Feb 20, 2023
Fix root node edge case for `State` instance
!129
· created
Feb 16, 2023
by
Maxwell Pirtle
Merged
3
updated
Feb 16, 2023
Serialize pending transitions when responding to `ACTOR_STATUS` messages on the application side
!127
· created
Feb 13, 2023
by
Maxwell Pirtle
Merged
9
updated
Feb 16, 2023
Add patch for arm64 Ubuntu 22.04 in `UnwindContext`
!126
· created
Feb 09, 2023
by
Maxwell Pirtle
Merged
7
updated
Feb 09, 2023
add link to simgrid-fmi doc in sphinx doc
!125
· created
Jan 18, 2023
by
Adrien
Merged
0
updated
Jan 18, 2023
fix doc typo
!124
· created
Jan 17, 2023
by
Adrien
Merged
Approved
0
updated
Jan 17, 2023
Prev
1
2
3
4
5
6
7
…
10
Next