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
Regenerate tesh files (one more time).
2023-03-30
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-30
mlaurent
Rename guide as strategy and fix counter-example display...
commit
|
commitdiff
|
tree
2023-03-30
mlaurent
Replace state copy with recipe: list of transition...
commit
|
commitdiff
|
tree
2023-03-29
mlaurent
Add missing file
commit
|
commitdiff
|
tree
2023-03-28
mlaurent
Change opened states for a priority queue
commit
|
commitdiff
|
tree
2023-03-27
mlaurent
Abide by both compiler warnings
commit
|
commitdiff
|
tree
2023-03-27
mlaurent
Now handle random transition and multiple times transitions
commit
|
commitdiff
|
tree
2023-03-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-24
mlaurent
Add copy constructor to state, so we can backtrack...
commit
|
commitdiff
|
tree
2023-03-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-23
mlaurent
try to fix stack handling
commit
|
commitdiff
|
tree
2023-03-21
mlaurent
fix order of execute_next calls
commit
|
commitdiff
|
tree
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-20
mlaurent
add wait guide and mofidication for the heuristic computation
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
Bases for wait distance guide
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
Move DPOR and sleep set algorithm from backtrack to...
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
Replace todo direct access with consider methods; guided...
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
BasicGuide handle next_transition if asked to
commit
|
commitdiff
|
tree
2023-03-18
mlaurent
Add GuidedState abstract class; move ActorState management
commit
|
commitdiff
|
tree
2023-03-17
mlaurent
Add reference to parent state: only use this creation...
commit
|
commitdiff
|
tree
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