Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into MC_LTL
[simgrid.git] / include /
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-13 Marion Guthmullermodel-checker : clean code
2011-12-09 Christophe ThiéryAlternative implementation or parmap with busy waits...
2011-12-09 Christophe ThiéryParmap: process the whole dynar, don't force workers...
2011-12-08 Arnaud GierschDefine xbt_swag_reset().
2011-12-07 Christophe ThiéryRemove xbt_parmap_get_worker_id to simplify the parmap...
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-01 Arnaud GierschKill old CVS $Id$ lines.
2011-12-01 Arnaud GierschAlways define SIMGRID_VERSION_*.
2011-12-01 Arnaud GierschDefine xbt_dict_new_homogeneous().
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-29 Arnaud GierschDon't lie about xbt_xfg_t.
2011-11-28 Arnaud GierschRename dict structs to follow README.coding.
2011-11-28 Arnaud GierschReorganize structs to save a few bytes.
2011-11-22 Marion Guthmullermerge conflicts
2011-11-15 Christophe ThiéryNobody uses MSG_get_errno and wants useless calls to...
2011-11-15 Christophe ThiérySIMIX: add a redundant parameter to avoid repeated...
2011-11-15 Christophe ThiéryCosmetics
2011-11-14 Christophe ThiéryMake MSG_TASK_CANCELLED deprecated, replace it by MSG_T...
2011-11-14 Marion Guthmullermodel-checker : add name of program in arguments of...
2011-11-14 Arnaud GierschRewrite xbt libs, using xbt dicts.
2011-11-11 Martin Quinsonmove the callbacks to the cluster creation from surfxml...
2011-11-11 Martin QuinsonImprove a bit the documentation of hte xbt_queues,...
2011-11-10 Arnaud GierschSimply say fun_ptr(...) instead of (*fun_ptr)(...).
2011-11-10 Martin Quinsonfix the constness of xbt_strbuff_new_from(), it's too...
2011-11-10 Martin QuinsonMove the SURF model initialization from routing_parse...
2011-11-10 Martin QuinsonRename sg_platf_new_AS_{open,close} to {begin,end}...
2011-11-10 Martin Quinsonsome users prefer this name, so provide it for symmetry...
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument.
2011-11-09 Arnaud GierschConstification of parameter, and attribute no_return.
2011-11-08 Martin Quinsonsanitize the way parsing callbacks of the routing submo...
2011-11-08 Martin QuinsonOne day, we'll have to deal with route creation in...
2011-11-08 Martin Quinsonrename some types for consistency
2011-11-08 Martin QuinsonKill the XML-level callbacks to AS_open/close and creat...
2011-11-08 Martin Quinsonintegrate the peer creation in sg_platf properly
2011-11-08 Arnaud GierschKill bogus fixme: xbt_free_f already exists.
2011-11-08 Martin Quinsonfurther parser cleanups
2011-11-08 Martin Quinsonfurther fields renamings in the parser
2011-11-08 Martin QuinsonAlso cleanup the fields of s_sg_platf_link_cbarg_t
2011-11-08 Martin Quinsonalso cleanup the field names of s_sg_platf_router_cbarg_t
2011-11-08 Martin QuinsonParser cleanup: simplify structure's fields' names
2011-11-08 Martin QuinsonReimplement the lua console on top of sg_platf
2011-11-07 Martin QuinsonProperly integrate the link creation into sg_platf
2011-11-07 Martin Quinsonfurther parser cleanups
2011-11-07 Martin Quinsonalso deprecate ETag_surfxml_router
2011-11-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-07 Martin QuinsonFurther parser cleanups
2011-11-07 Martin Quinsonfix the last broken tests by sanitizing the way propert...
2011-11-07 Martin QuinsonFurther parser cleanups
2011-11-07 Martin Quinsonintegrate properly the router creation in sg_platf...
2011-11-07 Martin QuinsonMake the sg_plat_new_host() function public
2011-11-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-07 Martin QuinsonContinue parser cleanups
2011-11-07 Arnaud GierschThis include is not needed anymore.
2011-11-05 Arnaud GierschAvoid (almost) duplicated code in xbt_log_layout_*.
2011-11-05 Martin Quinsonusing pointer to scalar is a strange way to return...
2011-11-05 Martin QuinsonNobody will ever need to override the behavior of confi...
2011-11-05 Martin QuinsonAdd a new module allowing to interact with the platform...
2011-11-04 Martin QuinsonClean callbacks for the host parsing.
2011-11-04 Martin Quinsonmerge changes. Strange, it seems to ate pierre commit
2011-11-04 Martin Quinsonregenerate with flexml 1.9.2 (fix to my recent changes...
2011-11-03 Martin QuinsonNobody cares about this argument since maybe 4 years...
2011-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-02 Christophe ThiéryOptimize swags and save calls from Surf
2011-11-02 Christophe ThiéryDirect context switching: clean the semantics of parmap
2011-11-02 Christophe ThiérySwitch directly between runnable contextes (work in...
2011-11-01 Martin Quinsonregenerate with flexml 1.9.1 (integrate small changes...
2011-10-30 Martin QuinsonRegenerate with flexml 1.9 (robust against multiple...
2011-10-28 Martin Quinsonreduce greatly the size of the static string for logs...
2011-10-25 Marion Guthmullermodel-checker : function to compare values of propositi...
2011-10-25 Marion Guthmullermodel-checker : new functions to compare mmalloc in...
2011-10-25 Marion Guthmullermodel-checker : new comparison for reached pairs (autom...
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef...
2011-10-25 Marion Guthmullermodel-checker : new example bugged1 for stateful dpor
2011-10-25 Marion Guthmullermodel-check : show stack when property not valid
2011-10-25 Marion Guthmullercorrection compile warnings
2011-10-25 Marion Guthmullerstart new example with parsing lex/yacc of automaton...
2011-10-25 Marion Guthmullernew struct automaton
2011-10-20 NavarropRemove unused and old function.
2011-10-20 Martin Quinsonmerge branches
2011-09-27 Arnaud GierschInline macro _XBT_LOG_EV_BUFFER_ZERO and remove its...
2011-09-08 Arnaud GierschFix compilation warnings in ISO-C99 mode.
2011-09-08 NavarropRevert "Re-apply old patch A. Giersch 06/07/2010"
2011-09-08 NavarropRe-apply old patch A. Giersch 06/07/2010
2011-08-03 Martin Quinsonimprove reference documentation
2011-08-01 NavarropWe can specify the router name of a cluster.
2011-07-30 Quintin Jean-NoëlMerge remote-tracking branch 'origin/master'
2011-07-29 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-07-28 unknownNo need to have difference between win32 and Unix syste...
2011-07-28 unknownOn win64 we must use XBT_LOG_MAYDAY.
2011-07-19 Arnaud GierschAdd const qualifier to parameters of xbt_str_diff.
2011-07-06 Martin Quinsontrivial merge of changes about gras architecture
2011-06-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-06-28 NavarropAdd XBT_INLINE functions to doxygen documentation.
2011-06-23 Arnaud GierschDefine CATCH_ANONYMOUS.
2011-06-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-06-16 Lucas Schnorr[trace] fix define's to let users compile when tracing...
2011-06-15 Lucas Schnorr[trace] let user specify color for user variables for...
2011-05-24 Martin Quinsonmerge
next