AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

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
2016-04-01	Frederic Suter	pingPong -> app/pingpong	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	fix distcheck (dumb me)	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	priority -> task/priority (and task-priority)	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	mutualExclusion -> app/centralizedmutex	commit \| commitdiff \| tree \| snapshot
2016-04-01	Frederic Suter	cosmetics	commit \| commitdiff \| tree \| snapshot
2016-03-31	Frederic Suter	reorg and factor examples/java/cloud	commit \| commitdiff \| tree \| snapshot
2016-03-31	degomme	output sort is not global to the file (anymore?).	commit \| commitdiff \| tree \| snapshot
2016-03-30	Martin Quinson	compile Java in the binary tree, not the source one	commit \| commitdiff \| tree \| snapshot
2016-03-30	Martin Quinson	reindent a bit to get gcc6 happy, no real change	commit \| commitdiff \| tree \| snapshot
2016-03-30	Martin Quinson	adapt appveyor to the latest changes in Java examples	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Fix some XBT_DEBUG	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Remove useless comment	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Add LivenessChecker::purgeVisitedPairs() method	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Simplify MC_automaton_evaluate_label()	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use shared_ptr for Pair	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Restrict the scope of local variables in LivenessC...	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Slay some nested-if-statements-from-hell	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Remove VisitedPair::acceptance_pair	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Type some boolean variable as such	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Remove the _sg_mc_liveness flag	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use the symbolic values for the xbt_automaton_exp_...	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] No more global variables	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use std::vector for liveness {Pair,VisitedPair...	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Move global variables as fields of LivenessChecker	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use std::shared_ptr for VisitedPair in LivenessChecker	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use std::list for LivenessChecker::visited_pairs	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Move visited_pairs as a static field of LivenessCh...	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use std::shared_ptr for State in LivenessChecker	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use std::list for LivenessChecker::acceptance_pairs	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Use std::list instead of xbt_fifo for the stack...	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Fix #includes in LivenessChecker	commit \| commitdiff \| tree \| snapshot
2016-03-30	Gabriel Corona	[mc] Scope the global variables in LivenessChecker	commit \| commitdiff \| tree \| snapshot
2016-03-30	Frederic Suter	rename to match C and Java version	commit \| commitdiff \| tree \| snapshot
2016-03-30	Frederic Suter	mv example from cloud to energy	commit \| commitdiff \| tree \| snapshot
2016-03-30	Frederic Suter	redesign this test to match the C version	commit \| commitdiff \| tree \| snapshot
2016-03-30	Frederic Suter	kill a redudant example	commit \| commitdiff \| tree \| snapshot
2016-03-30	Frederic Suter	create an app package	commit \| commitdiff \| tree \| snapshot
2016-03-30	Frederic Suter	make an io package	commit \| commitdiff \| tree \| snapshot
2016-03-29	Frederic Suter	package energy	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom