Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add name of program in arguments of function MSG_main_liveness_statel...
[simgrid.git] / src / msg / global.c
2011-11-14 Marion Guthmullermodel-checker : add name of program in arguments of...
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 Guthmullerstart new example with parsing lex/yacc of automaton...
2011-10-20 Martin Quinsonmerge branches
2011-04-18 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-18 Christophe ThiéryFix a memory leak in MSG (hosts were not destroyed)
2011-04-18 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-18 Christophe ThiéryLibs created in surf_init should be destroyed be surf_exit
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-24 navarropfree libs at the right moment.
2011-03-24 navarropRemove host_lib, link_lib and as_router_lib from SD_exi...
2011-03-24 navarropRemove xbt_dict host from simix.
2011-03-24 navarropAdd levels to lib host_lib, link_lib and as_router_lib
2011-02-22 thierySimplify the management of processes in MSG.
2011-02-03 thieryThe process list of MSG is now a swag instead of a...
2010-12-07 mquinsontry a bit harder to get the simulated time without...
2010-12-06 schnorr[trace] end must be called while surf configuration...
2010-12-02 thieryCleaner detection of using model-checking.
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...
2010-11-23 schnorrTRACE_start and TRACE_end should no longer be called...
2010-10-11 alegrandIndent include and src using this command:
2010-10-06 schnorrcosmetics on tracing mechanism
2010-10-05 schnorrcleaning some old surf tracing code
2010-08-05 schnorrkill all aspects related to masks in the tracing interface
2010-05-27 navarropAdd a variable HAVE_MC for enable model-checking.
2010-05-07 mquinsonnew option to any SimGrid-based simulator: --cfg=model...
2010-05-06 mquinsonUse library init/fini functions for xbt initialization
2010-04-25 mquinsonFix copyright headers
2010-04-25 mquinsonKill old $Id$ command dating from CVS
2010-04-13 schnorrproperly closing host containers on simulation trace...
2010-03-02 mquinsonKill the MSG_paje_output() function. It's a noop since...
2010-01-28 mquinsonOn the fly parsing of the actions file. One idle proces...
2009-10-05 mquinsonIncomplete port of MSG on top of SIMIX_network [Cristian]
2009-08-17 cristianrosaFinally the Java interface is working again! (It was...
2009-07-13 mquinsonsimdata cleanup from smx_action_t. Now all SIMIX's...
2009-05-26 mquinsonReindent everything (possibly breaking all branches...
2009-05-19 mquinsonDisplay the status of simulated processes when receivin...
2009-05-05 mquinsonfirst draft of the action runner
2008-11-10 mquinsonKill MSG_mailbox_put, which were not meant to be a...
2008-06-26 velhoCosmetic, error prone comment erased.
2008-05-15 mquinsonRemove a crude hack where first call to surf_solve...
2008-03-06 mquinsonConnect correctly the log channels manually for windows...
2008-03-06 mquinsonDo connect all log channel manually to parent using...
2008-01-11 cheriermThis change is relative with the mailbox concept :
2007-11-15 cheriermThis commit concerned the reimplementation of the xbt...
2007-10-27 mquinsonKill the useless _MSG_process_create_with_env_from_SIMI...
2007-10-26 quasar* Cleanup the DTD by renaming:
2007-09-10 alegrandClean cleanups with mallocators... Thanks Pablo for...
2007-08-23 alegrandMove initialization somewhere else because people that...
2007-08-06 alegrandindent -i2 -kr. Aaaah, I feel much better now. Sorry...
2007-07-18 alegrandcosmetics
2007-07-02 mquinsonConvert GRAS pid from long int to int; setup a virtuali...
2007-07-02 mquinsonRevert the convertion of MSG pids from int to long...
2007-07-02 mquinsonConvert MSG pids from int to long int so that they...
2007-07-02 mquinsonI scratched my own change to fix the documentation...
2007-07-02 mquinsonIntegrate Bruno's work on SIMIX onto main stream. Tests...
2007-06-29 velhoAdded all TCP VEGAS/RENO related functions. TODO: the...
2007-06-29 mquinsonMake sure the navbar tricks we use in the post-processo...
2007-05-11 mquinsonLet the state in a coherent state after MSG_clean()
2007-05-03 alegrandGot rid of useless message.
2007-03-09 mquinsonDon't initialize the contextes manually, it will be...
2007-02-07 cherierm_XBT_CALL decoration for inthandler function (signal...
2007-01-15 cheriermRemove unused paje type definitions
2006-08-10 thieryUse a mallocator for MSG tasks
2006-07-15 mquinsontypo
2006-06-19 mquinsonCosmetics in __MSG_display_process_status + do publish...
2006-06-17 mquinsonDisplay the current processes status when the simulatio...
2006-05-16 alegrandSanitize channels naming.
2006-05-16 alegrandSanitize channel naming.
2006-05-09 alegrandImproving debug informations.
2006-04-12 alegrandAdding more verbose informations to Paje
2006-04-11 mquinsonRework the MSG navbar
2006-03-28 alegrandmaking the use of xbt_fifo more uniform and closing...
2006-03-20 mquinsonRework a warning message to make it more clear (hopefully)
2006-01-18 alegrandadd more debuging informations
2005-10-17 alegrandGetting rid of old printf
2005-08-30 alegrandgetting rid of memleaks.
2005-08-09 alegrandgetting rid of deprecated functions
2005-08-08 alegrandgetting rid of MSG_getClock
2005-08-07 mquinsons/surf_finalize/surf_exit/ for uniformity with other...
2005-08-07 mquinsonLast bits of convertion from xbt_error_t to exceptions...
2005-08-06 mquinsonONGOING work on exceptions plus minor cleanups.
2005-08-02 alegrandMake valgrind happy by initializing variables and corre...
2005-08-02 alegrandAdd MSG_task_cancel and MSG_task_get_computation_remaining
2005-07-05 alegrand%lg -> %g ...
2005-07-01 alegrandtell the world that MSG_set_verbosity is deprecated.
2005-06-30 alegrandremove this damn fflush that spoils the performance...
2005-06-29 alegrandhelps for debuging without having to modify and recompi...
2005-06-13 alegrandcleanup
2005-06-01 alegrandReverting Mt's modifications and making use of the...
2005-05-25 mquinsonStart the implementation of start_time and kill_time...
2005-05-13 alegrandminor modifications
2005-04-19 alegrandEnable to call MSG_paje_output right before MSG_main.
2005-04-15 alegrandKillall can now be called from an agent
2005-03-25 alegrandMSG_getClock is a stupid name.
2005-02-27 mquinsoncosmetics in outputs, and call surf_init before initial...
2005-02-13 mquinsonKill the useless xbt_free (was define'd to free)
2005-02-11 alegrandLet's stop being no negative ...
2005-02-11 alegrandSURF does not use long doubles. Reverting MSG to doubles.
next