AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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] 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
2015-08-28	Gabriel Corona	Disable lazy relocation in the model-ched process.	commit \| commitdiff \| tree
2015-08-28	Gabriel Corona	[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid...	commit \| commitdiff \| tree
2015-08-27	Gabriel Corona	[smpi] Fix compilation	commit \| commitdiff \| tree
2015-08-27	Gabriel Corona	[smpi] Avoid locking the mutex when it's not needed	commit \| commitdiff \| tree
2015-08-25	Gabriel Corona	[mc] Add tests to show that DPOR is guilty of mutex...	commit \| commitdiff \| tree
2015-08-25	Gabriel Corona	[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK	commit \| commitdiff \| tree
2015-08-25	Gabriel Corona	Update .gitignore	commit \| commitdiff \| tree
2015-08-25	Gabriel Corona	[mc] Add a test to examplify that we should handle...	commit \| commitdiff \| tree
2015-08-25	Gabriel Corona	smpirun: Option to run the child in foreground	commit \| commitdiff \| tree
2015-08-25	Gabriel Corona	smpirun: Raise the same signal we received	commit \| commitdiff \| tree
2015-08-24	Gabriel Corona	smpirun: cleanup files and children before dying	commit \| commitdiff \| tree
2015-08-24	Gabriel Corona	tesh: Let a grace period of 1s for the child process...	commit \| commitdiff \| tree
2015-07-30	Gabriel Corona	[mc] Ignore stdout/stderr of the umpire tests	commit \| commitdiff \| tree
2015-07-28	Gabriel Corona	[mc] Fail if we can't unprotect the stack guard	commit \| commitdiff \| tree
2015-07-28	Gabriel Corona	[mc] Do not attempt to make the heap writeable	commit \| commitdiff \| tree
2015-07-28	Gabriel Corona	[mc] Use the real override	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Workaround for Windows	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Temporary test	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Check build mode before making the archive	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Display arguments passed to the script	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Fix jenkins	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] ulimit -c may not be available	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Add windows support in build.sh	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[jenkins] Add makedist.sh script	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	Revert "[cmake] Use -std=c++0x if -std=c++11 is not...	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[mc] Fix constness issue in MC_make_functions_index()	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[cmake] Check g++ version before checking c++11 support	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[cmake] Use -std=c++0x if -std=c++11 is not available	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[mc] Remove mc_object_info.cpp	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[mc] Remove useless functions	commit \| commitdiff \| tree
2015-07-27	Gabriel Corona	[mc] Move Frame, ModelChecker, ObjectInformation, Type...	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	NEWS: fix typo and indentation	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Cleanup	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Do not #define __has_feature	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Cleanup mc_client_api.cpp	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Move MC_random() in mc_client_api.cpp	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Do not trigger errors in MC_automaton_new_propositional...	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Move the proposition declaration functions in...	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Cleanup/simplify liveness property automaton registrati...	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Remove MC_automaton_new_propositional_symbol_callback()	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Add some doc to the simulated-application-side API	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Do not allow to xbt_new things with (non-trivial...	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Remove HTML in a comment (this is ugly)	commit \| commitdiff \| tree
2015-07-24	Gabriel Corona	[mc] Comment the binary search in ObjectInformation...	commit \| commitdiff \| tree
2015-07-23	Gabriel Corona	[mc] Fix out of range error in the binary search implementation	commit \| commitdiff \| tree
2015-07-23	Gabriel Corona	[mc] Fix: can't build a std::string with nullptr	commit \| commitdiff \| tree
2015-07-23	Gabriel Corona	[mc] Give a real override if we know it's available	commit \| commitdiff \| tree
2015-07-23	Gabriel Corona	[mc] Remove a lot of typedefs and typedef usage	commit \| commitdiff \| tree
2015-07-23	Gabriel Corona	[mc] Remove remainings of an old type	commit \| commitdiff \| tree
2015-07-23	Gabriel Corona	[mc] Simplify lookup of maps	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Remove useless/unused stuff	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Remove MC_post_process_functions()	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Remove MC_dwarf_register_variable()	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Avoid the O(n^2) incremental construction of sorted...	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Add comments on ObjectInformation	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Make ObjectInformation::function_index a std:...	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Make ObjectInformation::file_names a std::string	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Make Process::subprograms a std::unordered_map	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Make type_is an integer instead of a string and...	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Move ObjectInformation methods in mc_object_info.cpp	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Move some declarations in mc_object_info.h	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Make Frame::variables, Frame::scopes and ObjectInformat...	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] C++ location lists and expressions	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] C++ify Frame	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] C++ify Variable	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] OOPify/C++ify Type (cont)	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] OOPify/C++ify Type (cont)	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] OOPify/C++ify Type	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] OOPify/C++ify ObjectInformation	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] C++ification of memory_map.cpp	commit \| commitdiff \| tree
2015-07-21	Gabriel Corona	[mc] Cleanup/C++ification of {ModelChecker,PageStore...	commit \| commitdiff \| tree
2015-07-17	Gabriel Corona	[mc] Remove content addressable page store	commit \| commitdiff \| tree
2015-07-17	Gabriel Corona	[mc] Cleanup mc_hash	commit \| commitdiff \| tree
2015-07-17	Gabriel Corona	[doc] Add missing layers (MC, SIMIX, SIMDAG) in README...	commit \| commitdiff \| tree
2015-07-17	Gabriel Corona	[doc] Various fixes to README.git	commit \| commitdiff \| tree
2015-07-17	Gabriel Corona	[mc] Fix another signedness conversion issue with addresses...	commit \| commitdiff \| tree
2015-07-17	Gabriel Corona	[mc] Remove useless cast	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom