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 : function mmalloc_compare_mdesc rewritten with new version of mmalloc
[simgrid.git] / src / include /
2012-02-08 Arnaud GierschThose are already declared in ./include/simgrid/modelch... tree | commitdiff
2012-02-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-08 Martin Quinsonkill duplicate definitions, and try to ensure that... tree | commitdiff
2012-02-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-07 Arnaud GierschRemove bogus inline declarations in private interface. tree | commitdiff
2012-01-30 Marion Guthmullermodel-checker : merge conflict resolved tree | commitdiff
2012-01-30 Martin Quinsonadd proper copyright headers to the MC files tree | commitdiff
2012-01-30 Marion Guthmullermerge conflict resolved tree | commitdiff
2012-01-27 Martin Quinsonadd a function xbt_os_get_numcores() tree | commitdiff
2012-01-20 Christophe ThiérySurf: allow to call share_resources in parallel (never... tree | commitdiff
2012-01-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-01-13 Marion GuthmullerMerge branch 'MC_LTL' tree | commitdiff
2012-01-13 Marion Guthmullermodel-checker : new function MC_diff to display all... tree | commitdiff
2012-01-13 Martin QuinsonMerge branch 'MC_LTL' tree | commitdiff
2012-01-12 Marion Guthmullermodel-checker : prototypes of static functions moved tree | commitdiff
2012-01-11 Marion Guthmullermerge conflicts resolved tree | commitdiff
2012-01-10 Arnaud GierschAdd missing declaration. tree | commitdiff
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... tree | commitdiff
2012-01-05 Marion Guthmullermodel-checker : warnings fixed tree | commitdiff
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch tree | commitdiff
2011-12-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-12-16 NavarropGet rid of all these nasty _im_. tree | commitdiff
2011-12-16 NavarropAllow selective update to be independently set for... tree | commitdiff
2011-12-16 NavarropCleanup to allow separation of model specification... tree | commitdiff
2011-12-16 NavarropMerge cpu.c and cpu_im.c tree | commitdiff
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-13 Marion Guthmullermodel-checker : clean code tree | commitdiff
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-01 Arnaud GierschKill old CVS $Id$ lines. tree | commitdiff
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-11-22 Marion Guthmullermerge conflicts tree | commitdiff
2011-11-15 Martin Quinsonkill the now useless 'cleanup' parameter of routing_get... tree | commitdiff
2011-11-14 Martin Quinsonanother empty function murder tree | commitdiff
2011-11-14 Marion Guthmullermodel-checker : add name of program in arguments of... tree | commitdiff
2011-11-11 Martin Quinsonkill a file that were begging for it tree | commitdiff
2011-11-11 Martin Quinsonmove the callbacks to the cluster creation from surfxml... tree | commitdiff
2011-11-11 Martin Quinsonmove some XML specific code from surf_routing.c to... tree | commitdiff
2011-11-10 Martin Quinsonsome more cleanups for tomorrow marked as FIXME for... tree | commitdiff
2011-11-10 Martin Quinsonsanitize get_network_element_type() tree | commitdiff
2011-11-10 Martin Quinsonuse an explicit type name for pointer on fct tree | commitdiff
2011-11-10 Martin QuinsonMove the SURF model initialization from routing_parse... tree | commitdiff
2011-11-10 Martin QuinsonRename sg_platf_new_AS_{open,close} to {begin,end}... tree | commitdiff
2011-11-09 Martin Quinsonuse a sane way to declare postparse callbacks, now... tree | commitdiff
2011-11-09 Martin QuinsonRemove the complexity needed to save a global that... tree | commitdiff
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument. tree | commitdiff
2011-11-08 Martin Quinsonthat FIXME would be a bad idea to implement tree | commitdiff
2011-11-08 Martin QuinsonKill the XML-level callbacks to AS_open/close and creat... tree | commitdiff
2011-11-08 Martin Quinsonintegrate the peer creation in sg_platf properly tree | commitdiff
2011-11-08 Martin Quinsonpreparse the arguments of peer tag tree | commitdiff
2011-11-08 Martin Quinsonfurther parser cleanups tree | commitdiff
2011-11-08 Martin Quinsonfix constness in parser tree | commitdiff
2011-11-08 Martin Quinsonfurther fields renamings in the parser tree | commitdiff
2011-11-08 Martin QuinsonAlso cleanup the fields of s_sg_platf_link_cbarg_t tree | commitdiff
2011-11-07 Martin QuinsonKill some further empty function chaining. tree | commitdiff
2011-11-07 Martin QuinsonProperly integrate the link creation into sg_platf tree | commitdiff
2011-11-07 Martin Quinsonfurther parser cleanups tree | commitdiff
2011-11-07 Martin QuinsonFurther parser cleanups tree | commitdiff
2011-11-07 Martin Quinsonintegrate properly the router creation in sg_platf... tree | commitdiff
2011-11-07 Martin QuinsonMake the sg_plat_new_host() function public tree | commitdiff
2011-11-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-11-07 Martin QuinsonContinue parser cleanups tree | commitdiff
2011-11-05 Martin QuinsonAdd a new module allowing to interact with the platform... tree | commitdiff
2011-11-04 Martin Quinsonfixing lua console (brain dead) damages to the parser tree | commitdiff
2011-11-04 Martin QuinsonClean callbacks for the host parsing. tree | commitdiff
2011-11-04 Martin Quinsonmerge changes. Strange, it seems to ate pierre commit tree | commitdiff
2011-11-04 Martin Quinsonyet another psychotic cleanup tree | commitdiff
2011-11-04 NavarropCreate a structure to put link up and down for model... tree | commitdiff
2011-11-04 Martin Quinsonnormalize some type names tree | commitdiff
2011-11-04 Martin Quinsonkill a bunch of warnings that prevented me from compiling tree | commitdiff
2011-11-04 NavarropAdd V_cluster_availability_file and V_cluster_state_fil... tree | commitdiff
2011-11-04 NavarropReplace stupid char* by doubles in the cluster struct... tree | commitdiff
2011-11-04 Martin Quinsonensure that the create_resource functions do call strdu... tree | commitdiff
2011-11-03 Martin Quinsonprivatize this function that must be called at some... tree | commitdiff
2011-11-03 Martin QuinsonNobody cares about this argument since maybe 4 years... tree | commitdiff
2011-11-03 Martin Quinsonfinish to kill a unused function tree | commitdiff
2011-10-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-10-27 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-10-26 NavarropEnsure windows combatibility. tree | commitdiff
2011-10-26 NavarropRewrite the way to do the parsing for host,cluster... tree | commitdiff
2011-10-26 NavarropDo the parsing one time and not more. tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : new example bugged1 for stateful dpor tree | commitdiff
2011-10-25 Marion Guthmullermodel-check : show stack when property not valid tree | commitdiff
2011-10-25 Marion Guthmullercorrection compile warnings tree | commitdiff
2011-10-25 Marion Guthmullernew dfs algorithm with automaton of LTL formula tree | commitdiff
2011-10-20 Martin Quinsonuse more consistently the resource create of models... tree | commitdiff
2011-10-20 Martin Quinsonmerge branches tree | commitdiff
2011-07-19 Pierre-Nicolas ClaussMerge back master branch. tree | commitdiff
2011-06-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2011-06-15 NavarropAdd functions for ns3 tree | commitdiff
2011-04-27 NavarropAdd surf_routing.h for extern variables tree | commitdiff
2011-04-22 NavarropInclude WinDef.h for win32 typedef "DWORD" xbt_os_threa... tree | commitdiff
2011-04-22 Christophe ThiéryDefine the right type for xbt_os_thread_key_t tree | commitdiff
2011-04-22 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2011-04-22 Christophe ThiéryAdd functions xbt_os_thread_key_create, xbt_os_thread_g... tree | commitdiff
2011-04-22 NavarropAdd ns3 level to libraries. tree | commitdiff
2011-04-21 Christophe ThiéryImplement reentrant mutexes in xbt_os_thread tree | commitdiff
2011-04-21 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
next
Clone of SimGrid repository with local patches