A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model-checker : change printf for size_t variables
[simgrid.git]
/
src
/
mc
/
mc_request.c
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
blob
|
commitdiff
|
raw
2011-10-20
Martin Quinson
merge branches
blob
|
commitdiff
|
raw
|
diff to current
2011-04-20
Christophe Thiéry
MC: make the output independent of the type of processo...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-08
Pierre-Nicolas Clauss
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-08
Navarrop
Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-07
Christophe Thiéry
MC: perform actual model-checking in tesh tests
blob
|
commitdiff
|
raw
|
diff to current
2011-03-24
agiersch
Replace, when possible, calls to bprintf() by calls...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-21
thiery
Fix a comparison between different enums
blob
|
commitdiff
|
raw
|
diff to current
2011-02-15
cristianrosa
If --cfg=model-check:2 was passed, use a DFS exploration.
blob
|
commitdiff
|
raw
|
diff to current
2011-02-04
schnorr
model-check output more parsable
blob
|
commitdiff
|
raw
|
diff to current
2011-01-26
cristianrosa
Bugfix: return testany requests' result when they succe...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-26
cristianrosa
Bugfix: the dependence relation between isend/irecv...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-26
cristianrosa
Improve independence detection and request pretty printing.
blob
|
commitdiff
|
raw
|
diff to current
2011-01-26
cristianrosa
Improve the show stack function. (Now it prints the...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-20
cristianrosa
Let the model-checker decide if the wait transitions...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-20
cristianrosa
Code refactor: move the functions associated to the...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-20
cristianrosa
Bugfix: do not compare comm actions to decide if they...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-20
cristianrosa
Translate the executed TestAny and WaitAny requests...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-20
cristianrosa
Bugfix: do not assume that request of different type...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-05
cristianrosa
Add suport for TestAny and WaitAny requests to the...
blob
|
commitdiff
|
raw
|
diff to current
2010-12-16
cristianrosa
Improve the debugging information
blob
|
commitdiff
|
raw
|
diff to current
2010-12-02
thiery
Biggest commit ever (SIMIX2): the user processes can...
blob
|
commitdiff
|
raw
|
diff to current