Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : last fix in DPOR algorithm if max depth is reached
[simgrid.git] / src / include /
2013-03-25 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-03-25 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-03-25 Paul BédarideAdd alltoall collectives from starmpi tree | commitdiff
2013-03-16 Marion Guthmullermodel-checker : new model-checker configuration model... tree | commitdiff
2013-02-19 Augustin Degommechange an include, to avoid linking from simgrid to... tree | commitdiff
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-02-18 Arnaud GierschRemove declarations for nonexistent functions or variables. tree | commitdiff
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-02-11 Augustin Degommevarious fixes to hopefully compile under win32 tree | commitdiff
2013-02-05 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-02-02 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2013-01-31 Marion Guthmullermodel-checker : start heap comparison from local variables tree | commitdiff
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/. tree | commitdiff
2013-01-25 Marion Guthmullermodel-checker : need to switch between raw heap and... tree | commitdiff
2013-01-25 Marion Guthmullermodel-checker : move function from mc_global in mm_modu... tree | commitdiff
2013-01-25 Marion Guthmullermodel-checker : start canonicalizatipn in heap comparis... tree | commitdiff
2013-01-21 Paul BédarideAll hosts types fusion to xbt_dictelm_t tree | commitdiff
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace tree | commitdiff
2013-01-16 Jonathan Rouzaud... Merge with master tree | commitdiff
2012-12-20 Paul BédarideMove module tracing into corresponding modules tree | commitdiff
2012-12-20 Martin Quinsonremove the create_resource entry point in resource... tree | commitdiff
2012-12-18 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-12-17 Paul BédarideRestructure config headers tree | commitdiff
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-12-17 Paul BédarideMove config from surf to simgrid tree | commitdiff
2012-11-27 Jonathan Rouzaud... update tree | commitdiff
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-27 Arnaud Gierschgras_os_time() has vanished. tree | commitdiff
2012-11-20 Marion Guthmullermodel-checker : rename cfg flag for state comparison... tree | commitdiff
2012-11-15 Marion Guthmullermodel-checker : factorize code for safety and liveness... tree | commitdiff
2012-11-15 Marion Guthmullermodel-checker : store last visited states during explor... tree | commitdiff
2012-11-13 Marion Guthmullermodel-checker : new cfg command line flag (model-check... tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-11 Marion Guthmullermodel-checker : add ignore mechanism for global variabl... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : add size of stack in parameter of the... tree | commitdiff
2012-11-08 Marion Guthmullermodel-checker : new command line flag (model-check... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : remove declaration of unused function tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : fix some memory leaks tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-25 navarroFix compilation on linux ;) tree | commitdiff
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-25 navarroTranform extern for XBT_PUBLIC tree | commitdiff
2012-10-25 navarroAdd a surf function to get configuration parameters... tree | commitdiff
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix tree | commitdiff
2012-10-24 alebreMerge branch 'master' into vmtrace tree | commitdiff
2012-10-23 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-23 navarroAdd first steps for a TAG tutorial tree | commitdiff
2012-10-12 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-12 navarroFinish the tutorial for new model and api tree | commitdiff
2012-10-12 navarroAdd first steps to explain How to add a new model in... tree | commitdiff
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-11 Arnaud GierschInclude standard header files after local includes. tree | commitdiff
2012-10-08 Marion Guthmullermodel-checker : restore struct smx_ctx_sysv in smx_cont... tree | commitdiff
2012-10-06 Marion Guthmullermodel-checker : cleanup in mc examples tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : store equality detected in heap compari... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : ignore stack areas in heap comparison... tree | commitdiff
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-09-27 Jonathan Rouzaud... Merge conflicts in instr_routing.c tree | commitdiff
2012-09-25 navarroWe need to have this function public for ruby binding tree | commitdiff
2012-09-11 navarroAdd a function ls to storage tree | commitdiff
2012-09-06 navarroFinalize properties on AS. tree | commitdiff
2012-09-03 navarroAdd properties to AS structure (Not work for now) and... tree | commitdiff
2012-08-08 navarroFactorize route ASroute bypassRoute and bypassASroute... tree | commitdiff
2012-08-08 navarroRemove link_list from surf_routing.c and add it into... tree | commitdiff
2012-08-07 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-08-07 navarroRemove unused structure and function tree | commitdiff
2012-08-07 navarroCompletely remove surfxml_callback. tree | commitdiff
2012-08-06 navarroMore cleaning for surfxml callback (property and trace*) tree | commitdiff
2012-08-06 navarroAdd function sg_platf_new_* for *route and bypass*route. tree | commitdiff
2012-08-03 navarroUse the function sg_platf_new_linkctn when parsing... tree | commitdiff
2012-08-02 Marion Guthmullermodel-checker : add block and fragment number in mc_ign... tree | commitdiff
2012-08-01 Marion Guthmullermodel-checker : init list of irrelevant differences... tree | commitdiff
2012-08-01 Marion Guthmullermodel-checker : ignore irrelevant differences for heap... tree | commitdiff
2012-07-31 navarroAdd function to unlink a file. tree | commitdiff
2012-07-22 Martin QuinsonNew function: xbt_os_timer_resume() to restart a timer... tree | commitdiff
2012-07-12 Marion Guthmullermodel-checker : comment MC_compare tree | commitdiff
2012-07-11 navarroAdd a tag cabinet to write new kind of cluster. See... tree | commitdiff
2012-07-11 Marion Guthmullermodel-checker : application alert for state equality... tree | commitdiff
2012-07-05 navarroAdd two new tag for routing cluster (only): tree | commitdiff
2012-07-03 navarrolmm_solve cache cleaning tree | commitdiff
2012-06-29 Marion Guthmullermodel-checker : tests for snapshot comparison tree | commitdiff
2012-06-28 navarroCreate a dict with all hosts with state SURF_RESOURCE_O... tree | commitdiff
2012-06-21 navarroPut double instead of size_t. tree | commitdiff
2012-06-21 Martin QuinsonCleanups in the --cfg options regarding model-checking tree | commitdiff
2012-06-21 Martin QuinsonVarious cleanups to the model-checking user interface tree | commitdiff
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-06-21 Marion Guthmullermodel-checker : factorization of code for model-checkin... tree | commitdiff
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-20 navarroPut the different model in the dtd. Permit the xml... tree | commitdiff
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-20 Arnaud GierschInclude "xbt/RngStream.h", and avoid duplicate definiti... tree | commitdiff
2012-06-20 suterSolve white space conflicts tree | commitdiff
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using... tree | commitdiff
2012-06-19 jbrvMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-19 jbrvMake rngStream management functions in platform more... tree | commitdiff
2012-06-18 navarroAdd 'content' priority for storage and then storage_type tree | commitdiff
next
Clone of SimGrid repository with local patches