Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add int MC_random(int min, int max) function that will make the model-checker to...
[simgrid.git] / src /
2010-05-11 cristianrosaAdd int MC_random(int min, int max) function that will...
2010-05-10 suterAdd a SD_workstation_get_current_task function
2010-05-10 suterIn SD_SEQUENTIAL_ACCESS_MODE, when we check if all...
2010-05-10 mquinsonMSG_task_isend/irecv and MSG_comm_test/wait added in...
2010-05-10 mquinsonImprove error message since this can also be caused...
2010-05-10 cristianrosaImprove the transition's dependence detection in MC
2010-05-10 cristianrosaDo not use the src_buff and dst_buff to flag that the...
2010-05-10 cristianrosaDelay the copy of the data of the communication actions...
2010-05-10 cristianrosaBugfix: make mmalloc build in x64
2010-05-10 mquinsonfactorize error testing in waitany with the one done...
2010-05-08 mquinsonThe mallocators of dict and fifo are created in pre...
2010-05-08 cristianrosaBugfix: initialize the model checker memory subsystem...
2010-05-07 piniThe eager limit size itself is part of the RDV protocol.
2010-05-07 navarropEnable mac compilation with MMAP.
2010-05-07 mquinsonnew option to any SimGrid-based simulator: --cfg=model...
2010-05-07 mquinsonnow that mmalloc doesn't break tesh anymore nor nothing...
2010-05-07 mquinsoncosmetics (kill unused var, and kill/improve debug...
2010-05-07 mquinsonlet malloc(0) work (and kill debug outputs)
2010-05-07 mquinsonDo not share anonymous pages accross forks, damnit...
2010-05-06 mquinsonFight for better integration of mmalloc, mc and xbt
2010-05-06 mquinsonImprove the integration of mmalloc and mc_memory into...
2010-05-06 mquinsonStupid me, xbt_init is called by each GRAS process
2010-05-06 mquinsonLet xbt_exit() issue a warning stating that this is...
2010-05-06 mquinsonUse library init/fini functions for xbt initialization
2010-05-05 mquinsonLet's still pass the tests with mmalloc and MC in the...
2010-05-05 mquinsonAdd the model-checker to the build tree. It's not used yet
2010-05-05 mquinsonUnify the copyright headers of mmalloc with the rest...
2010-05-05 mquinsonchange mmalloc.h into a public header
2010-05-05 mquinsonWe don't intend to support pre-ansi platforms, so clean...
2010-05-05 mquinsonUpdate mmalloc to compile with paranoid flags used...
2010-05-05 mquinsonNew module: mmalloc (mapped malloc)
2010-05-05 mquinsonNew data container: setset (set of sets of elements)
2010-05-05 mquinsonBug fix in xbt_dynar_shrink(): use the right element...
2010-05-05 mquinsonNew function: xbt_fifo_get_last_item()
2010-05-05 mquinsonNew function: xbt_dict_cursor_set_data()
2010-05-05 piniCleanup.
2010-05-04 mquinsonFix a bug occuring when a host involved in a communicat...
2010-05-04 mquinsonObey the control-flow dependencies of DAX files
2010-05-04 mquinsonAdd a warning if the DAX file contains loop dependencie...
2010-05-03 mquinsonFix the mess around task references: the JVM should...
2010-04-27 mquinsonAllow to cross compile simgrid.dll using the autotools...
2010-04-25 mquinsonFix copyright headers
2010-04-25 mquinsonKill old $Id$ command dating from CVS
2010-04-25 mquinsonAdd some missing copyright headers
2010-04-25 mquinsonImprove the code dynar example by explaining that freei...
2010-04-23 schnorrnew tracing mask TRACE_VOLUME to trace the msg tasks...
2010-04-23 schnorrnew function to generate a paje start link with a volum...
2010-04-23 schnorrsplitting the code of one tracing function in two ...
2010-04-21 piniAdded persistent communications (working but not yet...
2010-04-21 piniCleanup toward persistent communications.
2010-04-21 schnorrset the category for process containers also
2010-04-21 schnorrsetting the type of the task so we can define its color...
2010-04-21 schnorrfix: correct trace mask checking
2010-04-21 schnorrallowing the user to set the three tracing masks
2010-04-21 schnorrre-organizing tracing masks and first support for ...
2010-04-20 schnorrfix: MSG_task_execute was not being simulated
2010-04-20 schnorrrenaming value of presence state to "presence" (to...
2010-04-20 schnorrrenaming more tracing functions
2010-04-15 mquinsonImprove the license statement of these files
2010-04-15 mquinsonimprove the license statement to make it clear that...
2010-04-15 mquinsonClose useless tasks in the trace also (thanks to Ghisla...
2010-04-15 mquinsonMake sure that it's ok to execute 0-sized tasks
2010-04-15 piniActually, we want a RDV not a deadlock.
2010-04-15 schnorrrenaming the tracing functions that set the host/link...
2010-04-15 schnorrremoving code that was used to trace every single surf...
2010-04-15 schnorrrenaming some tracing functions to make easy to remembe...
2010-04-15 schnorrfix so enable_compile_warnings works nice when enable_t...
2010-04-15 schnorrproperly removing entries from dictionaries used by...
2010-04-15 schnorrcleaning tracing code
2010-04-15 schnorrremoving unused tracing variable
2010-04-15 schnorrtracing vivaldi x,y,h for each host
2010-04-15 piniTypos, cosmetics and RDV protocol.
2010-04-14 navarropMake testall to src/.
2010-04-14 navarropSecond commit for cmake in an other directory.
2010-04-14 eyraudlConsider the time 0.0 of logs at initialisation time...
2010-04-14 mquinsoncommit generated files produced by flexml and friends
2010-04-14 mquinsonAdd a Vivaldi network model, coded live during SUD...
2010-04-14 schnorrimplement TRACE_start as function instead of pre-proces...
2010-04-13 schnorronly way to know if a category is well declared is...
2010-04-13 schnorrdo not throw an exception if category is already create...
2010-04-13 schnorrcorrecting exception message to let user know which...
2010-04-13 piniMake SMPI parameters names more consistent.
2010-04-13 schnorrproperly closing host containers on simulation trace...
2010-04-13 navarropAdd sources for target testall for pipol deployment.
2010-04-12 navarropAdd source for making testall when not in maintainer...
2010-04-12 velhoRemoved double free on GTNetS code.
2010-04-09 mquinsonaccept useless 'level' attributes to <job> since LIGO...
2010-04-09 mquinsonAdd a SD_task_set_name() function
2010-04-09 mquinsonfix the documentation of how to get TCP_gamma on linux...
2010-04-09 piniCompile MPI programs with -O2 by default.
2010-04-09 navarropNow working.
2010-04-09 mquinsonKill the dangerous MSG_task_ref() now that the bindings...
2010-04-09 mquinsonUse libsimgrid as name for the native simgrid module...
2010-04-09 mquinsonremove temporary manual link to library now that cmake...
2010-04-09 mquinsonkill trivial MSG_task_has_data() and use get_data(...
2010-04-09 mquinsonAllow to use xbt_dynar_shrink() to expend the dynar...
2010-04-09 mquinsonavoid memmove(..,..,0) which seems to cause trouble...
2010-04-09 mquinsonKill an crufty and outdated manual link to the lib
2010-04-09 mquinsonKill a detection of jot, which produce an error message...
2010-04-09 coldpeacerequire 'simgrid'
next