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 : add debug message
[simgrid.git] / src /
2013-10-04 Marion Guthmullermodel-checker : add debug message tree | commitdiff
2013-10-04 Marion Guthmullermodel-checker : ignore some information for system... tree | commitdiff
2013-10-04 Marion Guthmullerinit request real_src tree | commitdiff
2013-10-04 Marion Guthmullermodel-checker : detect pointers on a part of a fragment tree | commitdiff
2013-10-04 Marion Guthmullermodel-checker : automaton state comparison removed... tree | commitdiff
2013-10-03 Arnaud GierschKill some memory leaks. tree | commitdiff
2013-10-03 Arnaud GierschTypo: contexte -> context. tree | commitdiff
2013-10-02 Augustin Degommeparameter order was not changed in java bindings tree | commitdiff
2013-10-02 Pierre VeyreChange parameters order for msg_file_read, msg_file_wri... tree | commitdiff
2013-10-02 Arnaud GierschEven printf does not follow the standard on Windows. tree | commitdiff
2013-10-01 Arnaud GierschFix format specifiers for sg_storage_size_t. tree | commitdiff
2013-10-01 Arnaud GierschSmall fixes in type names. tree | commitdiff
2013-10-01 Arnaud GierschUse homogeneous dicts which are more efficient. tree | commitdiff
2013-10-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-10-01 Pierre VeyreIntroduce sg_storage_size_t type tree | commitdiff
2013-10-01 Pierre VeyreFix the storage content update after a write action... tree | commitdiff
2013-10-01 Arnaud GierschTry to exit in a more valgrind friendly manner when... tree | commitdiff
2013-10-01 Arnaud GierschGuard against jedule being null. tree | commitdiff
2013-10-01 Arnaud GierschCentralize declaration for _sg_init_status (renamed... tree | commitdiff
2013-10-01 Arnaud GierschRemove "default" factory. The real default is chosen... tree | commitdiff
2013-10-01 Arnaud GierschFurther improve help message. tree | commitdiff
2013-10-01 Arnaud GierschImprove help message about available context factories. tree | commitdiff
2013-10-01 Arnaud GierschFix default context factory. tree | commitdiff
2013-10-01 Marion Guthmullermodel-checker : fix memory leak tree | commitdiff
2013-10-01 Marion Guthmullermodel-checker : fix removal of a visited pair in livene... tree | commitdiff
2013-10-01 Marion Guthmullermodel-checker : parallel system state comparison for... tree | commitdiff
2013-10-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-30 Arnaud GierschInitialize arrays at declaration, and remove use of... tree | commitdiff
2013-09-30 Augustin Degommeas win does not support ucontexts, use raw as the defau... tree | commitdiff
2013-09-30 Pierre VeyreClean up MSG_host_get_storage_content tree | commitdiff
2013-09-29 Marion Guthmullermodel-checker : fix detection of dangling pointers... tree | commitdiff
2013-09-29 Marion Guthmullermodel-checker : update system state comparison tree | commitdiff
2013-09-28 Martin QuinsonMerge pull request #2 from cemsbr/master tree | commitdiff
2013-09-28 Pierre VeyrePrepare test suite for msg-storage "ctest -R msg-storage" tree | commitdiff
2013-09-27 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-26 Pierre VeyreChange MSG_host_get_storage_list function + update... tree | commitdiff
2013-09-26 Arnaud GierschDetermine assembly flavor at a single place. tree | commitdiff
2013-09-26 Arnaud GierschSetting the stack size works for threads too, since... tree | commitdiff
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-26 Pierre VeyreFix MSG_storage_get_content function tree | commitdiff
2013-09-25 Arnaud GierschQuick fix of doxygen comments. tree | commitdiff
2013-09-25 Arnaud GierschRemove now unused parameter "default_value" for xbt_cfg... tree | commitdiff
2013-09-25 Arnaud GierschDig through git history, and update copyright lines. tree | commitdiff
2013-09-25 sutermimic host behavior, works better this way tree | commitdiff
2013-09-25 suterprevent using garbage in data field tree | commitdiff
2013-09-25 sutermove things to a righter place tree | commitdiff
2013-09-25 Marion Guthmullermodel-checker : init var tree | commitdiff
2013-09-25 Pierre VeyreUncomment code to avoid warning tree | commitdiff
2013-09-25 Pierre Veyreadd msg_storage_priv_t creation tree | commitdiff
2013-09-25 suterhere was the leak ... tree | commitdiff
2013-09-25 sutersome corrections while chasing leaks tree | commitdiff
2013-09-25 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-25 Pierre VeyreMSG_storage API improvements (or not) tree | commitdiff
2013-09-25 Arnaud GierschRemove useless lines. tree | commitdiff
2013-09-25 Arnaud GierschAvoid to leave stale temporary files. tree | commitdiff
2013-09-24 Augustin Degommedouble definition makes windows unhappy tree | commitdiff
2013-09-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2013-09-24 Marion Guthmullermodel-checker : fix system state comparison (I hate... tree | commitdiff
2013-09-24 Augustin Degommeone more leak tree | commitdiff
2013-09-24 Augustin Degommewindows doesn't provide/need this call tree | commitdiff
2013-09-24 Augustin Degommefirst attempt to fix win build tree | commitdiff
2013-09-24 Augustin Degommefew more leaks tree | commitdiff
2013-09-24 Augustin Degommemore leaks tree | commitdiff
2013-09-24 Augustin Degommesmpi leak -- tree | commitdiff
2013-09-24 Augustin DegommePower state list was shared between hosts of a cabinet... tree | commitdiff
2013-09-24 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-24 Pierre VeyreAdd MSG_storage_set_property_value function tree | commitdiff
2013-09-24 sutersimplify way alltoallv and gatherv are described in... tree | commitdiff
2013-09-24 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-24 Pierre VeyreAdd MSG_storage_get_content function tree | commitdiff
2013-09-24 suterremove a leak on almost all simdag tests tree | commitdiff
2013-09-23 Arnaud GierschMore memory leaks. tree | commitdiff
2013-09-23 Arnaud GierschThe full dynar is not used here, delete it. tree | commitdiff
2013-09-23 Arnaud GierschAlso delete allocs_metadata. tree | commitdiff
2013-09-23 Arnaud GierschFree loc, which is unused in this path. tree | commitdiff
2013-09-23 Arnaud GierschFix use after free (data is removed by the call to... tree | commitdiff
2013-09-23 Augustin Degommeleak -- tree | commitdiff
2013-09-23 Augustin Degommeleak -- tree | commitdiff
2013-09-23 Augustin Degommeremove leaks from energy tree | commitdiff
2013-09-23 Augustin Degommeadd a cleanup callback to surf_resource_t, useful to... tree | commitdiff
2013-09-23 Arnaud GierschCosmetics. tree | commitdiff
2013-09-23 Arnaud GierschThere's no need to dup these strings (memleak--). tree | commitdiff
2013-09-23 Arnaud GierschFix error: ‘current_region’ may be used uninitialized... tree | commitdiff
2013-09-23 Augustin Degommefix build without tracing tree | commitdiff
2013-09-23 Augustin Degommeadd a check to ensure that async_small_thres is under... tree | commitdiff
2013-09-23 Arnaud GierschTest is useless here. tree | commitdiff
2013-09-23 Arnaud GierschUse xbt_cfg_setdefault everywhere. tree | commitdiff
2013-09-23 Arnaud GierschCorrect the settings for default values of boolean... tree | commitdiff
2013-09-23 Arnaud GierschCosmetics: some reindent. tree | commitdiff
2013-09-23 Arnaud GierschFix doxygen comments. tree | commitdiff
2013-09-21 Marion Guthmullerforget to uncomment a part of code tree | commitdiff
2013-09-21 Marion Guthmullermodel-checker : parallel comparison of system states... tree | commitdiff
2013-09-21 Marion Guthmullermodel-checker : get size used (heapinfo meta-data) tree | commitdiff
2013-09-21 Marion Guthmullermodel-checker : minor fix in ddfs algorithm tree | commitdiff
2013-09-21 Marion Guthmullermodel-checker : --cfg=model-check/checkpoint is an... tree | commitdiff
2013-09-20 Augustin Degommeattempt to make valgrind happier tree | commitdiff
2013-09-20 Augustin Degommeleak -- tree | commitdiff
2013-09-20 Guillaume SerrièreMake raw_context compatible with x32 from Debian. tree | commitdiff
2013-09-19 Augustin DegommeFix reverted commit 28937161936e11ceac5acccf0b547055cc6... tree | commitdiff
2013-09-18 Augustin Degommeupdate licenses to include OpenMPI and STAR-MPI ones tree | commitdiff
next
Clone of SimGrid repository with local patches