A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use type aid_t for an actor's PID.
2023-02-20
Maxwell Pirtle
Send actor action probes one at a time
commit
|
commitdiff
|
tree
2023-02-16
Maxwell Pirtle
Initialize uninitialized transition for root state
commit
|
commitdiff
|
tree
2023-02-16
Maxwell Pirtle
Fix root-node edge cases for states
commit
|
commitdiff
|
tree
2023-02-15
Maxwell Pirtle
Add note about resetting `times_considered`
commit
|
commitdiff
|
tree
2023-02-15
Maxwell Pirtle
Replace pending transition with latest execution
commit
|
commitdiff
|
tree
2023-02-14
Maxwell Pirtle
Fix condition for XBT_DECLARE_ENUM_CLASS
commit
|
commitdiff
|
tree
2023-02-13
Maxwell Pirtle
Finalize passing transitions during model checking
commit
|
commitdiff
|
tree
2023-02-10
Maxwell Pirtle
Add intial steps to transfer transitions to the MC
commit
|
commitdiff
|
tree
2023-02-09
Maxwell Pirtle
Add patch for arm64 Ubuntu 22.04 in UnwindContext
commit
|
commitdiff
|
tree