AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2012-11-09	Marion Guthmuller	Shake up snapshot comparison : apply a new order of...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : remove unnecessary comment	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : move creation of initial_state_liveness...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : add size of stack in parameter of the...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : getter function for chunks used in...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : use statistics already included in...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : initialize global variables	commit \| commitdiff \| tree \| snapshot
2012-11-08	Marion Guthmuller	model-checker : enable WaitTimeout requests only if...	commit \| commitdiff \| tree \| snapshot
2012-11-08	Marion Guthmuller	model-checker : new command line flag (model-check...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : initialize variables (compilation error...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : add debug information on processes...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker: add chord example for liveness property...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : initialize global variable ignore_done...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : remove backtracking if no more request...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : comment trigger for state equality...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : improve debug information for stacks...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : add local variables from xbt/ex.h in...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : ignore some local variables from xbt...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : update examples for test snapshot compa...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : verification of current_heap	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : add ignore mechanism for comparison...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : remove declaration of unused function	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : fix dynar index in algorithm to get...	commit \| commitdiff \| tree \| snapshot
2012-11-04	degomme	add a tesh file and test for two already existing tests...	commit \| commitdiff \| tree \| snapshot
2012-11-04	degomme	handle MPI_UB and MPI_LB for real, activate tests in...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Add an example of generated pdf from simgrid scalability	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	replace explicit smpi_sleep calls I introduced in some...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	quick fix that hopefully won't break too much compilati...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	do not fail when building smpi without f2c, as it is...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	move defines frmpo smpi.h to mpi.h, to avoid using...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	remove todo, once done	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Change parse for exec to be complient with simgrid...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Oups	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Reused mem check in pipol	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Remove all navarro into source of pipol	commit \| commitdiff \| tree \| snapshot
2012-10-31	Arnaud Giersch	Variable is unused, remove it.	commit \| commitdiff \| tree \| snapshot
2012-10-30	suter	use MSG_host_set_property_value everywhere	commit \| commitdiff \| tree \| snapshot
2012-10-30	suter	better to use a function that exists than dealing with...	commit \| commitdiff \| tree \| snapshot
2012-10-30	navarro	Correct way to use CTestCustom.cmake	commit \| commitdiff \| tree \| snapshot
2012-10-30	Augustin Degomme	small change for future fortran tests in context folder	commit \| commitdiff \| tree \| snapshot
2012-10-30	Augustin Degomme	add changes to previous commit on ctest	commit \| commitdiff \| tree \| snapshot
2012-10-30	Augustin Degomme	correct behavior of smpi_group_excl and smpi_group_int...	commit \| commitdiff \| tree \| snapshot
2012-10-30	Augustin Degomme	modifiy alltoall test to cover all 3 algorithms current...	commit \| commitdiff \| tree \| snapshot
2012-10-30	Augustin Degomme	add a CMakeCustom.cmake file, which is automatically...	commit \| commitdiff \| tree \| snapshot
2012-10-30	navarro	Add docs	commit \| commitdiff \| tree \| snapshot
2012-10-30	navarro	Cosmetics	commit \| commitdiff \| tree \| snapshot
2012-10-30	navarro	Update target sync-pipol	commit \| commitdiff \| tree \| snapshot
2012-10-30	navarro	Add a new target for update pipol scripts	commit \| commitdiff \| tree \| snapshot
2012-10-30	navarro	Comsetics. Replace exec_program by execute_process	commit \| commitdiff \| tree \| snapshot
2012-10-29	Arnaud Giersch	Fix compilation error.	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Fix doxygen table generation	commit \| commitdiff \| tree \| snapshot
2012-10-29	Augustin Degomme	handle nested datatypes in smpi (structs of vectors...	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Cosmetics. Remove unused part	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Add doc for dev_guide	commit \| commitdiff \| tree \| snapshot
2012-10-29	Arnaud Giersch	Force Fortran compiler name, before calling enable_lang...	commit \| commitdiff \| tree \| snapshot
2012-10-29	Arnaud Giersch	This variable is useless. CMAKE_Fortran_COMPILER is...	commit \| commitdiff \| tree \| snapshot
2012-10-29	Arnaud Giersch	Slight reindent.	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-10-29	navarro	Comsetic and uninstall lib lua and man for tesh	commit \| commitdiff \| tree \| snapshot
2012-10-29	Augustin Degomme	WORKING_DIRECTORY option for add_test was not supported...	commit \| commitdiff \| tree \| snapshot
2012-10-29	Augustin Degomme	remove absolute paths from test scripts	commit \| commitdiff \| tree \| snapshot
2012-10-28	Arnaud Giersch	Fix compilation without MC.	commit \| commitdiff \| tree \| snapshot
2012-10-28	Arnaud Giersch	Optionally look for a Fortran compiler.	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : update second parameter of mmorecore...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : store initial snapshot in structure...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : don't call exit at the end of MC (segfa...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : update debug information	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : remove the display of promela property	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : test examples for snapshot comparison	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : New public functions to take a snapshot...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : let some debug information with XBT_INFO	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : check current heap	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : update bprintf format for local variables	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : fix memory leaks in heap comparison	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : clean debug information in bugged1_live...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : remove files about test_heap_comparison	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : process can be NULL	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : backtracking if there is no request...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : use xbt_abort to exit MC if acceptance...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : init MC for liveness in a separate...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : if get_libsimgrid_plt_section called...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : display debug information with XBT_DEBU...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : change MC_take_snapshot_liveness declar...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : remove instruction pointer offset for...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : stack_areas stored in raw_heap instead...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : debug information more concise	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : fix some memory leaks	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : first line of objdump --section-headers...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : fix first parameter for get_stack_point...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Marion Guthmuller	model-checker : ignore pointers on raw_heap in data...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Arnaud Giersch	A C++ compiler is required for gtnets and ns3.	commit \| commitdiff \| tree \| snapshot
2012-10-27	Arnaud Giersch	Cosmetics.	commit \| commitdiff \| tree \| snapshot
2012-10-27	Arnaud Giersch	Don't enforce to have a C++ nor a Fortran compiler.	commit \| commitdiff \| tree \| snapshot
2012-10-27	Arnaud Giersch	Merge branch 'v3_8_x'	commit \| commitdiff \| tree \| snapshot
2012-10-27	Arnaud Giersch	Also add release name in ChangeLog. v3_8_x v3_8_1	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom