Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
can be interesting to get the value of the alpha parameter for parallel
[simgrid.git] / src / include /
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2012-12-20 Paul BédarideMove module tracing into corresponding modules
2012-12-20 Martin Quinsonremove the create_resource entry point in resource...
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-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-27 Arnaud Gierschgras_os_time() has vanished.
2012-11-20 Marion Guthmullermodel-checker : rename cfg flag for state comparison...
2012-11-15 Marion Guthmullermodel-checker : factorize code for safety and liveness...
2012-11-15 Marion Guthmullermodel-checker : store last visited states during explor...
2012-11-13 Marion Guthmullermodel-checker : new cfg command line flag (model-check...
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-11 Marion Guthmullermodel-checker : add ignore mechanism for global variabl...
2012-11-09 Marion Guthmullermodel-checker : add size of stack in parameter of the...
2012-11-08 Marion Guthmullermodel-checker : new command line flag (model-check...
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison...
2012-11-07 Marion Guthmullermodel-checker : remove declaration of unused function
2012-10-27 Marion Guthmullermodel-checker : fix some memory leaks
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-25 navarroFix compilation on linux ;)
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-25 navarroTranform extern for XBT_PUBLIC
2012-10-25 navarroAdd a surf function to get configuration parameters...
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix
2012-10-24 alebreMerge branch 'master' into vmtrace
2012-10-23 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-23 navarroAdd first steps for a TAG tutorial
2012-10-12 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-12 navarroFinish the tutorial for new model and api
2012-10-12 navarroAdd first steps to explain How to add a new model in...
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-08 Marion Guthmullermodel-checker : restore struct smx_ctx_sysv in smx_cont...
2012-10-06 Marion Guthmullermodel-checker : cleanup in mc examples
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global...
2012-10-05 Marion Guthmullermodel-checker : store equality detected in heap compari...
2012-10-05 Marion Guthmullermodel-checker : ignore stack areas in heap comparison...
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-25 navarroWe need to have this function public for ruby binding
2012-09-11 navarroAdd a function ls to storage
2012-09-06 navarroFinalize properties on AS.
2012-09-03 navarroAdd properties to AS structure (Not work for now) and...
2012-08-08 navarroFactorize route ASroute bypassRoute and bypassASroute...
2012-08-08 navarroRemove link_list from surf_routing.c and add it into...
2012-08-07 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-08-07 navarroRemove unused structure and function
2012-08-07 navarroCompletely remove surfxml_callback.
2012-08-06 navarroMore cleaning for surfxml callback (property and trace*)
2012-08-06 navarroAdd function sg_platf_new_* for *route and bypass*route.
2012-08-03 navarroUse the function sg_platf_new_linkctn when parsing...
2012-08-02 Marion Guthmullermodel-checker : add block and fragment number in mc_ign...
2012-08-01 Marion Guthmullermodel-checker : init list of irrelevant differences...
2012-08-01 Marion Guthmullermodel-checker : ignore irrelevant differences for heap...
2012-07-31 navarroAdd function to unlink a file.
2012-07-22 Martin QuinsonNew function: xbt_os_timer_resume() to restart a timer...
2012-07-12 Marion Guthmullermodel-checker : comment MC_compare
2012-07-11 navarroAdd a tag cabinet to write new kind of cluster. See...
2012-07-11 Marion Guthmullermodel-checker : application alert for state equality...
2012-07-05 navarroAdd two new tag for routing cluster (only):
2012-07-03 navarrolmm_solve cache cleaning
2012-06-29 Marion Guthmullermodel-checker : tests for snapshot comparison
2012-06-28 navarroCreate a dict with all hosts with state SURF_RESOURCE_O...
2012-06-21 navarroPut double instead of size_t.
2012-06-21 Martin QuinsonCleanups in the --cfg options regarding model-checking
2012-06-21 Martin QuinsonVarious cleanups to the model-checking user interface
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-06-21 Marion Guthmullermodel-checker : factorization of code for model-checkin...
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 navarroPut the different model in the dtd. Permit the xml...
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 Arnaud GierschInclude "xbt/RngStream.h", and avoid duplicate definiti...
2012-06-20 suterSolve white space conflicts
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
2012-06-19 jbrvMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-19 jbrvMake rngStream management functions in platform more...
2012-06-18 navarroAdd 'content' priority for storage and then storage_type
2012-06-14 Marion Guthmullermodel-checker : fix std_heap address for heap compariso...
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-13 navarroChange the file API, remove the mount point in each...
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-13 Marion Guthmullermodel-checker : remove binary name as argument of some...
2012-06-08 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-05 Christophe ThiéryThe usual typo.
2012-06-05 Martin Quinsonavoid double free issues when on host failure+process run
2012-05-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-22 navarroMerge ... cpu_update_actions_state_full and net_update_...
2012-05-22 Frederic Suterthe "amount" field leads to weird behaviors when dealin...
2012-05-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-05-14 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-14 Arnaud GierschRemove old cruft.
2012-05-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-05-13 Martin Quinsonmake xbt_os_thread module public (Java needs it, at...
2012-05-13 Martin Quinsonensure that this header can be made public by relying...
next