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 : pointer detection fixed
[simgrid.git] / src / surf /
2012-07-03 navarrolmm_solve cache cleaning tree | commitdiff
2012-06-29 Arnaud GierschMissing include when !HAVE_TRACING. tree | commitdiff
2012-06-28 navarroAdd the function autorestart in simix_global tree | commitdiff
2012-06-28 navarroCreate a dict with all hosts with state SURF_RESOURCE_O... tree | commitdiff
2012-06-28 navarroTODO comments tree | commitdiff
2012-06-28 Arnaud GierschUpdate with flex from Debian (includes fixes for ia64). tree | commitdiff
2012-06-27 Samuel LepetitChanges in SimGrid DTD files for on_failure support. tree | commitdiff
2012-06-27 Samuel LepetitAdd on_failure for processes to the SimGrid DTD. tree | commitdiff
2012-06-22 navarroNeed to have a double because the result should not... tree | commitdiff
2012-06-22 Martin QuinsonMSG_config mc-related stuff is not enough to activate... tree | commitdiff
2012-06-22 Martin Quinsonoops, we broke non-model-checking builds yesterday... tree | commitdiff
2012-06-21 navarroPut double instead of size_t. tree | commitdiff
2012-06-21 navarroMore debug tree | commitdiff
2012-06-21 navarroFix update of the file size when write a double and... tree | commitdiff
2012-06-21 navarroRewrite the way the disk usage and file size are updated tree | commitdiff
2012-06-21 Martin QuinsonCleanups in the --cfg options regarding model-checking tree | commitdiff
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-06-21 Martin Quinsonremove useless check that will never detect any issue tree | commitdiff
2012-06-21 Martin Quinsonpebcak protection: some day, someone will use a differe... tree | commitdiff
2012-06-21 jbrvremove some trailing spaces tree | commitdiff
2012-06-21 jbrvevent trace generation : improving some functions tree | commitdiff
2012-06-20 Martin QuinsonMC checkpoints implies MC tree | commitdiff
2012-06-20 Martin Quinsonmeaningful pebcak message: you need to compile MC in... tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : new surf configuration mc-checkpoint tree | commitdiff
2012-06-20 Marion GuthmullerRevert "model-checker : add new surf configuration... tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : add new surf configuration mc-checkpoint tree | commitdiff
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-20 navarroRemove unused variable 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 suteradd a simple explication about how to use the config... tree | commitdiff
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-20 Arnaud GierschKeep tabs in generated files. tree | commitdiff
2012-06-20 suterSolve white space conflicts tree | commitdiff
2012-06-20 jbrvProbabilist trace generator : variable names changed tree | commitdiff
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using... tree | commitdiff
2012-06-19 navarroStart to rewrite the mechanism for usage of a storage 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-19 navarroFix compilation warning for unused variables tree | commitdiff
2012-06-18 navarroAdd 'content' priority for storage and then storage_type tree | commitdiff
2012-06-18 navarroPut the storage content into the storage and not into... tree | commitdiff
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-13 navarroChange the file API, remove the mount point in each... tree | commitdiff
2012-06-13 Arnaud GierschCosmetics: allow a semicolon after macro usage. tree | commitdiff
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-13 jbrvEvent generation for probabilist tmgr_trace tree | commitdiff
2012-06-12 Arnaud GierschRename functions xbt_dict_hash*() to xbt_str_hash(). tree | commitdiff
2012-06-12 navarroRemove some debug from execution tree | commitdiff
2012-06-12 navarroAdd disk usage and size parameters for storage. tree | commitdiff
2012-06-12 jbrvAdd a constructor for probabilist tmgr_trace tree | commitdiff
2012-06-12 Marion Guthmullerfix merge conflict tree | commitdiff
2012-06-11 jbrvTrace manager : add a function to generate values from... tree | commitdiff
2012-06-11 jbrvTrace manager : Add and change some structures and... tree | commitdiff
2012-06-09 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-08 jbrvAdd new functions to support different sources of avaib... tree | commitdiff
2012-06-08 jbrvModify structures to support different sources of avaib... tree | commitdiff
2012-06-08 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-05 Martin Quinsondo not hide issues tree | commitdiff
2012-06-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-30 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-30 navarroSome typos in source code tree | commitdiff
2012-05-23 Arnaud GierschUse standard modifier %z instead of %Z. tree | commitdiff
2012-05-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-22 navarroMerge ... cpu_update_actions_state_full and net_update_... tree | commitdiff
2012-05-22 navarroMerge cpu_update_actions_state_lazy and net_update_acti... tree | commitdiff
2012-05-22 navarroForget to remove this line from previous commit tree | commitdiff
2012-05-22 navarroMerge cpu and network tree | commitdiff
2012-05-22 Frederic Suterthe "amount" field leads to weird behaviors when dealin... tree | commitdiff
2012-05-14 Arnaud GierschMissing include (?). tree | commitdiff
2012-05-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-05-14 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-14 Arnaud GierschRemove old cruft. tree | commitdiff
2012-05-10 navarroMerge cpu and network for action functions. tree | commitdiff
2012-05-10 navarroPut those variables private tree | commitdiff
2012-05-10 navarroTODO for cache friendly tree | commitdiff
2012-05-10 navarroPrepare network.c and cpu_cas01.c for net and cpu merge. tree | commitdiff
2012-05-09 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-04 navarroRewrite function net_update_action_remaining_lazy like... tree | commitdiff
2012-05-03 navarroA priori, no need to propagate modifications when the... tree | commitdiff
2012-05-03 navarroRevisit lazy_remaining_update that was completely broken. tree | commitdiff
2012-04-28 Martin QuinsonI forgot to update my tree before commiting (once again... tree | commitdiff
2012-04-27 Arnaud GierschWorkaround problem with excess precision on i387 FPU. tree | commitdiff
2012-04-27 Arnaud GierschUse existing xbt_swag_reset(). tree | commitdiff
2012-04-27 Arnaud GierschUseless free, and other cosmetics. tree | commitdiff
2012-04-27 Arnaud GierschPass 'res->link_list' and 'lat' directly to routing_get... tree | commitdiff
2012-04-27 Arnaud GierschMake floyd_get_route_and_latency cleaner, and hopefully... tree | commitdiff
2012-04-27 Arnaud GierschEmpty argument is allowed for XBT_IN(). tree | commitdiff
2012-04-27 Arnaud GierschUse XBT_OUT/XBT_HERE with user defined format. tree | commitdiff
2012-04-26 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-04-25 Arnaud LegrandMinor tracing/debug output improvement. tree | commitdiff
2012-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-04-20 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-04-20 Arnaud GierschAvoid double free()s. tree | commitdiff
2012-04-11 navarroFix ns3 and gtnets compilation tree | commitdiff
2012-04-10 navarroFix compilation error with gcc4.4 tree | commitdiff
2012-04-09 Martin Quinson[routing] rename routing_global_t -> routing_platf_t... tree | commitdiff
2012-04-09 Martin Quinson[routing] kill supurious checks, and reformulate error... tree | commitdiff
2012-04-09 Martin Quinson[routing] clarify why we rely on such a dirty hack tree | commitdiff
2012-04-09 Martin Quinson[route parsing] make surf_network_resource_by_name... tree | commitdiff
next
Clone of SimGrid repository with local patches