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
[mc] Fix printf format
[simgrid.git]
/
src
/
include
/
2015-05-19
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2015-04-28
Gabriel Corona
[mc] Move stacks_areas code in mcer_ignore
tree
|
commitdiff
2015-04-27
Gabriel Corona
Merge branch 'master' into mc
tree
|
commitdiff
2015-04-23
Marion Guthmuller
model-checker : really fix mc dependancies with MC...
tree
|
commitdiff
2015-04-23
Marion Guthmuller
model-checker : fix dependancies without MC
tree
|
commitdiff
2015-04-17
Gabriel Corona
[mc] Remove soft dirty page tracking
tree
|
commitdiff
2015-04-17
Gabriel Corona
[mc] Remove standalone mode and remove MC_do_the_modelc...
tree
|
commitdiff
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
tree
|
commitdiff
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
tree
|
commitdiff
2015-04-08
Adrien Lebre
Merge before commiting VM changes - Adrien
tree
|
commitdiff
2015-04-04
Martin Quinson
cleanups and simplifications to our build system
tree
|
commitdiff
2015-04-04
Martin Quinson
rename parameters all around to make their meaning...
tree
|
commitdiff
2015-03-10
Gabriel Corona
Merge branch 'master' into mc-process
tree
|
commitdiff
2015-02-24
Marion Guthmuller
model-checker : non-progressive cycle detection (enable...
tree
|
commitdiff
2015-02-22
Martin Quinson
SMPI: info message when the collective algorithm is...
tree
|
commitdiff
2015-02-18
Arnaud Legrand
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2015-02-12
Gabriel Corona
Merge master into mc-process
tree
|
commitdiff
2015-02-12
Gabriel Corona
[mc] Make an option for file descriptor snapshot (off...
tree
|
commitdiff
2015-02-06
Gabriel Corona
[mc] New message for stack_area
tree
|
commitdiff
2015-02-06
Gabriel Corona
[mc] Do not call malloc_no_memset in mc_snapshot
tree
|
commitdiff
2015-01-30
Gabriel Corona
[mc] Remote unwinding support
tree
|
commitdiff
2014-12-08
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-12-04
Gabriel Corona
[mc] Move process info in a new s_mc_process_t structure
tree
|
commitdiff
2014-12-04
Gabriel Corona
Merge branch 'master'
tree
|
commitdiff
2014-12-02
Gabriel Corona
[mc] Modularise header files for MC
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Initial support MC record/replay
tree
|
commitdiff
2014-11-28
Adrien Lebre
merge msg_vm.c - adrien (please note that there is...
tree
|
commitdiff
2014-10-22
etortilopez
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-10-16
Augustin Degomme
Add a new Infiniband network model, based on the works...
tree
|
commitdiff
2014-10-16
Augustin Degomme
Add a safe version of lmm_get_var_from_cnst to avoid...
tree
|
commitdiff
2014-08-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-08-11
Paul Bédaride
Add vm tesh
tree
|
commitdiff
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-25
Gabriel Corona
[mc] Make state/snapshot comparison work with SMPI...
tree
|
commitdiff
2014-07-25
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-07-24
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-17
Augustin Degomme
fabien's work on surf
tree
|
commitdiff
2014-07-16
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-16
Augustin Degomme
use global variables to store values that may be used...
tree
|
commitdiff
2014-07-16
Takahiro Hirofuchi
migration: fix status check of migration
tree
|
commitdiff
2014-07-08
Gabriel Corona
Merge branch 'mc-fix' into mc-fastsnapshot
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
tree
|
commitdiff
2014-06-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Use an unordered_set for compared_pointers instead...
tree
|
commitdiff
2014-06-20
Stéphane Castelli
Remove some unbreakable spaces breaking the pdf generation
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Config to disable soft-dirty page tracking --cfg...
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : cleanups, refactoring and apply indent...
tree
|
commitdiff
2014-05-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-05-27
suter
changing type of offset parameter in file_seek from...
tree
|
commitdiff
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
tree
|
commitdiff
2014-05-24
Martin Quinson
make the xbt_os_time module public
tree
|
commitdiff
2014-05-24
Martin Quinson
update the comments of that file
tree
|
commitdiff
2014-05-16
Paul Bédaride
Unify models apis
tree
|
commitdiff
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-05-07
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-05-06
Augustin Degomme
add MSG_get_as_by_name call, answering [#17311]
tree
|
commitdiff
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
tree
|
commitdiff
2014-04-14
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-04-14
Gabriel Corona
Merge branch 'mc-perf'
tree
|
commitdiff
2014-04-11
suter
simplify the way free and used space are accessed
tree
|
commitdiff
2014-04-08
Arnaud Giersch
Add missing XBT_PUBLIC*.
tree
|
commitdiff
2014-04-08
Paul Bédaride
Add example of java cpu model
tree
|
commitdiff
2014-04-08
Gabriel Corona
Merge remote-tracking branch 'origin/mc'
tree
|
commitdiff
2014-04-04
Augustin Degomme
add XBT_PUBLIC_CLASS macro, and a bunch of XBT_PUBLIC...
tree
|
commitdiff
2014-04-03
Arnaud Legrand
Distinguish between time precision and sharing precision.
tree
|
commitdiff
2014-04-03
Arnaud Legrand
Start documenting how lmm works
tree
|
commitdiff
2014-04-01
Pierre Veyre
Fix MSG_file_rcopy() and MSG_file_rmove()
tree
|
commitdiff
2014-04-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-04-01
Pierre Veyre
remove MSG_file_ls()
tree
|
commitdiff
2014-03-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-25
Gabriel Corona
Merge branch 'mc++'
tree
|
commitdiff
2014-03-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-25
Pierre Veyre
prepare MSG_file_rcopy()
tree
|
commitdiff
2014-03-24
Arnaud Giersch
Fix doxygen comment: parameter does not exist.
tree
|
commitdiff
2014-03-24
Pierre Veyre
Removes MSG_storage_file_rename()
tree
|
commitdiff
2014-03-24
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-23
Martin Quinson
move back the protected interface of platforms to the...
tree
|
commitdiff
2014-03-22
Arnaud Giersch
Fix doxygen comments.
tree
|
commitdiff
2014-03-22
Arnaud Giersch
Move win32_ucontext.h to private area.
tree
|
commitdiff
2014-03-22
Arnaud Giersch
Header platf_interface.h needs to be public (included...
tree
|
commitdiff
2014-03-22
Arnaud Giersch
Disable mmalloc when !HAVE_MC.
tree
|
commitdiff
2014-03-21
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-21
Gabriel Corona
[mc] Avoid heap collisions by using a bigger gap bewtee...
tree
|
commitdiff
2014-03-21
Gabriel Corona
Merge branch 'mc++'
tree
|
commitdiff
2014-03-21
Gabriel Corona
Increase the MC heap size as a quickfix for the heap...
tree
|
commitdiff
2014-03-19
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-19
Pierre Veyre
Modify MSG_file_open() implementation
tree
|
commitdiff
2014-03-18
Gabriel Corona
[mc] Add location field in struct/class-members
tree
|
commitdiff
2014-03-10
Pierre Veyre
Add SD_storage_get_host() and MSG_storage_get_host()
tree
|
commitdiff
2014-03-10
Pierre Veyre
MSG_host_get_attached_storage_list and SD_workstation_g...
tree
|
commitdiff
2014-03-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-03-07
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-07
Pierre Veyre
Add "attach" attribute to storage tag in platform descr...
tree
|
commitdiff
2014-03-06
Gabriel Corona
Merge branch 'mc' into mc++
tree
|
commitdiff
2014-02-28
Gabriel Corona
Merge branch 'mc++' into mc-merge
tree
|
commitdiff
2014-02-25
Gabriel Corona
[mc] Handle DW_TAG_class_type as DW_TAG_structure_type...
tree
|
commitdiff
2014-02-25
Gabriel Corona
Merge branch 'mc' into mc++
tree
|
commitdiff
2014-02-25
Gabriel Corona
Merge bugfix from branch mc-refactor
tree
|
commitdiff
next