AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2015-11-09	Gabriel Corona	[mc] ptrace the model-checker application	commit \| commitdiff \| tree
2015-11-05	Gabriel Corona	[smpi] Use virtual memory layout to find the data segment	commit \| commitdiff \| tree
2015-11-02	Gabriel Corona	[mc] Fix error in dependency checking	commit \| commitdiff \| tree
2015-11-02	Gabriel Corona	[mc] DRY in MC_request_depend()	commit \| commitdiff \| tree
2015-11-02	Gabriel Corona	[mc] Use std::vector for Process::heap_info	commit \| commitdiff \| tree
2015-11-02	Gabriel Corona	[mc] Use std::unique_ptr for Process::heap	commit \| commitdiff \| tree
2015-10-16	Gabriel Corona	Fix build without lua	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Add std:: namespace for some types	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Use std::unordered* instead of boost:: ones	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Fix ModelChecker::is_important_snapshot(), do...	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Use std::pair and std::unordered_set in mc_compare	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Remove BOOST_FOREACH usage	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Rename PerPageCopy to ChunkedData (and move in...	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Documentation	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Remove useless *_free_voidp functions	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Cleanup in DwarfExpression	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Move mc_dwarf_location_list_init() into namespace	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] OOify mc_find_frame_base()	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] OOify LocationLists, Location	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Fix Snapshot::read_bytes	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] OOify DWARF stack/evaluation expression	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Simplify MC_find_object_info	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Remove useless declarations	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Move some code into simgrid::dwarf namespace	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Remove useless declarations	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Move some code into simgrid::dwarf namespace	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Move some code into simgrid::dwarf namespace	commit \| commitdiff \| tree
2015-10-15	Gabriel Corona	[mc] Move some code into simgrid::dwarf namespace	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	Fix ISP test classification	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Move MC_important_snapshot() as a method of ModelChecker	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Move some code out of is_visited_state()	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Reduce the scope of some variables in mc_visited.cpp	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Factorisation in mc_visited.cpp	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Create a Member for for structure/class/union...	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Add AddressSpace::process() method	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Make Process and Snapshot classes final	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Remove Process.is_self()	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Move typedef in correct header	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Cleanup mc_hash.cpp	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Remove commented-out code in mc_diff.cpp	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Cleanup #includes	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Fix location expression initialization	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Fix memory leak in MC_get_memory_regions()	commit \| commitdiff \| tree
2015-10-09	Gabriel Corona	[mc] Fix loop bound checking using heaplimit	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	[mc] Really remove mc_libdw for now	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	Revert "[mc] Move libdw binding code in its own file"	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	Revert "[mc] Fix initialisation of dwarf expression"	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	Revert "[mc] Remove remaining bits of libdw outside...	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	[mc] Bring back soft-dirty tracking from the dead 💀	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	[mc] Quick hack to display system memory information...	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	[mc] Bring back KSM (MADV_MERGEABLE) support	commit \| commitdiff \| tree
2015-10-02	Gabriel Corona	[mc] Support for mmap-able snapthots	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Fix unintialized variables	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Hide more symbols	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Hide more mc symbols	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Detect/fix conflicting visibility and fix visibility...	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in instr	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	[mc] Mark some internal symbols as hidden on ELF in mc	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in msg	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in simdag	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in base	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in simix	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in smpi	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in surf	commit \| commitdiff \| tree
2015-10-01	Gabriel Corona	Mark some internal symbols as hidden on ELF in xbt	commit \| commitdiff \| tree
2015-09-29	Gabriel Corona	[mc] Fix tesh file names in ctest testsuite	commit \| commitdiff \| tree
2015-09-29	Gabriel Corona	[tesh] Fix usage sting in update_tesh.pl	commit \| commitdiff \| tree
2015-09-29	Gabriel Corona	[tesh] Fix arguments in tesh file	commit \| commitdiff \| tree
2015-09-21	Gabriel Corona	[mc] Add missing #include	commit \| commitdiff \| tree
2015-09-18	Gabriel Corona	[mc] Fix missing #include in Windows	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Fix missing #include	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Use member hooks for surf_interface	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Use member hooks for VM	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Use member hooks for CpuTi	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Remove remaining bits of libdw outside of mc_libdw...	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Use string::compare instead of strcmp	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Fix initialisation of dwarf expression	commit \| commitdiff \| tree
2015-09-17	Gabriel Corona	[mc] Move libdw binding code in its own file	commit \| commitdiff \| tree
2015-09-14	Gabriel Corona	[mc] Fix SimGridMC when SMPI is disabled	commit \| commitdiff \| tree
2015-09-10	Gabriel Corona	[mc] Better explanation when complaining about the...	commit \| commitdiff \| tree
2015-09-10	Gabriel Corona	[cmake] Use _GNU_SOURCE in order to detect asprintf	commit \| commitdiff \| tree
2015-09-10	Gabriel Corona	[mingw] Fix format for MinGW	commit \| commitdiff \| tree
2015-09-10	Gabriel Corona	[cmake] Better detection of snprintf, asprintf, etc.	commit \| commitdiff \| tree
2015-09-10	Gabriel Corona	[mingw] Use __USE_MINGW_ANSI_STDIO when checking for...	commit \| commitdiff \| tree
2015-09-10	Gabriel Corona	[mingw] Please use standard printf/scanf	commit \| commitdiff \| tree
2015-09-08	Gabriel Corona	s/onexit/my_onexit	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Add some boost libs to our debugging whitelisting	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[cmake] Remove the explicit linking on C++ standard...	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Fix another bunch of shebang with env	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Stylistic changes in mc_dwarf.cpp	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Simplify MC_dwarf_get_variables()	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Use target preprocessor symbol instead of UNW_TARGET_FOO	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	Merge remote-tracking branch 'origin2/master'	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	Use env to find script interpreters	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Display region type name	commit \| commitdiff \| tree
2015-09-07	Gabriel Corona	[mc] Fix LTO with all versions of GCC	commit \| commitdiff \| tree
2015-09-01	Gabriel Corona	[mc] Remove the --cfg=model-check:1 flag	commit \| commitdiff \| tree
2015-09-01	Gabriel Corona	[mc] Remove remaining parts of the single-process mode	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom