Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : init var
[simgrid.git] / src / instr /
2013-09-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2013-09-24 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-23 Arnaud GierschThere's no need to dup these strings (memleak--).
2013-09-23 Arnaud GierschUse xbt_cfg_setdefault everywhere.
2013-09-18 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-08-29 Augustin Degommeadd option tracing/smpi/display_sizes to display size...
2013-04-25 Nicolas BonichonMerge branch 'bittorrent'
2013-04-15 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-04-15 Jonathan Rouzaud... Add new tracing options to reduce the size of the traces
2013-03-29 Augustin Degommeadd a cfg:tracing/smpi/internals option, to trace all...
2013-02-20 Arnaud GierschAvoid to export internal variables.
2013-02-20 Arnaud GierschFix a few memory leaks.
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-11 Augustin Degommevarious fixes to hopefully compile under win32
2013-02-11 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-05 Arnaud GierschMerge branch 'v3_9_x'
2013-02-04 Arnaud GierschAvoid to return from inside a TRY block.
2013-01-31 Arnaud GierschMerge branch 'with_java'
2013-01-31 Maximiliano GeierAdded xbt_dynar_remove_n_at to remove an n-sized slice...
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Arnaud GierschMerge remote-tracking branch 'github/master'
2013-01-30 Paul BédarideSet a fixed seed for srand and srand48
2013-01-21 Arnaud GierschMake it build again after commit 48404c66fc4d8248308db1...
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-17 Arnaud GierschMerge branch 'vmtrace' again (don't try to undersatand...
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-17 Arnaud GierschMissing declaration.
2013-01-16 Jonathan Rouzaud... Merge branch 'vmtrace'
2013-01-16 Jonathan Rouzaud... Trying to fix modification with new master branch
2013-01-16 Jonathan Rouzaud... Trying to fix modification with new master branch
2013-01-16 Jonathan Rouzaud... Trying to fix modification with new master branch
2013-01-16 Jonathan Rouzaud... Fix failed merge
2013-01-16 Jonathan Rouzaud... Merge with master
2013-01-10 Arnaud GierschFree the TRACE_{start,end}_functions dynars when they...
2012-12-20 Paul BédarideMove module tracing into corresponding modules
2012-12-18 Martin QuinsonUse xbt_malloc (and friends) instead of direct malloc()
2012-12-18 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideRestructure config headers
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMove config from surf to simgrid
2012-11-30 shensheiMerge ../simgrid
2012-11-28 schnorr[trace] avoiding key clashes on paje links
2012-11-28 Augustin Degommeforgot to add color for computing in previous commit
2012-11-28 schnorr[trace] header re-organization (now with a basic version)
2012-11-28 schnorr[trace] fix color for MPI operations to correctly follo...
2012-11-28 schnorr[trace] new option tracing/basic (used to generate...
2012-11-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-25 Martin Quinsonmove sg_cmdline to xbt/virtu.h module, and rename it...
2012-11-18 Marion Guthmullermodel-checker : ignore some variables enabled with...
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-12 Lucas Schnorr[trace] bye bye triva, welcome viva
2012-11-12 Lucas Schnorr[trace] do not extract topology graph if user ask to...
2012-11-12 Lucas Schnorr[trace] new tracing option to disable the topology...
2012-11-12 Lucas Schnorr[trace] cosmetics, platform is registered as a hierarch...
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-25 Lucas Schnorr[trace] link value here should indicate resource topology
2012-10-24 alebreMerge branch 'master' into vmtrace
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-17 schnorr[trace] output the command line used to generate the...
2012-10-12 Jonathan Rouzaud... Fix an issue in TRACE_msg_vm_kill()
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-11 Arnaud GierschInclude standard header files after local includes.
2012-10-02 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-01 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-09-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-09-27 Jonathan Rouzaud... Merge conflicts in instr_routing.c
2012-09-21 schnorr[trace] save/restore previous state when pause/resume...
2012-09-19 schnorr[trace] give users the possibility to pause/resume...
2012-09-19 schnorr[trace] factorize + cosmetics + debug messages
2012-09-14 schnorrRevert "[trace] remove version, otherwise we'll have...
2012-09-13 schnorr[trace] remove version, otherwise we'll have to updates...
2012-09-13 schnorr[trace] dumping comment and comment_file to trace files...
2012-09-13 schnorrfix, removing tabs
2012-09-13 schnorr[trace] new tracing options to add comments to trace...
2012-09-13 schnorrfix: missing undef
2012-09-03 navarroAdd properties to AS structure (Not work for now) and...
2012-08-28 navarroCompletely remove route_t and replace by sg_platf_route...
2012-08-22 schnorr[trace] avoiding key clashes on paje links
2012-08-21 Augustin Degommeforgot to add color for computing in previous commit
2012-08-21 schnorr[trace] color fields must have type 'color'
2012-08-21 Augustin Degommeadd option to generate states for code outside smpi...
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-08-20 schnorr[trace] header re-organization (now with a basic version)
2012-08-20 schnorr[trace] fix color for MPI operations to correctly follo...
2012-08-20 schnorr[trace] new option tracing/basic (used to generate...
2012-08-09 Jonathan Rouzaud... Fix VM Trace bugs
2012-08-09 Jonathan Rouzaud... Modify instr_paje_containers.c to include MSG_VM trace
2012-08-09 Jonathan Rouzaud... Modify Trace for msg_vm_t
2012-07-31 schnorr[trace] factorize more
2012-07-31 schnorr[trace] factorize code, use TRACE_msg_process_destroy...
next