A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simgrid.git
2014-03-07
Gabriel Corona
[mc] Remove old code (mc_location_t)
commit
|
commitdiff
|
tree
|
snapshot
2014-03-07
Gabriel Corona
[mc] Use new expression evaluation code frame_base
commit
|
commitdiff
|
tree
|
snapshot
2014-03-07
Gabriel Corona
[mc] Implement DW_OP_call_frame_cfa using libunwind
commit
|
commitdiff
|
tree
|
snapshot
2014-03-07
Gabriel Corona
[mc] Use new DWARF expression code for variables
commit
|
commitdiff
|
tree
|
snapshot
2014-03-06
Gabriel Corona
[mc] Partial implementation of DWARF expression evaluator
commit
|
commitdiff
|
tree
|
snapshot
2014-03-06
Gabriel Corona
Merge branch 'mc' into mc++
commit
|
commitdiff
|
tree
|
snapshot
2014-03-06
Gabriel Corona
[mc] Fix bug when trying to handle DW_OP_regN in MC_dwa...
commit
|
commitdiff
|
tree
|
snapshot
2014-03-06
Gabriel Corona
[mc] Support DWARF4 DW_FORM_sec_offset (found in libpth...
commit
|
commitdiff
|
tree
|
snapshot
2014-03-03
Gabriel Corona
[mc] Add support for DW_TAG_unspecified_type (nullptr_t...
commit
|
commitdiff
|
tree
|
snapshot
2014-03-03
Gabriel Corona
[mc] Bring back old code for MPI_Finalize (disabled)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-28
Gabriel Corona
Merge branch 'mc++' into mc-merge
commit
|
commitdiff
|
tree
|
snapshot
2014-02-28
Gabriel Corona
[mc] Fix broken tests with surf++ (because simcall...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-28
Gabriel Corona
[mc] Log some information for the prefiltering phase...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Handle DW_TAG_class_type as DW_TAG_structure_type...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
Merge branch 'mc' into mc++
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
Merge bugfix from branch mc-refactor
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
Merge branches 'mc'
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Fix format strings
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
Merge bugfix
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Fix buf introduces by previous commit
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Handle reference_type and rvalue_reference_type...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Skip declaration of data_members (C++)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Skip variables/members which are compile time...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Fix typos
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Handle DW_AT_start_scope (for constants)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Handle DW_TAG_namespace (C++)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Marion Guthmuller
model-checker : smpi examples for the communication...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Marion Guthmuller
model-checker : print comm pattern
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Marion Guthmuller
model-checker : use separate configuration flags for...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Marion Guthmuller
model-checker : check if action not NULL before using it
commit
|
commitdiff
|
tree
|
snapshot
2014-02-25
Gabriel Corona
[mc] Basic namespace support (for types)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
[mc] Do not use linkage_name as a name
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
[mc] Add MC_dwarf_tag_classify()
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
[mc] Do not try to handle scopes inside a subprogram
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
[mc] Use dynar instead of dict for storing functions
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
[mc] Move MC_ignore_local_variable and MC_ignore_global...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
[mc] Add missing DW_FORM_data1 (enable C++ support)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
Merge 'master' into mc
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
Merge branch 'mc-perf' into mc
commit
|
commitdiff
|
tree
|
snapshot
2014-02-24
Gabriel Corona
Fix compilation
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Arnaud Giersch
Use the full jar here.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Arnaud Giersch
Add an option to control whether native libraries are...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Arnaud Giersch
Isolate generation of the NATIVE path for the jar file.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Arnaud Giersch
distcheck again.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Arnaud Giersch
Cosmetics.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Pierre Veyre
Disk usage computation bug fix
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Gabriel Corona
[mc] Avoid resolving TLS over and over again
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Pierre Veyre
MSG_file_write() bug fix + tesh files improvements
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Paul Bédaride
Update changelog and news
v3_11_beta
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Paul Bédaride
Clean surf
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Paul Bédaride
Add script to generate multi-platform jar
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Arnaud Giersch
Make check_dist_archive accept the newly created .gitve...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Augustin Degomme
Changelog update
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Augustin Degomme
this was not needed anymore
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Paul Bédaride
Add .gitversion to dist
commit
|
commitdiff
|
tree
|
snapshot
2014-02-21
Gabriel Corona
[mc] Merge add_compared_pointers and already_compared_p...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Arnaud Giersch
Fix warnings with make simgrid_documentation.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Paul Bédaride
FIX: forget to update filename in DefinePackage.cmake
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Paul Bédaride
Add SG version and Git version in MANIFEST.MF
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Pierre Veyre
Fix MSG_storage_get_proporties() bug
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Gabriel Corona
[mc] Avoid (slow) type lookups by name or ID (xbt_dict_...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Gabriel Corona
[mc] Move mc_find_frame_base in mc_dwarf.c where it...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Gabriel Corona
[mc] Use resolved addresses in entry.low_pc and entry...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Gabriel Corona
[mc] Use resolved addresses in frame->low_pc and frame...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Pierre Veyre
Missing commit for introduce model specific properties...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-20
Pierre Veyre
Introduce model specific properties for storage_type
commit
|
commitdiff
|
tree
|
snapshot
2014-02-19
Arnaud Giersch
Cleanup.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-19
Paul Bédaride
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2014-02-19
Paul Bédaride
Fix normalize-pointers script
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Arnaud Giersch
Inform user when model-checking has been disabled becau...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Arnaud Giersch
Fix some overflows in msg_vm on 32bits archs.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Arnaud Giersch
Reindent function.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Gabriel Corona
[mc] Do not waste time calling libunwind get_proc_name...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : conflit
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : minor fix
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : new configuration flag for the detectio...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : remove or comment some printf
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : fix comm destroy for send detached...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : try to fix the model-checker in case...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Arnaud Giersch
Remove obsolete comment.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Arnaud Giersch
Remove useless length modifier 'l' in %l[efg] for printf.
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Paul Bédaride
Fill java-cloud-migration tesh file
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : wait with timeout is always dependant...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
fix debug log
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
alebre
Fix java cloud migration test - Adrien
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Marion Guthmuller
model-checker : use MC_assert instead of assert for...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Paul Bédaride
Fix java cloud
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
alebre
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Paul Bédaride
Fix msg-cloud-simple-vm tesh
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
alebre
Fix java example (still something weird related to...
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Gabriel Corona
[mc] Avoid parsing /proc/self/maps if possible (continued)
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Gabriel Corona
[mc] Fix get_object_info
commit
|
commitdiff
|
tree
|
snapshot
2014-02-18
Paul Bédaride
Fix doxygen
commit
|
commitdiff
|
tree
|
snapshot
2014-02-17
Paul Bédaride
host data comeback as property 'data'
commit
|
commitdiff
|
tree
|
snapshot
2014-02-17
Gabriel Corona
[mc] Avoid parsing /proc/self/maps if possible
commit
|
commitdiff
|
tree
|
snapshot
2014-02-17
Paul Bédaride
Add doc for new models and simcall
commit
|
commitdiff
|
tree
|
snapshot
2014-02-17
Paul Bédaride
Clean surf cpu cas01
commit
|
commitdiff
|
tree
|
snapshot
next