Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-28 Gabriel Corona[mc] Fix broken tests with surf++ (because simcall...
2014-02-28 Gabriel Corona[mc] Log some information for the prefiltering phase...
2014-02-25 Gabriel Corona[mc] Handle DW_TAG_class_type as DW_TAG_structure_type...
2014-02-25 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-25 Gabriel CoronaMerge bugfix from branch mc-refactor
2014-02-25 Gabriel CoronaMerge branches 'mc'
2014-02-25 Gabriel Corona[mc] Fix format strings
2014-02-25 Gabriel CoronaMerge bugfix
2014-02-25 Gabriel Corona[mc] Fix buf introduces by previous commit
2014-02-25 Gabriel Corona[mc] Handle reference_type and rvalue_reference_type...
2014-02-25 Gabriel Corona[mc] Skip declaration of data_members (C++)
2014-02-25 Gabriel Corona[mc] Skip variables/members which are compile time...
2014-02-25 Gabriel Corona[mc] Fix typos
2014-02-25 Gabriel Corona[mc] Handle DW_AT_start_scope (for constants)
2014-02-25 Gabriel Corona[mc] Handle DW_TAG_namespace (C++)
2014-02-25 Marion Guthmullermodel-checker : smpi examples for the communication...
2014-02-25 Marion Guthmullermodel-checker : print comm pattern
2014-02-25 Marion Guthmullermodel-checker : use separate configuration flags for...
2014-02-25 Marion Guthmullermodel-checker : check if action not NULL before using it
2014-02-25 Gabriel Corona[mc] Basic namespace support (for types)
2014-02-24 Gabriel Corona[mc] Do not use linkage_name as a name
2014-02-24 Gabriel Corona[mc] Add MC_dwarf_tag_classify()
2014-02-24 Gabriel Corona[mc] Do not try to handle scopes inside a subprogram
2014-02-24 Gabriel Corona[mc] Use dynar instead of dict for storing functions
2014-02-24 Gabriel Corona[mc] Move MC_ignore_local_variable and MC_ignore_global...
2014-02-24 Gabriel Corona[mc] Add missing DW_FORM_data1 (enable C++ support)
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-24 Gabriel CoronaMerge branch 'mc-perf' into mc
2014-02-24 Gabriel CoronaFix compilation
2014-02-21 Arnaud GierschUse the full jar here.
2014-02-21 Arnaud GierschAdd an option to control whether native libraries are...
2014-02-21 Arnaud GierschIsolate generation of the NATIVE path for the jar file.
2014-02-21 Arnaud Gierschdistcheck again.
2014-02-21 Arnaud GierschCosmetics.
2014-02-21 Pierre VeyreDisk usage computation bug fix
2014-02-21 Gabriel Corona[mc] Avoid resolving TLS over and over again
2014-02-21 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-02-21 Pierre VeyreMSG_file_write() bug fix + tesh files improvements
2014-02-21 Paul BédarideUpdate changelog and news v3_11_beta
2014-02-21 Paul BédarideClean surf
2014-02-21 Paul BédarideAdd script to generate multi-platform jar
2014-02-21 Arnaud GierschMake check_dist_archive accept the newly created .gitve...
2014-02-21 Augustin DegommeChangelog update
2014-02-21 Augustin Degommethis was not needed anymore
2014-02-21 Paul BédarideAdd .gitversion to dist
2014-02-21 Gabriel Corona[mc] Merge add_compared_pointers and already_compared_p...
2014-02-20 Arnaud GierschFix warnings with make simgrid_documentation.
2014-02-20 Paul BédarideFIX: forget to update filename in DefinePackage.cmake
2014-02-20 Paul BédarideAdd SG version and Git version in MANIFEST.MF
2014-02-20 Pierre VeyreFix MSG_storage_get_proporties() bug
2014-02-20 Gabriel Corona[mc] Avoid (slow) type lookups by name or ID (xbt_dict_...
2014-02-20 Gabriel Corona[mc] Move mc_find_frame_base in mc_dwarf.c where it...
2014-02-20 Gabriel Corona[mc] Use resolved addresses in entry.low_pc and entry...
2014-02-20 Gabriel Corona[mc] Use resolved addresses in frame->low_pc and frame...
2014-02-20 Pierre VeyreMissing commit for introduce model specific properties...
2014-02-20 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-02-20 Pierre VeyreIntroduce model specific properties for storage_type
2014-02-19 Arnaud GierschCleanup.
2014-02-19 Paul BédarideUpdate changelog
2014-02-19 Paul BédarideFix normalize-pointers script
2014-02-18 Arnaud GierschInform user when model-checking has been disabled becau...
2014-02-18 Arnaud GierschFix some overflows in msg_vm on 32bits archs.
2014-02-18 Arnaud GierschReindent function.
2014-02-18 Gabriel Corona[mc] Do not waste time calling libunwind get_proc_name...
2014-02-18 Marion Guthmullermodel-checker : conflit
2014-02-18 Marion Guthmullermodel-checker : minor fix
2014-02-18 Marion Guthmullermodel-checker : new configuration flag for the detectio...
2014-02-18 Marion Guthmullermodel-checker : remove or comment some printf
2014-02-18 Marion Guthmullermodel-checker : fix comm destroy for send detached...
2014-02-18 Marion Guthmullermodel-checker : try to fix the model-checker in case...
2014-02-18 Arnaud GierschRemove obsolete comment.
2014-02-18 Arnaud GierschRemove useless length modifier 'l' in %l[efg] for printf.
2014-02-18 Paul BédarideFill java-cloud-migration tesh file
2014-02-18 Marion Guthmullermodel-checker : wait with timeout is always dependant...
2014-02-18 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-02-18 Marion Guthmullerfix debug log
2014-02-18 alebreFix java cloud migration test - Adrien
2014-02-18 Marion Guthmullermodel-checker : use MC_assert instead of assert for...
2014-02-18 Paul BédarideFix java cloud
2014-02-18 alebreMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-02-18 Paul BédarideFix msg-cloud-simple-vm tesh
2014-02-18 alebreFix java example (still something weird related to...
2014-02-18 Gabriel Corona[mc] Avoid parsing /proc/self/maps if possible (continued)
2014-02-18 Gabriel Corona[mc] Fix get_object_info
2014-02-18 Paul BédarideFix doxygen
2014-02-17 Paul Bédaridehost data comeback as property 'data'
2014-02-17 Gabriel Corona[mc] Avoid parsing /proc/self/maps if possible
2014-02-17 Paul BédarideAdd doc for new models and simcall
2014-02-17 Paul BédarideClean surf cpu cas01
2014-02-14 Augustin Degommeprotect smpi against problems with replay+collectives.
2014-02-14 Gabriel Corona[mc] Doxygen mc_dpor.c (and some mc_liveness.c)
2014-02-14 Gabriel Corona[mc] Disable MC_DEBUG (enabled by mistake)
2014-02-14 Arnaud GierschTypo: it's --log with two dashes.
2014-02-14 Arnaud GierschSort output on 1st char to distinguish kernel output...
2014-02-14 Arnaud GierschPrint messages on stderr so that they're correctly...
2014-02-13 Arnaud GierschExample was removed.
2014-02-13 Arnaud GierschCast enum to int.
2014-02-13 Arnaud GierschRemove old files.
2014-02-13 Arnaud GierschUse host's RngStream, instead of creating another one.