AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2016-05-04	Gabriel Corona	[mc] Refactoring of the state comparison code	commit \| commitdiff \| tree
2016-05-04	Gabriel Corona	[mc] Better documentation of weird-DWARF-issue workaround	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] Fix inconsistent noexcept in ~missing_key_error()	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] More general comparators for Flag	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] Mark ~missing_key_error() noexcept	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	Avoid useless calls to abort() when throwing exceptions...	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] Horrible mess to translate C++ exceptions...	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	Remove bogus XBT_PRIVATE	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] Use the c++ API for some configuration flags	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] Some alias support in the C++ API	commit \| commitdiff \| tree
2016-05-03	Gabriel Corona	[config] Remove one bindFlag() overload which does...	commit \| commitdiff \| tree
2016-05-02	Gabriel Corona	[config] Rewrite the config core	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	Remove return type of xbt_cfg_set_as_string()	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	[config] Remove/privatize unused APIs	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	[config] Move aliases outside of the main option dict	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	[config] Remove multiple-value support in the config...	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	[config] Create a Config class	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	[config] Rename s_xbt_cfgelm_t to simgrid::config:...	commit \| commitdiff \| tree
2016-04-29	Gabriel Corona	Ensure that the dict subsystem is initialized when...	commit \| commitdiff \| tree
2016-04-28	Gabriel Corona	Remove spurious XBT_PUBLIC	commit \| commitdiff \| tree
2016-04-28	Gabriel Corona	Remove useless boost #includes	commit \| commitdiff \| tree
2016-04-28	Gabriel Corona	Use C++ Flag for context factory selection	commit \| commitdiff \| tree
2016-04-28	Gabriel Corona	[config] Add a template declareFlag<T>(...)	commit \| commitdiff \| tree
2016-04-28	Gabriel Corona	[mc] Fix compilation when MC id disabled	commit \| commitdiff \| tree
2016-04-28	Gabriel Corona	[mc] Remove redundant 'mc_mode' global variable	commit \| commitdiff \| tree
2016-04-27	Gabriel Corona	Add missing #include for std::current_exception()	commit \| commitdiff \| tree
2016-04-26	Gabriel Corona	Add a comment/TODO about i386 RawContext	commit \| commitdiff \| tree
2016-04-26	Gabriel Corona	RawContext: add comments for x86 raw_swapcontext()	commit \| commitdiff \| tree
2016-04-25	Gabriel Corona	Use our own minimal signal implementation	commit \| commitdiff \| tree
2016-04-25	Gabriel Corona	Add #includes in cpu_interface.hpp	commit \| commitdiff \| tree
2016-04-25	Gabriel Corona	Fix bad pointer cast in the L07 model	commit \| commitdiff \| tree
2016-04-25	Gabriel Corona	bg-set-signal.tesh, Don't run the perl interpreter...	commit \| commitdiff \| tree
2016-04-25	Gabriel Corona	[mc] Really ignore the output of bugged1_liveness	commit \| commitdiff \| tree
2016-04-22	Gabriel Corona	Fix printf format	commit \| commitdiff \| tree
2016-04-22	Gabriel Corona	Fix 32 bit compilation procedure	commit \| commitdiff \| tree
2016-04-21	Gabriel Corona	[doc] Add documentation about compiling to 32bit on...	commit \| commitdiff \| tree
2016-04-21	Gabriel Corona	[cmake] Use the correct multiarch triple instead of...	commit \| commitdiff \| tree
2016-04-21	Gabriel Corona	[mc] Ingnore the output of the liveness test and only...	commit \| commitdiff \| tree
2016-04-19	Gabriel Corona	[mc] Increase the timeout of the liveness tests	commit \| commitdiff \| tree
2016-04-19	Gabriel Corona	[mc] Fix error in computation of Frame range when DW_AT_high...	commit \| commitdiff \| tree
2016-04-19	Gabriel Corona	[mc] Fix ObjectInformation address computation	commit \| commitdiff \| tree
2016-04-19	Gabriel Corona	[mc] Disable (for now) umpire test which never worked	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	[mc] Add missing XBT_PUBLIC() in config.hpp	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	[mc] Fix loop bound checking using heaplimit	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Clear errno when throwing an errno exception	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Add documentation (and errno_code()) to system.hpp	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Update the changelog	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Revert "What's not malloced cannot be leaked"	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Rewrite/simplify the C++ flag declaration	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Use new/delete for s_xbt_cfgelm_t	commit \| commitdiff \| tree
2016-04-18	Gabriel Corona	Move the config.c code in C++	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Fix this != nullptr remaining from previous refactoring	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Remove unused declarations	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Remove spurious declaration (remaining from previous...	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Move the remaining restoreState() into CommuinicationDe...	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Duplicate restoreState() as a method of SafetyChecker	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mv] Remove soft-darty tracking	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Rename replay() function to restoreState()	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Move mc_global stuff into CommunicationDeterminismChecker	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Move mc_global stuff into LivenessChecker	commit \| commitdiff \| tree
2016-04-14	Gabriel Corona	[mc] Move initial state into Session	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove useless bits	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move MC_report() functions as static functions...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove mc_stats and move remaining stats in ModelChecke...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove mc_stats.state_size (not used)	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move mc_stats.expanded_states into the Checkers	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove orphaned declarations	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	Remove useless #includes	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Livenesschecker, make private stuff private	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move liveness stats out of mc_stats into LivenessChecker	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Delegate some part of Session::logState() to Checker...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move MC_print_statistics() as Session::logState()	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove old dual-stack-related comment	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Use Session::execute() in LivenessChecker as well	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove useless model-checker/model-checked round...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Add methods to Session	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] s/getRecordElement/getTransition/	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	simgrid::config::flag, a more declarative way to describe...	commit \| commitdiff \| tree
2016-04-11	Gabriel Corona	[mc] Rename RecordTraceElement as Transition and use...	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Remove the ugly is_in_vector() hack	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Move resolve_process...() as methods of Process	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Remove old commented-out code	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Remove useless MC_MODE_CLIENT paths	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Mark some remote pointers as such	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Misc. comments	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Mark xbt::string as a hack	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove orphaned declaration	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Sort out FIXMEs and TODOs	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Debatably better documentation of State	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] s/value/req_num/ because 'value' does not convey...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove the client-side processing in simgrid:...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Get rid of the ugly "value" out parameter in MC_state_g...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove MC_state_get_internal_request()	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove MC_state_get_executed_request()	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Add Factor some gorry code to State::getRecordElement()	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Simplify/unify the interleeaving/exploration logic	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Get rid of MC_state_set_executed_request() in...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Document/cleanup State	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Remove MC_state_remove_interleave_process() (not...	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Use nullptr consistently in C++ code	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom