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
Restructure teshsuite simix
[simgrid.git]
/
src
/
mc
/
mc_dpor.c
2014-04-29
Marion Guthmuller
model-checker : deal with the soundness of DPOR only...
blob
|
commitdiff
|
raw
2014-04-29
Marion Guthmuller
model-checker : fix the detection of determinism
blob
|
commitdiff
|
raw
|
diff to current
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Gabriel Corona
Merge branch 'mc++'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-06
Gabriel Corona
Merge branch 'mc' into mc++
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Gabriel Corona
Merge branch 'mc++' into mc-merge
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Gabriel Corona
[mc] Log some information for the prefiltering phase...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge branch 'mc' into mc++
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge bugfix from branch mc-refactor
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge branches 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
[mc] Fix format strings
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Marion Guthmuller
model-checker : print comm pattern
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Marion Guthmuller
model-checker : use separate configuration flags for...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-24
Gabriel Corona
Merge 'master' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-02-24
Gabriel Corona
Merge branch 'mc-perf' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-02-18
Marion Guthmuller
model-checker : conflit
blob
|
commitdiff
|
raw
|
diff to current
2014-02-18
Marion Guthmuller
model-checker : new configuration flag for the detectio...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-18
Marion Guthmuller
model-checker : remove or comment some printf
blob
|
commitdiff
|
raw
|
diff to current
2014-02-14
Gabriel Corona
[mc] Doxygen mc_dpor.c (and some mc_liveness.c)
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
Merge branch mc into mc-perf
blob
|
commitdiff
|
raw
|
diff to current
2014-02-07
Gabriel Corona
[mc] Disable communication pattern code (segfault)
blob
|
commitdiff
|
raw
|
diff to current
2014-02-05
Arnaud Giersch
Add/update copyright notices.
blob
|
commitdiff
|
raw
|
diff to current
2014-01-31
Gabriel Corona
[mc] Comment logging in order to fix the unit tests
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Marion Guthmuller
Merge remote-tracking branch 'origin/libdw2'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-16
Marion Guthmuller
model-checker : first steps for the study of MPI commun...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-08
Paul Bédaride
Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-08
Paul Bédaride
Merge tag 'v3_9_90' into hypervisor
blob
|
commitdiff
|
raw
|
diff to current
2013-10-30
Paul Bédaride
Merge commit '045db1657e870c721be490b411868f4181a12ced...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-07
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-06
Marion Guthmuller
model-checker : fix memory leak in ddfs algorithm
blob
|
commitdiff
|
raw
|
diff to current
2013-10-06
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-04
Marion Guthmuller
model-checker : ignore information about simix_global...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-04
Marion Guthmuller
model-checker : restore sequential system state compari...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-01
Marion Guthmuller
model-checker : parallel system state comparison for...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-26
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-25
Arnaud Giersch
Dig through git history, and update copyright lines.
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-10
Marion Guthmuller
model-checker : fix DPOR with visited states reduction
blob
|
commitdiff
|
raw
|
diff to current
2013-08-10
Marion Guthmuller
model-checker : fix dot_output with DPOR
blob
|
commitdiff
|
raw
|
diff to current
2013-08-05
Marion Guthmuller
model-checker : new primitive MC_max_depth, to define...
blob
|
commitdiff
|
raw
|
diff to current
2013-07-01
acarpena
Merge branch 'dvfs'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-28
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
blob
|
commitdiff
|
raw
|
diff to current
2013-06-19
Paul Bédaride
Merge branch 'master' into hypervisor
blob
|
commitdiff
|
raw
|
diff to current
2013-06-13
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-06-13
Marion Guthmuller
model-checker : improve debug messages
blob
|
commitdiff
|
raw
|
diff to current
2013-06-02
Marion Guthmuller
model-checker : fix dpor with dot_output
blob
|
commitdiff
|
raw
|
diff to current
2013-05-31
Marion Guthmuller
model-checker : initialize variables
blob
|
commitdiff
|
raw
|
diff to current
2013-05-31
Marion Guthmuller
model-checker : remove comment and add debug message
blob
|
commitdiff
|
raw
|
diff to current
2013-05-31
Marion Guthmuller
model-checker : simplify algorithm for the verification...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-15
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-10
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Marion Guthmuller
model-checker : state at max depth may have none interl...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
alebre
Merge branch 'master' into hypervisor
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Marion Guthmuller
model-checker : create dot_output file after MC_do_the_...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-25
Marion Guthmuller
model-checker : variable declaration deleted with a...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-25
Marion Guthmuller
model-checker : add variable deleted before to resolve...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-25
Marion Guthmuller
model-checker : last fix in DPOR algorithm if max depth...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-25
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-25
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-21
Arnaud Giersch
Dumb commit: kill empty line.
blob
|
commitdiff
|
raw
|
diff to current
2013-03-21
Arnaud Giersch
Kill unused variable.
blob
|
commitdiff
|
raw
|
diff to current
2013-03-21
Marion Guthmuller
model-checker : use xbt_free_f instead of a new functio...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-21
Marion Guthmuller
model-checker : fix soundness of DPOR algorithm if...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-19
Marion Guthmuller
model-checker : store heap_bytes_used and number of...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-19
Marion Guthmuller
model-checker : cleanups
blob
|
commitdiff
|
raw
|
diff to current
2013-03-16
Marion Guthmuller
model-checker : fix dpor
blob
|
commitdiff
|
raw
|
diff to current
2013-03-16
Marion Guthmuller
model-checker : new model-checker configuration model...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-16
Marion Guthmuller
model-checker : return state number if the current...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-21
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-21
alebre
Merge with master and fix conflicts
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Arnaud Giersch
Merge branch 'v3_9_x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Marion Guthmuller
model-checker : start heap comparison from local variables
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Marion Guthmuller
model-checker : get bytes used in std_heap instead...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Arnaud Giersch
Incorporate simgrid-java in simgrid-java/.
blob
|
commitdiff
|
raw
|
diff to current
2013-01-17
Arnaud Giersch
Merge branch 'master' into vmtrace
blob
|
commitdiff
|
raw
|
diff to current
2013-01-16
Jonathan Rouzaud...
Merge with master
blob
|
commitdiff
|
raw
|
diff to current
2013-01-16
Marion Guthmuller
model-checker : apply independance reduction at each...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-16
Marion Guthmuller
model-checker : minor fix in dpor algorithm
blob
|
commitdiff
|
raw
|
diff to current
2013-01-14
Marion Guthmuller
model-checker : use a global timer for snapshot compari...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-11
Marion Guthmuller
model-checker : add chunks used into snapshot structure...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-03
Marion Guthmuller
model-checker : fix dichotomic search and insertion...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-03
Marion Guthmuller
model-checker : update list of visited states during...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
Marion Guthmuller
model-checker : fix sorting of visited states and state...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-01
Marion Guthmuller
model-checker : sorting of visited states according...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-20
Marion Guthmuller
model-checker : fix dpor with state equality reduction
blob
|
commitdiff
|
raw
|
diff to current
2012-12-20
Marion Guthmuller
model-checker : remove restriction of DPOR if several...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-18
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-17
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-17
Paul Bédaride
Restructure config headers
blob
|
commitdiff
|
raw
|
diff to current
2012-12-17
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-16
Marion Guthmuller
model-checker : interleave all enabled processes for...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-10
Marion Guthmuller
model-checker : fix dpor algorithm if max depth reached
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Jonathan Rouzaud...
update
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Marion Guthmuller
model-checker : rename cfg flag for state comparison...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Marion Guthmuller
model-checker : stop independance reduction if same...
blob
|
commitdiff
|
raw
|
diff to current
next