Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into mc
[simgrid.git] / src / simix /
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-26 Martin QuinsonRemove the kill_time timer when a process stops (fix...
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-17 Gabriel Corona[mc] Remove mc_interface.h
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
2015-04-16 Gabriel Corona[mc] Switch to C++
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-04-08 Arnaud LegrandMaking the exception/exception test work:
2015-04-08 Arnaud LegrandAdding debug messages
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien
2015-04-04 Martin Quinsoncleanups and simplifications to our build system
2015-04-04 Martin Quinsonrename parameters all around to make their meaning...
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-03-12 Gabriel Corona[mc] Fetch simix_process_maxpid from MCed
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-17 Arnaud GierschReplace remaining smx_action by smx_synchro.
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-06 Gabriel Corona[mc] Communication of heap_area_to_ignore to the remote...
2015-01-25 Martin Quinsoncosmetics in comments
2014-12-12 Gabriel Corona[mc] Support for reading heap state from another process
2014-12-12 Martin Quinsonmore documentation about the simcall mechanism
2014-12-10 Augustin DegommeFix windows build (this is now used from the java library)
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-12-01 Gabriel Corona[mc] Enable MC specific behaviour in replay mode
2014-12-01 Gabriel CoronaRevert "[mc] Enable MC specific behaviour in replay...
2014-12-01 Gabriel Corona[mc] Enable MC specific behaviour in replay mode
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-13 Gabriel CoronaRemove warning about uninitialized variable
2014-11-13 Gabriel CoronaDon't use xbt_os_time() when not needed
2014-11-03 Martin QuinsonRemove some most simcall HEADERs
2014-11-02 Martin Quinson[popping] allow to omit the handler
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t
2014-11-02 Martin Quinsonbetter handling of blocking simcalls in the generated...
2014-11-02 Martin Quinsonsome more cosmetics in the popping generator
2014-11-02 Martin QuinsonGenerate automatically the simcall_HANDLER_* prototypes
2014-11-02 Martin Quinsonkill dead code
2014-11-02 Martin Quinson[popping] cosmetics in doc and generator
2014-11-02 Martin Quinsonrename all SIMIX_pre_* to simcall_HANDLER_*
2014-11-02 Martin QuinsonRename smx_user to libsmx (to mimick libc/smx)
2014-11-01 Martin Quinsonfinish the s/smurf/popping/ renaming
2014-11-01 Martin Quinsonimprove a bit the documentation of popping, and align...
2014-11-01 Martin Quinsonmake smx_popping_bodies.c parsable by eclipse (kinda)
2014-11-01 Martin Quinsoncosmetics in the popping generator
2014-11-01 Martin Quinsonkill dead code
2014-11-01 Martin Quinsonfurther simplification of the popping in simix
2014-11-01 Martin QuinsonRemove the 'TUTORIAL: New API' chunks
2014-11-01 Martin Quinsonrename a generated file involved in the kernel popping
2014-11-01 Martin Quinsonkill dead code
2014-10-22 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-22 etortilopezusing walltimer in adaptive algorithm
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-15 Martin QuinsonI'm not sure of why flexml generated a different flex...
2014-10-13 etortilopezbetter estimate of window for adaptive algorithm
2014-10-12 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-11 Martin Quinsontry to simplify the way simcalls are generated
2014-10-11 Martin Quinsonkill dead code
2014-10-11 Martin Quinsonrename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter...
2014-10-11 Martin Quinsonensure that the generated files are autonomous and...
2014-10-09 Martin Quinsonmake my previous commit also compile under MC (sorry)
2014-10-09 Martin Quinsonour usage of doxygen is improvable
2014-10-09 Martin QuinsonMake it much easier to follow control flow through...
2014-10-09 Martin Quinsontry to have valid chunks in generated files to please...
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-08 etortilopezbetter estimation of dynamic threshold
2014-10-01 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-01 etortilopezFixes in adaptive algorithm
2014-09-24 etortilopezAdded adaptive algorithm to find optimal threshold...
2014-09-11 Augustin Degommeno \n in debug messages
2014-09-11 Augustin Degommechange iprobe in order to allow probing on outgoing...
2014-09-11 Augustin Degommeavoid warnings (and errors) without debug enabled
2014-08-29 Gabriel CoronaMerge branch 'mc'
2014-08-29 Gabriel Corona[mc] Fix smpi_process_index_of_smx_process()
2014-08-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-08-11 Paul BédarideAdd vm tesh
2014-08-07 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-08-07 Adrien LebreTemporary patch to handle host failure exception during...
2014-08-07 Martin QuinsonNew: SIMIX_process_throw() allows to raise exceptions...
2014-08-06 Martin Quinsonensure that the process initializer actually works...
2014-08-06 Martin Quinsonuseless cleanups
2014-07-31 Stéphane CastelliFix annoying typo in help message.
2014-07-30 etortilopezSR experiment now working
2014-07-28 Adrien Lebremissing files - adrien
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-28 Adrien LebreFound a bug/feature regarding the cancellation of a...
2014-07-28 Paul BédarideFix tesh host_on_off_processes 4
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI...
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-07-24 Paul BédarideFix msg-host-on-off tesh
2014-07-24 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-24 Paul BédarideAdd test for host on off and some fixes
2014-07-07 Paul BédarideXml platform cleaning teshsuite/msg
2014-07-03 Marion Guthmullerdon't destroy detached comm from the sender side during...
next