Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
9 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

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

9 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.

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

9 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

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

9 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.

9 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.

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

9 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

9 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

9 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

9 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

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

9 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 :(

9 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)

9 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

9 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)

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

9 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

9 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

9 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)

9 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

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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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)

9 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

9 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.

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

9 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.

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

9 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.

9 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).

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

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

9 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.

9 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.

9 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.

9 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.

9 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.

9 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).

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

9 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

9 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

9 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

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

9 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.

9 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

9 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

9 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

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

9 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

9 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

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

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

9 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

9 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.

9 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.

9 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

9 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)

9 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)

9 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

9 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]

9 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?)

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

9 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

9 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

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

9 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

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

9 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

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

9 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

9 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

9 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

9 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

9 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

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

9 years agoSince cmake 2.6, else() and endif() don't need to repeat the condition.
Christophe Thiéry [Thu, 25 Oct 2012 16:10:01 +0000 (18:10 +0200)]
Since cmake 2.6, else() and endif() don't need to repeat the condition.

And all CMakeLists.txt already require a version of cmake >= 2.6.

9 years ago[trace] fix tesh'es due to change of link values
Lucas Schnorr [Thu, 25 Oct 2012 10:20:20 +0000 (12:20 +0200)]
[trace] fix tesh'es due to change of link values

9 years ago[trace] link value here should indicate resource topology
Lucas Schnorr [Tue, 23 Oct 2012 19:57:46 +0000 (21:57 +0200)]
[trace] link value here should indicate resource topology

9 years agoMerge branch 'v3_8_x'
Arnaud Giersch [Thu, 25 Oct 2012 15:54:10 +0000 (17:54 +0200)]
Merge branch 'v3_8_x'

9 years agoInstall lua and graphviz-dev for debian too.
Arnaud Giersch [Thu, 25 Oct 2012 08:33:48 +0000 (10:33 +0200)]
Install lua and graphviz-dev for debian too.

9 years agoUpdate next version to 3.9.
Arnaud Giersch [Thu, 25 Oct 2012 08:56:47 +0000 (10:56 +0200)]
Update next version to 3.9.

9 years agoUpdate next version to 3.8.1.
Arnaud Giersch [Thu, 25 Oct 2012 08:55:12 +0000 (10:55 +0200)]
Update next version to 3.8.1.