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
Fixed some compilation issues (warnings) in last commits
[simgrid.git]
/
src
/
mc
/
mc_request.c
2012-01-30
Marion Guthmuller
model-checker : merge conflict resolved
blob
|
commitdiff
|
raw
2012-01-30
Martin Quinson
add proper copyright headers to the MC files
blob
|
commitdiff
|
raw
2012-01-30
Martin Quinson
mv src/mc/private.h src/mc/mc_private.h
blob
|
commitdiff
|
raw
|
diff to current
2012-01-30
Marion Guthmuller
model-checker : fix compilation error
blob
|
commitdiff
|
raw
|
diff to current
2012-01-30
Marion Guthmuller
merge conflict resolved
blob
|
commitdiff
|
raw
|
diff to current
2012-01-25
Christophe Thiéry
SIMIX refactoring: replace 'request' by a more precise...
blob
|
commitdiff
|
raw
|
diff to current
2012-01-11
Marion Guthmuller
merge conflicts resolved
blob
|
commitdiff
|
raw
|
diff to current
2012-01-10
Arnaud Giersch
Fix test, and remove duplicated checks.
blob
|
commitdiff
|
raw
|
diff to current
2012-01-09
Martin Quinson
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
blob
|
commitdiff
|
raw
|
diff to current
2011-12-13
Marion Guthmuller
Merge branch 'master' into MC_LTL
blob
|
commitdiff
|
raw
|
diff to current
2011-12-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
blob
|
commitdiff
|
raw
|
diff to current
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
blob
|
commitdiff
|
raw
|
diff to current
2011-11-30
Marion Guthmuller
Merge branch 'master' into MC_LTL
blob
|
commitdiff
|
raw
|
diff to current
2011-11-22
Marion Guthmuller
merge conflicts
blob
|
commitdiff
|
raw
|
diff to current
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
blob
|
commitdiff
|
raw
|
diff to current
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