AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2011-11-14	Marion Guthmuller	model-checker : add region (data of program) in snapshot	commit \| commitdiff \| tree \| snapshot
2011-11-14	Marion Guthmuller	model-checker : add name of program in arguments of...	commit \| commitdiff \| tree \| snapshot
2011-11-10	Marion Guthmuller	model-checker : MC_replay_liveness function extended...	commit \| commitdiff \| tree \| snapshot
2011-11-09	Marion Guthmuller	model-checker : example for detection of acceptance...	commit \| commitdiff \| tree \| snapshot
2011-11-09	Marion Guthmuller	model-checker : new version of stateless double dfs...	commit \| commitdiff \| tree \| snapshot
2011-11-09	Marion Guthmuller	model-checker : add number of requests executed for...	commit \| commitdiff \| tree \| snapshot
2011-11-09	Marion Guthmuller	model-checker : pair without request executed not repla...	commit \| commitdiff \| tree \| snapshot
2011-11-07	Marion Guthmuller	model-checker : add new MAX_DEPTH_LIVENESS with verific...	commit \| commitdiff \| tree \| snapshot
2011-11-04	Marion Guthmuller	model-checker : last version (incorrect) of double...	commit \| commitdiff \| tree \| snapshot
2011-11-03	Marion Guthmuller	model-checker : more condition (state with processes...	commit \| commitdiff \| tree \| snapshot
2011-11-03	Marion Guthmuller	model-checker: new examples for liveness model checking	commit \| commitdiff \| tree \| snapshot
2011-11-02	Marion Guthmuller	model-checker : add or remove debug information	commit \| commitdiff \| tree \| snapshot
2011-11-02	Marion Guthmuller	model-checker : change variable successors (local-...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Marion Guthmuller	model-checker : memory leaks fixed in dfs algorithm...	commit \| commitdiff \| tree \| snapshot
2011-10-28	Marion Guthmuller	model-checker : function mmalloc_compare_mdesc fixed...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : function to compare values of propositi...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : remove unused variables	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : function to compare propositional symbo...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : change printf for size_t variables	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : test data in libsimgrid memory region...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : new functions to compare mmalloc in...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : add type in s_mc_mem_region (0=std_heap...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : add files for examples	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : nettoyage du code	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : new comparison for reached pairs (autom...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : new comparison of pair reached (automat...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : delete visited in struct xbt_state_t...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : delete struct reached_pair_stateless...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : delete num in struct mc_pair_t	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : empty pair for stateless ddfs fixed	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : update ddfs stateful model checking...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : new structure reached_pair_stateless...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : separate informations for safety statef...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : new example bugged1 for stateful dpor	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : one more condition before interleaving...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : add condition of invisibility to reduce...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : new structure mc_pair_prop_t and backup...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : DPOR (independant transitions) algorith...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : separate dfs and dpor algorithms with...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : example changed	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : 128bits->160bits for hash of visited...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : restore interleaved process when restor...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : dfs with good restore snapshot	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : correction of dfs algorithm for livenes...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : test dpor without replay from initial...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-checker : rename file mc_dfs -> mc_liveness	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	MC LTL : last version dfs algorithm before reduction	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	MC LTL : add statistics	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model checker : dfs algorithm corrected	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-check : show stack when property not valid	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-check : dump stack for acceptance cycle	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model-check : show stack for acceptance cycle	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	model check : acceptance cycle detection with automaton...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	détection de cycle d'acceptation ok mais boucle infinie...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	correction compile warnings	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	start new example with parsing lex/yacc of automaton...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	include new files struct automaton for cmake	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	new dfs algorithm with automaton of LTL formula	commit \| commitdiff \| tree \| snapshot
2011-10-25	Marion Guthmuller	new struct automaton	commit \| commitdiff \| tree \| snapshot
2011-10-21	Navarrop	You can now specify if you want sleep to see memory...	commit \| commitdiff \| tree \| snapshot
2011-10-21	Navarrop	Optimize bprintf during cluster loop.	commit \| commitdiff \| tree \| snapshot
2011-10-21	Navarrop	Add optimization flag with gcc46.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	use more consistently the resource create of models...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	save some useless strdups	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	reduce the amount of damn paranoid checks in simdag...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Fix memoryleak.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Need to set state_file and availability file into the...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Christophe...	There is no contexts in SimDag	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Rewrite perl script for optorsim	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Update include tag.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Move arguments outside of the loop of hosts.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Remove unused and old function.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Remove supernovae mode for SimGrid v3.7	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Test the help command.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Navarrop	Update tag include	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	setup a mallocator for the simdag tasks. The gain is...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	memory cleanups	commit \| commitdiff \| tree \| snapshot
2011-10-20	Arnaud Giersch	s/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Arnaud Giersch	Guard against multiple inclusion.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Arnaud Giersch	Fix race condition with gras-mmrpc test.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Arnaud Giersch	Figlet for 3.7 was incomplete.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Arnaud Giersch	tesh: add tests with empty output.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Arnaud Giersch	tesh: do not fail on empty output, when sorting is...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	Merge stuff again. Damn, I should pull before changing...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	merge branches	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	use a user level mallocator on the task content	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	enlarge my cluster once again	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	Performance boost by using a swag internally in SD_simulate	commit \| commitdiff \| tree \| snapshot
2011-10-20	Martin Quinson	Use the partial invalidation optimization by default...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Christophe...	This memory leak fix did not work with complex simulations.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Christophe...	SIMIX_CANCELED is a more adapted state in SIMIX_comm_ca...	commit \| commitdiff \| tree \| snapshot
2011-10-19	Martin Quinson	restore some stuff that got killed from the gitignore...	commit \| commitdiff \| tree \| snapshot
2011-10-19	Martin Quinson	enlarge my cluster	commit \| commitdiff \| tree \| snapshot
2011-10-19	Martin Quinson	first prealpha not working prototype (please public...	commit \| commitdiff \| tree \| snapshot
2011-10-19	Martin Quinson	typo--	commit \| commitdiff \| tree \| snapshot
2011-10-17	Navarrop	Add example to kill a process.	commit \| commitdiff \| tree \| snapshot
2011-10-14	Christophe...	Timings have changed: comms cannot continue when a...	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom