Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
11 years agoadd a CMakeCustom.cmake file, which is automatically used by ctest to handle custom...
Augustin Degomme [Tue, 30 Oct 2012 10:20:22 +0000 (11:20 +0100)]
add a CMakeCustom.cmake file, which is automatically used by ctest to handle custom commands. these were inside CtestPipol.cmake, and were ignored (see kitware.com/blog/home/post/27 for details about why they force this file). The coverage has dropped in the cdash, due to the fact that we now calculate the coverage based on simgrid files only, not on test files ..

11 years agoAdd docs
navarro [Tue, 30 Oct 2012 14:05:30 +0000 (15:05 +0100)]
Add docs

11 years agoCosmetics
navarro [Tue, 30 Oct 2012 14:05:23 +0000 (15:05 +0100)]
Cosmetics

11 years agoUpdate target sync-pipol
navarro [Tue, 30 Oct 2012 13:43:45 +0000 (14:43 +0100)]
Update target sync-pipol

11 years agoAdd a new target for update pipol scripts
navarro [Tue, 30 Oct 2012 13:36:24 +0000 (14:36 +0100)]
Add a new target for update pipol scripts

11 years agoComsetics. Replace exec_program by execute_process
navarro [Tue, 30 Oct 2012 13:22:45 +0000 (14:22 +0100)]
Comsetics. Replace exec_program by execute_process

11 years agoFix compilation error.
Arnaud Giersch [Mon, 29 Oct 2012 18:07:17 +0000 (19:07 +0100)]
Fix compilation error.

src/smpi/smpi_mpi_dt.c:156:10: error: no previous prototype for â€˜smpi_datatype_get_extent’ [-Werror=missing-prototypes]

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Mon, 29 Oct 2012 16:15:03 +0000 (17:15 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoFix doxygen table generation
navarro [Mon, 29 Oct 2012 16:14:37 +0000 (17:14 +0100)]
Fix doxygen table generation

11 years agohandle nested datatypes in smpi (structs of vectors for example), which previously...
Augustin Degomme [Mon, 29 Oct 2012 16:14:02 +0000 (17:14 +0100)]
handle nested datatypes in smpi (structs of vectors for example), which previously were causing a warning. Activate two tests from the suite to test these cases.

11 years agoCosmetics. Remove unused part
navarro [Mon, 29 Oct 2012 14:50:31 +0000 (15:50 +0100)]
Cosmetics. Remove unused part

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Mon, 29 Oct 2012 14:28:20 +0000 (15:28 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoAdd doc for dev_guide
navarro [Mon, 29 Oct 2012 14:16:11 +0000 (15:16 +0100)]
Add doc for dev_guide

11 years agoForce Fortran compiler name, before calling enable_language(Fortran).
Arnaud Giersch [Mon, 29 Oct 2012 10:39:17 +0000 (11:39 +0100)]
Force Fortran compiler name, before calling enable_language(Fortran).

Fix commit 95cd71e835559251f778c5e3676a49e881172ba6, avoiding unnecessary
cmake runs.

11 years agoThis variable is useless. CMAKE_Fortran_COMPILER is used as linker.
Arnaud Giersch [Mon, 29 Oct 2012 10:35:30 +0000 (11:35 +0100)]
This variable is useless.  CMAKE_Fortran_COMPILER is used as linker.

11 years agoSlight reindent.
Arnaud Giersch [Mon, 29 Oct 2012 08:57:10 +0000 (09:57 +0100)]
Slight reindent.

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Mon, 29 Oct 2012 10:08:15 +0000 (11:08 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoComsetic and uninstall lib lua and man for tesh
navarro [Mon, 29 Oct 2012 10:08:08 +0000 (11:08 +0100)]
Comsetic and uninstall lib lua and man for tesh

11 years agoWORKING_DIRECTORY option for add_test was not supported until cmake 2.8.4, leading...
Augustin Degomme [Mon, 29 Oct 2012 09:40:53 +0000 (10:40 +0100)]
WORKING_DIRECTORY option for add_test was not supported until cmake 2.8.4, leading to issues and failed tests with previous versions

11 years agoremove absolute paths from test scripts
Augustin Degomme [Mon, 29 Oct 2012 09:23:34 +0000 (10:23 +0100)]
remove absolute paths from test scripts

11 years agoFix compilation without MC.
Arnaud Giersch [Sun, 28 Oct 2012 10:58:04 +0000 (11:58 +0100)]
Fix compilation without MC.

11 years agoOptionally look for a Fortran compiler.
Arnaud Giersch [Sat, 27 Oct 2012 17:39:57 +0000 (19:39 +0200)]
Optionally look for a Fortran compiler.

Without that, CMake complains that it "cannot determine link language"
for Fortran targets.

This is not perfect: cmake is run systematically when doing make :(

11 years agomodel-checker : update second parameter of mmorecore function (size is a size_t not...
Marion Guthmuller [Tue, 23 Oct 2012 08:26:38 +0000 (10:26 +0200)]
model-checker : update second parameter of mmorecore function (size is a size_t not an int)

11 years agomodel-checker : store initial snapshot in structure malloced in raw_heap
Marion Guthmuller [Fri, 19 Oct 2012 13:30:48 +0000 (15:30 +0200)]
model-checker : store initial snapshot in structure malloced in raw_heap

11 years agomodel-checker : don't call exit at the end of MC (segfault on atexit)
Marion Guthmuller [Fri, 19 Oct 2012 12:42:13 +0000 (14:42 +0200)]
model-checker : don't call exit at the end of MC (segfault on atexit)

11 years agomodel-checker : update debug information
Marion Guthmuller [Fri, 19 Oct 2012 09:21:31 +0000 (11:21 +0200)]
model-checker : update debug information

11 years agomodel-checker : remove the display of promela property
Marion Guthmuller [Fri, 19 Oct 2012 09:20:42 +0000 (11:20 +0200)]
model-checker : remove the display of promela property

11 years agomodel-checker : test examples for snapshot comparison
Marion Guthmuller [Fri, 19 Oct 2012 08:31:57 +0000 (10:31 +0200)]
model-checker : test examples for snapshot comparison

11 years agomodel-checker : New public functions to take a snapshot and compare two snapshots...
Marion Guthmuller [Fri, 19 Oct 2012 08:20:21 +0000 (10:20 +0200)]
model-checker : New public functions to take a snapshot and compare two snapshots from user application using new simcalls (simcall_mc_snapshot and simcall_mc_compare_snapshots)

11 years agomodel-checker : let some debug information with XBT_INFO
Marion Guthmuller [Fri, 19 Oct 2012 08:15:25 +0000 (10:15 +0200)]
model-checker : let some debug information with XBT_INFO

11 years agomodel-checker : check current heap
Marion Guthmuller [Fri, 19 Oct 2012 08:13:06 +0000 (10:13 +0200)]
model-checker : check current heap

11 years agomodel-checker : update bprintf format for local variables
Marion Guthmuller [Fri, 19 Oct 2012 07:54:01 +0000 (09:54 +0200)]
model-checker : update bprintf format for local variables

11 years agomodel-checker : fix memory leaks in heap comparison
Marion Guthmuller [Fri, 19 Oct 2012 07:28:45 +0000 (09:28 +0200)]
model-checker : fix memory leaks in heap comparison

11 years agomodel-checker : clean debug information in bugged1_liveness example
Marion Guthmuller [Thu, 18 Oct 2012 20:17:04 +0000 (22:17 +0200)]
model-checker : clean debug information in bugged1_liveness example

11 years agomodel-checker : remove files about test_heap_comparison
Marion Guthmuller [Thu, 18 Oct 2012 20:09:25 +0000 (22:09 +0200)]
model-checker : remove files about test_heap_comparison

11 years agomodel-checker : process can be NULL
Marion Guthmuller [Thu, 18 Oct 2012 20:00:11 +0000 (22:00 +0200)]
model-checker : process can be NULL

11 years agomodel-checker : backtracking if there is no request to execute
Marion Guthmuller [Thu, 18 Oct 2012 19:53:30 +0000 (21:53 +0200)]
model-checker : backtracking if there is no request to execute

11 years agomodel-checker : use xbt_abort to exit MC if acceptance cycle detected
Marion Guthmuller [Thu, 18 Oct 2012 19:51:48 +0000 (21:51 +0200)]
model-checker : use xbt_abort to exit MC if acceptance cycle detected

11 years agomodel-checker : init MC for liveness in a separate function
Marion Guthmuller [Thu, 18 Oct 2012 19:49:30 +0000 (21:49 +0200)]
model-checker : init MC for liveness in a separate function

11 years agomodel-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgri...
Marion Guthmuller [Thu, 18 Oct 2012 19:37:55 +0000 (21:37 +0200)]
model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgrid_path is NULL

11 years agomodel-checker : display debug information with XBT_DEBUG instead of XBT_INFO
Marion Guthmuller [Thu, 18 Oct 2012 19:34:47 +0000 (21:34 +0200)]
model-checker : display debug information with XBT_DEBUG instead of XBT_INFO

11 years agomodel-checker : change MC_take_snapshot_liveness declaration (snapshot returned inste...
Marion Guthmuller [Thu, 18 Oct 2012 19:22:20 +0000 (21:22 +0200)]
model-checker : change MC_take_snapshot_liveness declaration (snapshot returned instead of in parameters) and check heap used

11 years agomodel-checker : remove instruction pointer offset for local variables comparison
Marion Guthmuller [Thu, 18 Oct 2012 19:13:39 +0000 (21:13 +0200)]
model-checker : remove instruction pointer offset for local variables comparison

11 years agomodel-checker : stack_areas stored in raw_heap instead of std_heap
Marion Guthmuller [Thu, 18 Oct 2012 11:40:09 +0000 (13:40 +0200)]
model-checker : stack_areas stored in raw_heap instead of std_heap

11 years agomodel-checker : debug information more concise
Marion Guthmuller [Thu, 18 Oct 2012 08:53:00 +0000 (10:53 +0200)]
model-checker : debug information more concise

11 years agomodel-checker : fix some memory leaks
Marion Guthmuller [Thu, 18 Oct 2012 08:51:58 +0000 (10:51 +0200)]
model-checker : fix some memory leaks

11 years agomodel-checker : first line of objdump --section-headers display complete path of...
Marion Guthmuller [Wed, 17 Oct 2012 20:03:15 +0000 (22:03 +0200)]
model-checker : first line of objdump --section-headers display complete path of elf file

11 years agomodel-checker : fix first parameter for get_stack_pointer (need stack context pointer...
Marion Guthmuller [Wed, 17 Oct 2012 16:34:19 +0000 (18:34 +0200)]
model-checker : fix first parameter for get_stack_pointer (need stack context pointer instead of stack)

11 years agomodel-checker : ignore pointers on raw_heap in data segment libsimgrid comparison
Marion Guthmuller [Wed, 17 Oct 2012 13:34:49 +0000 (15:34 +0200)]
model-checker : ignore pointers on raw_heap in data segment libsimgrid comparison

11 years agoA C++ compiler is required for gtnets and ns3.
Arnaud Giersch [Sat, 27 Oct 2012 17:21:19 +0000 (19:21 +0200)]
A C++ compiler is required for gtnets and ns3.

11 years agoCosmetics.
Arnaud Giersch [Sat, 27 Oct 2012 17:20:54 +0000 (19:20 +0200)]
Cosmetics.

11 years agoDon't enforce to have a C++ nor a Fortran compiler.
Arnaud Giersch [Sat, 27 Oct 2012 16:26:50 +0000 (18:26 +0200)]
Don't enforce to have a C++ nor a Fortran compiler.

Depending on the configuration options, a C compiler is sufficient.

11 years agoMerge branch 'v3_8_x'
Arnaud Giersch [Sat, 27 Oct 2012 14:28:40 +0000 (16:28 +0200)]
Merge branch 'v3_8_x'

11 years agoAlso add release name in ChangeLog. v3_8_x v3_8_1
Arnaud Giersch [Sat, 27 Oct 2012 14:27:14 +0000 (16:27 +0200)]
Also add release name in ChangeLog.

11 years agoMerge branch 'v3_8_x'
Arnaud Giersch [Sat, 27 Oct 2012 14:20:36 +0000 (16:20 +0200)]
Merge branch 'v3_8_x'

Conflicts:
ChangeLog (fixed).

11 years agoRelease 3.8.1.
Arnaud Giersch [Sat, 27 Oct 2012 14:12:56 +0000 (16:12 +0200)]
Release 3.8.1.

11 years agoDocument change.
Arnaud Giersch [Sat, 27 Oct 2012 13:14:24 +0000 (15:14 +0200)]
Document change.

11 years agoTesh is not ls, and other trivial typos in tesh.1.
Arnaud Giersch [Sat, 27 Oct 2012 13:12:01 +0000 (15:12 +0200)]
Tesh is not ls, and other trivial typos in tesh.1.

11 years agoThese files are already added from testsuite/surf/CMakeLists.txt.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
These files are already added from testsuite/surf/CMakeLists.txt.

11 years agoAdd tesh.1 to txt_files.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
Add tesh.1 to txt_files.

11 years agoThese files are already added from testsuite/surf/CMakeLists.txt.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
These files are already added from testsuite/surf/CMakeLists.txt.

11 years agoAdd tesh.1 to txt_files.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
Add tesh.1 to txt_files.

11 years agoRemove conditions from else() and endif() in cmake file.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
Remove conditions from else() and endif() in cmake file.

This is a followup for commit c5c1970 (these statements were added after that).

11 years agoSMPI finally works ;)
navarro [Fri, 26 Oct 2012 17:10:22 +0000 (19:10 +0200)]
SMPI finally works ;)

11 years agoadding property to check success of mpich context tests
Augustin Degomme [Fri, 26 Oct 2012 16:21:42 +0000 (18:21 +0200)]
adding property to check success of mpich context tests

11 years agomodify .std files to comply, as fortran ones were outputing weird things
Augustin Degomme [Fri, 26 Oct 2012 15:47:29 +0000 (17:47 +0200)]
modify .std files to comply, as fortran ones were outputing weird things

11 years agoThis is better for regex ... sorry
navarro [Fri, 26 Oct 2012 15:09:06 +0000 (17:09 +0200)]
This is better for regex ... sorry

11 years agoRemove cmake warning
navarro [Fri, 26 Oct 2012 14:37:52 +0000 (16:37 +0200)]
Remove cmake warning

11 years agoAdd std and stdo files to distrib and copy them to build dir if necessary.
navarro [Fri, 26 Oct 2012 14:33:32 +0000 (16:33 +0200)]
Add std and stdo files to distrib and copy them to build dir if necessary.

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Fri, 26 Oct 2012 14:12:00 +0000 (16:12 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoRemove unnecessary stdo and std files for smpi.
navarro [Fri, 26 Oct 2012 14:11:41 +0000 (16:11 +0200)]
Remove unnecessary stdo and std files for smpi.
Regenerate each time

11 years agoFix smpi script variables between cmake home dir and cmake install dir
navarro [Fri, 26 Oct 2012 14:07:11 +0000 (16:07 +0200)]
Fix smpi script variables between cmake home dir and cmake install dir

11 years agodocument augustin's work
Martin Quinson [Fri, 26 Oct 2012 13:10:53 +0000 (15:10 +0200)]
document augustin's work

11 years agoFix test out of directory for smpi mpich
navarro [Fri, 26 Oct 2012 10:07:50 +0000 (12:07 +0200)]
Fix test out of directory for smpi mpich

11 years agoremove few tests which may never finish, and change one that used too much stack...
Augustin Degomme [Fri, 26 Oct 2012 09:27:23 +0000 (11:27 +0200)]
remove few tests which may never finish, and change one that used too much stack size

11 years agoremove unwanted files
Augustin Degomme [Fri, 26 Oct 2012 09:06:09 +0000 (11:06 +0200)]
remove unwanted files

11 years agofortran-smpi was broken
Augustin Degomme [Fri, 26 Oct 2012 08:55:36 +0000 (10:55 +0200)]
fortran-smpi was broken

11 years agoforgot to execute hindexed. As the one from mpich isn't good for us, use this one...
Augustin Degomme [Thu, 25 Oct 2012 16:48:36 +0000 (18:48 +0200)]
forgot to execute hindexed. As the one from mpich isn't good for us, use this one, which was already present

11 years agoadd fortran tests from mpich-tests, enforce completion of mpich-tests suite with...
Augustin Degomme [Thu, 25 Oct 2012 16:02:45 +0000 (18:02 +0200)]
add fortran tests from mpich-tests, enforce completion of mpich-tests suite with lots of other tests.. Oh, and add all stdo files, because it turns out the suite uses them.

11 years agocorrect some issues with MPI_Sendrecv_replace, to avoid segfaults. I should implement...
Augustin Degomme [Thu, 25 Oct 2012 15:55:58 +0000 (17:55 +0200)]
correct some issues with MPI_Sendrecv_replace, to avoid segfaults. I should implement it more cleanly, to handle complex datatypes as well. For now they exit.

11 years agoadd a few fortran bindings and types to have better support for mpich tests
Augustin Degomme [Thu, 25 Oct 2012 15:54:31 +0000 (17:54 +0200)]
add a few fortran bindings and types to have better support for mpich tests

11 years agoadd various defines and objects to provide better compilation support (all C tests...
Augustin Degomme [Tue, 23 Oct 2012 08:08:07 +0000 (10:08 +0200)]
add various defines and objects to provide better compilation support (all C tests from mpich-test suite now compile)

11 years agohave waitall output an error if an issue is encountered in any comm, and avoid loopin...
Augustin Degomme [Tue, 23 Oct 2012 16:04:48 +0000 (18:04 +0200)]
have waitall output an error if an issue is encountered in any comm, and avoid looping in some smpi functions (experimental, to test)

11 years agofirst commit to add the mpich-test suite to smpi tesh suite. Obviously all tests...
Augustin Degomme [Tue, 23 Oct 2012 15:21:53 +0000 (17:21 +0200)]
first commit to add the mpich-test suite to smpi tesh suite. Obviously all tests don't complete correctly, so we will only execute a (pretty good) part of it, but all tests should compile with smpi (at least C ones for now, fotran needs more work)

Conflicts:
CMakeLists.txt
buildtools/Cmake/AddTests.cmake

11 years agodocumentation improvement [thx Sylvain for pointing this out]
Martin Quinson [Thu, 25 Oct 2012 21:21:30 +0000 (23:21 +0200)]
documentation improvement [thx Sylvain for pointing this out]

11 years agodocument recent changes of Pierre (and Augustin?)
Martin Quinson [Thu, 25 Oct 2012 18:34:21 +0000 (20:34 +0200)]
document recent changes of Pierre (and Augustin?)

11 years agoFix compilation on linux ;)
navarro [Thu, 25 Oct 2012 18:11:05 +0000 (20:11 +0200)]
Fix compilation on linux ;)

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Thu, 25 Oct 2012 17:52:08 +0000 (19:52 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoFix compilation and configuration since win commits
navarro [Thu, 25 Oct 2012 17:52:03 +0000 (19:52 +0200)]
Fix compilation and configuration since win commits

11 years agoendif missing
suter [Thu, 25 Oct 2012 17:48:43 +0000 (19:48 +0200)]
endif missing

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Thu, 25 Oct 2012 17:35:46 +0000 (19:35 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoMore dev doc
navarro [Thu, 25 Oct 2012 17:35:35 +0000 (19:35 +0200)]
More dev doc

11 years agoThose examples does not compil on WIN
navarro [Wed, 24 Oct 2012 20:06:53 +0000 (13:06 -0700)]
Those examples does not compil on WIN

11 years agoTranform extern for XBT_PUBLIC
navarro [Thu, 25 Oct 2012 17:27:57 +0000 (10:27 -0700)]
Tranform extern for XBT_PUBLIC

11 years agoCompilation fix on SMPI with WIN32
navarro [Wed, 24 Oct 2012 20:03:53 +0000 (13:03 -0700)]
Compilation fix on SMPI with WIN32

11 years agoHuge hack for call of smpi_simulated_main.
navarro [Wed, 24 Oct 2012 16:04:21 +0000 (09:04 -0700)]
Huge hack for call of smpi_simulated_main.
-> Fix WIN32 compilation with smpi

11 years agoWindows does not find weak symbol
navarro [Wed, 24 Oct 2012 15:45:24 +0000 (08:45 -0700)]
Windows does not find weak symbol
Fix compilation for smpi on WIN32

11 years agoAdd a surf function to get configuration parameters of surf_cfg_set
navarro [Wed, 24 Oct 2012 15:34:01 +0000 (08:34 -0700)]
Add a surf function to get configuration parameters of surf_cfg_set
-> Fix windows smpi shared memory between 2 DLLs

11 years agoAdd XBT_PUBLIC tag to smpi variables
navarro [Wed, 24 Oct 2012 15:31:58 +0000 (08:31 -0700)]
Add XBT_PUBLIC tag to smpi variables

11 years agoCmake target for lib smpi
navarro [Wed, 24 Oct 2012 15:29:54 +0000 (08:29 -0700)]
Cmake target for lib smpi