AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2015-03-10	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw
2015-03-10	Gabriel Corona	[mc] Add more smx_process_t MCer/MCed translations	blob \| commitdiff \| raw \| diff to current
2015-03-10	Gabriel Corona	[mc] Remote access to process name	blob \| commitdiff \| raw \| diff to current
2015-03-09	Gabriel Corona	[mc] Read host name from remote process	blob \| commitdiff \| raw \| diff to current
2015-03-06	Gabriel Corona	[mc] Cross-process access to smx_process and simcall	blob \| commitdiff \| raw \| diff to current
2015-02-26	Marion Guthmuller	model-checker : MUTEX_UNLOCK is invisible for MC	blob \| commitdiff \| raw \| diff to current
2015-02-26	Marion Guthmuller	model-checker : mutex owner may be NULL after UNLOCK	blob \| commitdiff \| raw \| diff to current
2015-02-25	Marion Guthmuller	model-checker : include MUTEX_LOCK and UNLOCK in dot...	blob \| commitdiff \| raw \| diff to current
2015-02-25	Marion Guthmuller	model-checker : really (?) fix SIMCALL_MUTEX_LOCK and...	blob \| commitdiff \| raw \| diff to current
2015-02-18	Arnaud Legrand	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-12-08	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-12-04	Gabriel Corona	Merge branch 'master'	blob \| commitdiff \| raw \| diff to current
2014-12-04	Gabriel Corona	[mc] Remove useless header #includes	blob \| commitdiff \| raw \| diff to current
2014-12-01	Gabriel Corona	[mc] Initial support MC record/replay	blob \| commitdiff \| raw \| diff to current
2014-11-28	Adrien Lebre	merge msg_vm.c - adrien (please note that there is...	blob \| commitdiff \| raw \| diff to current
2014-11-02	Martin Quinson	rename smx_action_t to smx_synchro_t	blob \| commitdiff \| raw \| diff to current
2014-10-30	Gabriel Corona	[mc] Document/simplify MC_request_is_enabled()	blob \| commitdiff \| raw \| diff to current
2014-10-09	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-10-02	Gabriel Corona	[mc] Fix conversion from char 0 into char*	blob \| commitdiff \| raw \| diff to current
2014-06-27	Gabriel Corona	Merge branch 'mc'	blob \| commitdiff \| raw \| diff to current
2014-05-30	Marion Guthmuller	model-checker : cleanups, refactoring and apply indent...	blob \| commitdiff \| raw \| diff to current
2014-04-22	Stéphane Castelli	Merge branch 'smpi-topo'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-21	Gabriel Corona	Merge branch 'mc++'	blob \| commitdiff \| raw \| diff to current
2014-03-06	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-28	Gabriel Corona	Merge branch 'mc++' into mc-merge	blob \| commitdiff \| raw \| diff to current
2014-02-28	Gabriel Corona	[mc] Fix broken tests with surf++ (because simcall...	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge bugfix from branch mc-refactor	blob \| commitdiff \| raw \| diff to current
2014-02-25	Gabriel Corona	Merge branches 'mc'	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge 'master' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge branch 'mc-perf' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : conflit	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : try to fix the model-checker in case...	blob \| commitdiff \| raw \| diff to current
2014-02-18	Marion Guthmuller	model-checker : wait with timeout is always dependant...	blob \| commitdiff \| raw \| diff to current
2014-02-05	Arnaud Giersch	Add/update copyright notices.	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge tag 'v3_9_90' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-10-30	Paul Bédaride	Merge commit '045db1657e870c721be490b411868f4181a12ced...	blob \| commitdiff \| raw \| diff to current
2013-09-26	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-09-25	Arnaud Giersch	Dig through git history, and update copyright lines.	blob \| commitdiff \| raw \| diff to current
2013-08-14	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-08-10	Marion Guthmuller	model-checker : udpate debug information	blob \| commitdiff \| raw \| diff to current
2013-08-10	Marion Guthmuller	model-checker : add min and max values for MC_RANDOM...	blob \| commitdiff \| raw \| diff to current
2013-08-05	Marion Guthmuller	model-checker : fix DPOR with timeout	blob \| commitdiff \| raw \| diff to current
2013-08-05	Marion Guthmuller	model-checker : include simcall number in request_to_string	blob \| commitdiff \| raw \| diff to current
2013-07-01	acarpena	Merge branch 'dvfs'	blob \| commitdiff \| raw \| diff to current
2013-06-28	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-06-19	Paul Bédaride	Merge branch 'master' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-06-13	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-06-13	Marion Guthmuller	model-checker : fix (again ..) DPOR for iSend/iRecv...	blob \| commitdiff \| raw \| diff to current
2013-06-08	Marion Guthmuller	model-checker : free memory	blob \| commitdiff \| raw \| diff to current
2013-06-08	Marion Guthmuller	model-checker : fix dot output for smpi examples	blob \| commitdiff \| raw \| diff to current
2013-06-08	Marion Guthmuller	model-checker : add information in counter-example...	blob \| commitdiff \| raw \| diff to current
2013-04-15	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-04-10	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-04-03	Marion Guthmuller	model-checker : display address of communication in...	blob \| commitdiff \| raw \| diff to current
2013-04-03	Marion Guthmuller	model-checker : iSend/iRecv independent with Wait but...	blob \| commitdiff \| raw \| diff to current
2013-04-02	alebre	Merge branch 'master' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-04-01	Marion Guthmuller	model-checker : restore independence between iSend...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Marion Guthmuller	model-checker : cleanups	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : new model-checker configuration model...	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : fix MC_RANDOM simcall	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : new simcall MC_RANDOM	blob \| commitdiff \| raw \| diff to current
2013-01-30	Arnaud Giersch	Incorporate simgrid-java in simgrid-java/.	blob \| commitdiff \| raw \| diff to current
2013-01-17	Arnaud Giersch	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2013-01-16	Jonathan Rouzaud...	Merge with master	blob \| commitdiff \| raw \| diff to current
2012-12-18	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-12-17	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-12-17	Paul Bédaride	Restructure config headers	blob \| commitdiff \| raw \| diff to current
2012-12-10	Marion Guthmuller	model-checker : remove independance between iSend/iRecv...	blob \| commitdiff \| raw \| diff to current
2012-12-02	Marion Guthmuller	model-checker : remove independance between iRecv and...	blob \| commitdiff \| raw \| diff to current
2012-11-30	shenshei	Merge ../simgrid	blob \| commitdiff \| raw \| diff to current
2012-11-30	shenshei	New simcalls work	blob \| commitdiff \| raw \| diff to current
2012-11-27	Jonathan Rouzaud...	update	blob \| commitdiff \| raw \| diff to current
2012-11-27	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-11-15	Marion Guthmuller	model-checker : fix dependance theorem according to...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-11-08	Marion Guthmuller	model-checker : enable WaitTimeout requests only if...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : New public functions to take a snapshot...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Martin Quinson	Cleanups in the --cfg options regarding model-checking	blob \| commitdiff \| raw \| diff to current
2012-06-20	suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-20	Marion Guthmuller	model-checker : cosmetics reindent	blob \| commitdiff \| raw \| diff to current
2012-06-20	suter	Solve white space conflicts	blob \| commitdiff \| raw \| diff to current
2012-06-20	Martin Quinson	sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	model-checker : merge conflict resolved	blob \| commitdiff \| raw \| diff to current
2012-01-30	Martin Quinson	add proper copyright headers to the MC files	blob \| commitdiff \| raw \| diff to current
2012-01-30	Martin Quinson	mv src/mc/private.h src/mc/mc_private.h	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	model-checker : fix compilation error	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	merge conflict resolved	blob \| commitdiff \| raw \| diff to current
2012-01-25	Christophe Thiéry	SIMIX refactoring: replace 'request' by a more precise...	blob \| commitdiff \| raw \| diff to current
2012-01-11	Marion Guthmuller	merge conflicts resolved	blob \| commitdiff \| raw \| diff to current
2012-01-10	Arnaud Giersch	Fix test, and remove duplicated checks.	blob \| commitdiff \| raw \| diff to current
2012-01-09	Martin Quinson	Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-30	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	merge conflicts	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : test dpor without replay from initial...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom