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
Clean leftovers
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-24
mlaurent
fix the done marking of multiple times taken transitions
commit
|
commitdiff
|
tree
2023-02-22
mlaurent
transitions in the same actor are dependent
commit
|
commitdiff
|
tree
2023-02-22
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-22
mlaurent
fix a few test with dpor
commit
|
commitdiff
|
tree
2023-02-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-17
mlaurent
Default is not to use sleep-set to agree with existing...
commit
|
commitdiff
|
tree
2023-02-17
mlaurent
match previous merge updates
commit
|
commitdiff
|
tree
2023-02-17
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-17
mlaurent
fix with full compiler warnings
commit
|
commitdiff
|
tree
2023-02-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-15
mlaurent
updated doc
commit
|
commitdiff
|
tree
2023-02-15
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-15
mlaurent
adding documentation
commit
|
commitdiff
|
tree
2023-02-14
mlaurent
adding option for sleep set
commit
|
commitdiff
|
tree
2023-02-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-02-13
mlaurent
adding sleep sets to reduction techniques
commit
|
commitdiff
|
tree
2023-02-10
mlaurent
Fix for MC DPOR algorithm
commit
|
commitdiff
|
tree