AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2014-05-30	Marion Guthmuller	model-checker : forget file	blob \| commitdiff \| raw
2014-05-26	Gabriel Corona	Merge branch 'master' into mc	blob \| commitdiff \| raw \| diff to current
2014-05-16	Gabriel Corona	Merge branch 'mc_without_ksm' into mc	blob \| commitdiff \| raw \| diff to current
2014-05-16	Gabriel Corona	[mc] Use the actual heap size when testing if an addres...	blob \| commitdiff \| raw \| diff to current
2014-05-13	Gabriel Corona	[mc] Rename raw_heap into mc_heap	blob \| commitdiff \| raw \| diff to current
2014-05-12	Marion Guthmuller	model-checker : complete comm pattern only after a...	blob \| commitdiff \| raw \| diff to current
2014-05-08	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2014-05-05	Stéphane Castelli	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-04-29	Marion Guthmuller	model-checker : fix the detection of determinism	blob \| commitdiff \| raw \| diff to current
2014-04-22	Stéphane Castelli	Merge branch 'smpi-topo'	blob \| commitdiff \| raw \| diff to current
2014-04-04	Gabriel Corona	Merge branch 'mc'	blob \| commitdiff \| raw \| diff to current
2014-04-04	Gabriel Corona	[mc] Make snapshots compatible with SMPI privatization...	blob \| commitdiff \| raw \| diff to current
2014-04-01	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-31	Martin Quinson	Revert "Remove XBT_INFO call"	blob \| commitdiff \| raw \| diff to current
2014-03-31	Pierre Veyre	Remove XBT_INFO call	blob \| commitdiff \| raw \| diff to current
2014-03-31	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-28	Gabriel Corona	[mc] Change type for type->id	blob \| commitdiff \| raw \| diff to current
2014-03-28	Gabriel Corona	[mc] Fix type of expression resolution methods (uintpt_...	blob \| commitdiff \| raw \| diff to current
2014-03-25	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-25	Gabriel Corona	Merge branch 'mc++'	blob \| commitdiff \| raw \| diff to current
2014-03-25	Gabriel Corona	[mc] Fix DW_OP_addr to translate address into virtual...	blob \| commitdiff \| raw \| diff to current
2014-03-24	Gabriel Corona	[mc] Attach correct namespaced name in inlined subrouti...	blob \| commitdiff \| raw \| diff to current
2014-03-24	Gabriel Corona	[mc] Replace frame->frame (frame name) by frame-...	blob \| commitdiff \| raw \| diff to current
2014-03-24	Gabriel Corona	[mc] Rename frame->start into frame->id	blob \| commitdiff \| raw \| diff to current
2014-03-24	Gabriel Corona	[mc] Remove frame->end field which was not used anymore	blob \| commitdiff \| raw \| diff to current
2014-03-24	Gabriel Corona	[mc] Process nested scopes DWARF informations	blob \| commitdiff \| raw \| diff to current
2014-03-24	Gabriel Corona	[mc] Documentation	blob \| commitdiff \| raw \| diff to current
2014-03-21	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-21	Gabriel Corona	Merge branch 'mc++'	blob \| commitdiff \| raw \| diff to current
2014-03-20	Gabriel Corona	[mc] Efficient lookup of subprogram by offset	blob \| commitdiff \| raw \| diff to current
2014-03-20	Gabriel Corona	[mc] Fix documentation of the field 'full_type'	blob \| commitdiff \| raw \| diff to current
2014-03-18	Gabriel Corona	[mc] Fix compile_warnings	blob \| commitdiff \| raw \| diff to current
2014-03-18	Gabriel Corona	[mc] Use reference to types intead of type IDs	blob \| commitdiff \| raw \| diff to current
2014-03-18	Gabriel Corona	[mc] Fix type name handling	blob \| commitdiff \| raw \| diff to current
2014-03-18	Gabriel Corona	[mc] Add location field in struct/class-members	blob \| commitdiff \| raw \| diff to current
2014-03-10	Gabriel Corona	[mc] DW_OP_deref	blob \| commitdiff \| raw \| diff to current
2014-03-07	Gabriel Corona	[mc] Remove old code (mc_location_t)	blob \| commitdiff \| raw \| diff to current
2014-03-07	Gabriel Corona	[mc] Use new expression evaluation code frame_base	blob \| commitdiff \| raw \| diff to current
2014-03-07	Gabriel Corona	[mc] Use new DWARF expression code for variables	blob \| commitdiff \| raw \| diff to current
2014-03-06	Gabriel Corona	[mc] Partial implementation of DWARF expression evaluator	blob \| commitdiff \| raw \| diff to current
2014-03-06	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-28	Gabriel Corona	Merge branch 'mc++' into mc-merge	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge bugfix from branch mc-refactor	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge branches 'mc'	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge bugfix	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	[mc] Handle DW_AT_start_scope (for constants)	blob \| commitdiff \| raw \| diff to current
2014-02-25	Marion Guthmuller	model-checker : print comm pattern	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	[mc] Use dynar instead of dict for storing functions	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge 'master' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge branch 'mc-perf' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-20	Gabriel Corona	[mc] Avoid (slow) type lookups by name or ID (xbt_dict_...	blob \| commitdiff \| raw \| diff to current
2014-02-20	Gabriel Corona	[mc] Use resolved addresses in entry.low_pc and entry...	blob \| commitdiff \| raw \| diff to current
2014-02-18	Gabriel Corona	[mc] Do not waste time calling libunwind get_proc_name...	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : conflit	blob \| commitdiff \| raw \| diff to current
2014-02-14	Gabriel Corona	[mc] Disable MC_DEBUG (enabled by mistake)	blob \| commitdiff \| raw \| diff to current
2014-02-11	Gabriel Corona	[mc] Make usage of state hash a runtime parameter ...	blob \| commitdiff \| raw \| diff to current
2014-02-11	Gabriel Corona	[mc] Code for evaluation of the impact of the hash	blob \| commitdiff \| raw \| diff to current
2014-02-10	Gabriel Corona	[mc] Cache stack unwindinwg	blob \| commitdiff \| raw \| diff to current
2014-02-10	Gabriel Corona	Merge branch 'mc' into mc-perf	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	Merge branch mc into mc-perf	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Split address/location in dw_variable_t (which...	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Remove dead code for ignoring variables	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Remove old hash code	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Pass mc_object_info_t arguiments in many places...	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Preprocess type lookup	blob \| commitdiff \| raw \| diff to current
2014-02-07	Gabriel Corona	[mc] Compute a single hash (64 bits) of the current...	blob \| commitdiff \| raw \| diff to current
2014-02-05	Arnaud Giersch	Add/update copyright notices.	blob \| commitdiff \| raw \| diff to current
2014-01-31	Gabriel Corona	[mc] Have a more complete/accurate view of an given...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Marion Guthmuller	Merge remote-tracking branch 'origin/libdw2'	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Cleanup mc_dwarf.c	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Remove objdump code	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Remove code for location of .plt and .got.plt	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Use libdw for location list	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Use libdw for functions and local variables	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Use libdw for global variables	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Deduplicate address location resolution in MC_dwar...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Add dwarf_global field to dw_variable_t	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] libdwarf integration for types	blob \| commitdiff \| raw \| diff to current
2014-01-17	Gabriel Corona	[mc] Fix warnings	blob \| commitdiff \| raw \| diff to current
2014-01-16	Marion Guthmuller	model-checker : first steps for the study of MPI commun...	blob \| commitdiff \| raw \| diff to current
2014-01-10	Gabriel Corona	[mc] Add comments	blob \| commitdiff \| raw \| diff to current
2014-01-10	Gabriel Corona	[mc] Cleanup mc_object_info_t code	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mv] Remove global {start,end}_{plt,got}_{libsimgrid...	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mc] Add plt/got in mc_object_info_t	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mc] Move start_text, start_data, start_bss into mc_obj...	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mc] Include ELF file name in object_info_t	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mc] Remvove mc_{global_variables,local_variables,varia...	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mc] Refactor, group some informations about a given...	blob \| commitdiff \| raw \| diff to current
2013-11-21	Arnaud Giersch	Misc cleanups: remove unnecessary casts, use unsigned...	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge tag 'v3_9_90' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-10-30	Paul Bédaride	Merge commit '045db1657e870c721be490b411868f4181a12ced...	blob \| commitdiff \| raw \| diff to current
2013-10-07	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-06	Marion Guthmuller	model-checker : fix memory leak in ddfs algorithm	blob \| commitdiff \| raw \| diff to current
2013-10-01	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-01	Marion Guthmuller	model-checker : parallel system state comparison for...	blob \| commitdiff \| raw \| diff to current
2013-09-26	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-09-25	Arnaud Giersch	Dig through git history, and update copyright lines.	blob \| commitdiff \| raw \| diff to current
2013-09-24	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom