AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2016-04-06	degomme	Try to fix win build - may not be enough	commit \| commitdiff \| tree \| snapshot
2016-04-06	degomme	fix two teshes for out of source buiilds	commit \| commitdiff \| tree \| snapshot
2016-04-06	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2016-04-06	Frederic Suter	attempt to please jenkins	commit \| commitdiff \| tree \| snapshot
2016-04-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Remove MC_state_remove_interleave_process() (not...	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Use nullptr consistently in C++ code	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Fix #includes	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Use std::vector for PatternCommunicationList	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Use std::vector for State::incomplete_comm_pattern...	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Add PatternCommunication::dup()	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Rename the communication pattern types	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Get rid of MC_list_comm_pattern_free()	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Get rid of MC_comm_pattern_free()	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Remove always disabled code	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Remove duplicate init in State	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Fix #includes	commit \| commitdiff \| tree \| snapshot
2016-04-06	Gabriel Corona	[mc] Remove the declaration of a function which has...	commit \| commitdiff \| tree \| snapshot
2016-04-06	degomme	stupid me.	commit \| commitdiff \| tree \| snapshot
2016-04-06	Martin Quinson	further cleanups to the config stuff	commit \| commitdiff \| tree \| snapshot
2016-04-06	degomme	Switch to actually perform out-of-source builds.	commit \| commitdiff \| tree \| snapshot
2016-04-06	Martin Quinson	some cleanups in the SMPI option declarations	commit \| commitdiff \| tree \| snapshot
2016-04-06	Martin Quinson	plug a memleak	commit \| commitdiff \| tree \| snapshot
2016-04-06	Martin Quinson	kill a deprecated function	commit \| commitdiff \| tree \| snapshot
2016-04-06	degomme	try to get rid of smpi tracing segmentation faults...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	jtrace: some more calls for kenenbek	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	jtrace: add a missing call	commit \| commitdiff \| tree \| snapshot
2016-04-05	degomme	Replace MPI->PMPI stupid wrappers by macro-generated...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Use std::string for request_get_dot_output() and...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Use std::string in simgrid::mc::request_to_string	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Don't copy or move states (yet)	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Use RAII std::vector for s_mc_comm_pattern::data	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Use RAII std::string for s_mc_comm_pattern::rdv	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Constructor/destructor for s_mc_comm_pattern	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] C++ification of State	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Remove MC_state_delete()	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Avoid useless stuff when logging is disabled in...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Create SafetyChecker::backtrack() method	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Move visitedState as a field of SafetyChecker	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Remove user_max_depth which back up MC_cut() for now	commit \| commitdiff \| tree \| snapshot
2016-04-05	Gabriel Corona	[mc] Rename a checkNonDeterminism() to checkNonTerminat...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Frederic Suter	fix distcheck	commit \| commitdiff \| tree \| snapshot
2016-04-05	Frederic Suter	mv some app examples in app- folders	commit \| commitdiff \| tree \| snapshot
2016-04-05	Frederic Suter	fix rm	commit \| commitdiff \| tree \| snapshot
2016-04-05	degomme	Add MPI_File* bindings to SMPI, even if they are unimpl...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Frederic Suter	actions-mpi becomes actions-comm	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	xbt_config: kill an unused feature: multivalued variables	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	xbt_config: kill an unused feature: unregistering variables	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	xbt_config: kill an unused feature: unsetting values	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	We never use a second configuration set, so simplify...	commit \| commitdiff \| tree \| snapshot
2016-04-05	Martin Quinson	the binary used to test lua moved again	commit \| commitdiff \| tree \| snapshot
2016-04-05	degomme	reduce stack size for cloud example (weirdly only crash...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Frederic Suter	end of reorganizing cloud examples	commit \| commitdiff \| tree \| snapshot
2016-04-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Frederic Suter	start to rename cloud examples	commit \| commitdiff \| tree \| snapshot
2016-04-04	Frederic Suter	reindent	commit \| commitdiff \| tree \| snapshot
2016-04-04	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Martin Quinson	further rework the config handling. Still much to do	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Make Checker implementation private	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Fix #includes	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Fix warnings	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Use std::unique_ptr for States	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Get rid of the global simgrid::mc::visited_states...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Move VisitedState stuffs in their own .c file	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Reindent is_visited_state()	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Rename SafetyChecker::is_exploration_stack_state...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Move the stack as field of SafetyChecker and CommD...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Use std::list instead of xbt_fifo for mc_stack	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Different/private mc_stack variables for SafetyChe...	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	[mc] Use shared_ptr for liveness propositions	commit \| commitdiff \| tree \| snapshot
2016-04-04	Gabriel Corona	Fix #includes to automaton.h	commit \| commitdiff \| tree \| snapshot
2016-04-04	Frederic Suter	clean and simplify	commit \| commitdiff \| tree \| snapshot
2016-04-04	Frederic Suter	fix this untested example	commit \| commitdiff \| tree \| snapshot
2016-04-03	degomme	The usual sunday night fix :	commit \| commitdiff \| tree \| snapshot
2016-04-03	degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2016-04-03	Martin Quinson	further rework the option mechanism	commit \| commitdiff \| tree \| snapshot
2016-04-03	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	commit \| commitdiff \| tree \| snapshot
2016-04-02	Martin Quinson	start refactoring the option handling	commit \| commitdiff \| tree \| snapshot
2016-04-02	Frederic Suter	start to shrink mpich3-test cmake files	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	compile sg_config with g++ too	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	tiny cleanups in the VMs and links	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	Remove the properties from the host constructor	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	Add a way to set a property on s4u::Host	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	rename the fields of the PropertyHolder	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	add a word about multi-cabinet modeling	commit \| commitdiff \| tree \| snapshot
2016-04-01	Martin Quinson	simplify the prototype of LinkCM02 constructor	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	slave2worker cont'd	commit \| commitdiff \| tree \| snapshot
2016-04-01	Gabriel Corona	[mc] Rename livenessStack to explorationStack	commit \| commitdiff \| tree \| snapshot
2016-04-01	Gabriel Corona	[mc] Factor out Livenesschecker::newPair()	commit \| commitdiff \| tree \| snapshot
2016-04-01	Gabriel Corona	[mc] Remove some control flow nesting in LivenessChecke...	commit \| commitdiff \| tree \| snapshot
2016-04-01	Gabriel Corona	[mc] Create LivenessChecker::backtrack()	commit \| commitdiff \| tree \| snapshot
2016-04-01	Gabriel Corona	[mc] Only #include LivenessChecker.hpp in LivenessCheck...	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	end slavery in java world	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	make a REAL and simple dsend test	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	tracing -> trace/pingpong	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom