navarro [Wed, 31 Oct 2012 12:21:06 +0000 (13:21 +0100)]
Oups
navarro [Wed, 31 Oct 2012 10:05:11 +0000 (11:05 +0100)]
Reused mem check in pipol
navarro [Wed, 31 Oct 2012 10:00:38 +0000 (11:00 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Wed, 31 Oct 2012 10:00:22 +0000 (11:00 +0100)]
Remove all navarro into source of pipol
Arnaud Giersch [Tue, 30 Oct 2012 20:08:10 +0000 (21:08 +0100)]
Variable is unused, remove it.
suter [Tue, 30 Oct 2012 19:50:41 +0000 (20:50 +0100)]
use MSG_host_set_property_value everywhere
suter [Tue, 30 Oct 2012 19:40:05 +0000 (20:40 +0100)]
better to use a function that exists than dealing with the underlying
data structure directly
test two other uncovered functions while at it (update tesh accordingly)
navarro [Tue, 30 Oct 2012 15:50:52 +0000 (16:50 +0100)]
Correct way to use CTestCustom.cmake
Augustin Degomme [Tue, 30 Oct 2012 14:41:46 +0000 (15:41 +0100)]
small change for future fortran tests in context folder
Augustin Degomme [Tue, 30 Oct 2012 14:07:29 +0000 (15:07 +0100)]
add changes to previous commit on ctest
Augustin Degomme [Tue, 30 Oct 2012 14:02:32 +0000 (15:02 +0100)]
correct behavior of smpi_group_excl and smpi_group_intersection functions, and activate the group_test test frop the mpich-suite
Augustin Degomme [Tue, 30 Oct 2012 11:14:53 +0000 (12:14 +0100)]
modifiy alltoall test to cover all 3 algorithms currently implemented in smpi
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 ..
navarro [Tue, 30 Oct 2012 14:05:30 +0000 (15:05 +0100)]
Add docs
navarro [Tue, 30 Oct 2012 14:05:23 +0000 (15:05 +0100)]
Cosmetics
navarro [Tue, 30 Oct 2012 13:43:45 +0000 (14:43 +0100)]
Update target sync-pipol
navarro [Tue, 30 Oct 2012 13:36:24 +0000 (14:36 +0100)]
Add a new target for update pipol scripts
navarro [Tue, 30 Oct 2012 13:22:45 +0000 (14:22 +0100)]
Comsetics. Replace exec_program by execute_process
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]
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
navarro [Mon, 29 Oct 2012 16:14:37 +0000 (17:14 +0100)]
Fix doxygen table generation
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.
navarro [Mon, 29 Oct 2012 14:50:31 +0000 (15:50 +0100)]
Cosmetics. Remove unused part
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
navarro [Mon, 29 Oct 2012 14:16:11 +0000 (15:16 +0100)]
Add doc for dev_guide
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.
Arnaud Giersch [Mon, 29 Oct 2012 10:35:30 +0000 (11:35 +0100)]
This variable is useless. CMAKE_Fortran_COMPILER is used as linker.
Arnaud Giersch [Mon, 29 Oct 2012 08:57:10 +0000 (09:57 +0100)]
Slight reindent.
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
navarro [Mon, 29 Oct 2012 10:08:08 +0000 (11:08 +0100)]
Comsetic and uninstall lib lua and man for tesh
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
Augustin Degomme [Mon, 29 Oct 2012 09:23:34 +0000 (10:23 +0100)]
remove absolute paths from test scripts
Arnaud Giersch [Sun, 28 Oct 2012 10:58:04 +0000 (11:58 +0100)]
Fix compilation without MC.
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 :(
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)
Marion Guthmuller [Fri, 19 Oct 2012 13:30:48 +0000 (15:30 +0200)]
model-checker : store initial snapshot in structure malloced in raw_heap
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)
Marion Guthmuller [Fri, 19 Oct 2012 09:21:31 +0000 (11:21 +0200)]
model-checker : update debug information
Marion Guthmuller [Fri, 19 Oct 2012 09:20:42 +0000 (11:20 +0200)]
model-checker : remove the display of promela property
Marion Guthmuller [Fri, 19 Oct 2012 08:31:57 +0000 (10:31 +0200)]
model-checker : test examples for snapshot comparison
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)
Marion Guthmuller [Fri, 19 Oct 2012 08:15:25 +0000 (10:15 +0200)]
model-checker : let some debug information with XBT_INFO
Marion Guthmuller [Fri, 19 Oct 2012 08:13:06 +0000 (10:13 +0200)]
model-checker : check current heap
Marion Guthmuller [Fri, 19 Oct 2012 07:54:01 +0000 (09:54 +0200)]
model-checker : update bprintf format for local variables
Marion Guthmuller [Fri, 19 Oct 2012 07:28:45 +0000 (09:28 +0200)]
model-checker : fix memory leaks in heap comparison
Marion Guthmuller [Thu, 18 Oct 2012 20:17:04 +0000 (22:17 +0200)]
model-checker : clean debug information in bugged1_liveness example
Marion Guthmuller [Thu, 18 Oct 2012 20:09:25 +0000 (22:09 +0200)]
model-checker : remove files about test_heap_comparison
Marion Guthmuller [Thu, 18 Oct 2012 20:00:11 +0000 (22:00 +0200)]
model-checker : process can be NULL
Marion Guthmuller [Thu, 18 Oct 2012 19:53:30 +0000 (21:53 +0200)]
model-checker : backtracking if there is no request to execute
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
Marion Guthmuller [Thu, 18 Oct 2012 19:49:30 +0000 (21:49 +0200)]
model-checker : init MC for liveness in a separate function
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
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
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
Marion Guthmuller [Thu, 18 Oct 2012 19:13:39 +0000 (21:13 +0200)]
model-checker : remove instruction pointer offset for local variables comparison
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
Marion Guthmuller [Thu, 18 Oct 2012 08:53:00 +0000 (10:53 +0200)]
model-checker : debug information more concise
Marion Guthmuller [Thu, 18 Oct 2012 08:51:58 +0000 (10:51 +0200)]
model-checker : fix some memory leaks
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
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)
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
Arnaud Giersch [Sat, 27 Oct 2012 17:21:19 +0000 (19:21 +0200)]
A C++ compiler is required for gtnets and ns3.
Arnaud Giersch [Sat, 27 Oct 2012 17:20:54 +0000 (19:20 +0200)]
Cosmetics.
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.
Arnaud Giersch [Sat, 27 Oct 2012 14:28:40 +0000 (16:28 +0200)]
Merge branch 'v3_8_x'
Arnaud Giersch [Sat, 27 Oct 2012 14:27:14 +0000 (16:27 +0200)]
Also add release name in ChangeLog.
Arnaud Giersch [Sat, 27 Oct 2012 14:20:36 +0000 (16:20 +0200)]
Merge branch 'v3_8_x'
Conflicts:
ChangeLog (fixed).
Arnaud Giersch [Sat, 27 Oct 2012 14:12:56 +0000 (16:12 +0200)]
Release 3.8.1.
Arnaud Giersch [Sat, 27 Oct 2012 13:14:24 +0000 (15:14 +0200)]
Document change.
Arnaud Giersch [Sat, 27 Oct 2012 13:12:01 +0000 (15:12 +0200)]
Tesh is not ls, and other trivial typos in tesh.1.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
These files are already added from testsuite/surf/CMakeLists.txt.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
Add tesh.1 to txt_files.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
These files are already added from testsuite/surf/CMakeLists.txt.
Arnaud Giersch [Fri, 26 Oct 2012 14:55:05 +0000 (16:55 +0200)]
Add tesh.1 to txt_files.
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).
navarro [Fri, 26 Oct 2012 17:10:22 +0000 (19:10 +0200)]
SMPI finally works ;)
Augustin Degomme [Fri, 26 Oct 2012 16:21:42 +0000 (18:21 +0200)]
adding property to check success of mpich context tests
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
navarro [Fri, 26 Oct 2012 15:09:06 +0000 (17:09 +0200)]
This is better for regex ... sorry
navarro [Fri, 26 Oct 2012 14:37:52 +0000 (16:37 +0200)]
Remove cmake warning
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.
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
navarro [Fri, 26 Oct 2012 14:11:41 +0000 (16:11 +0200)]
Remove unnecessary stdo and std files for smpi.
Regenerate each time
navarro [Fri, 26 Oct 2012 14:07:11 +0000 (16:07 +0200)]
Fix smpi script variables between cmake home dir and cmake install dir
Martin Quinson [Fri, 26 Oct 2012 13:10:53 +0000 (15:10 +0200)]
document augustin's work
navarro [Fri, 26 Oct 2012 10:07:50 +0000 (12:07 +0200)]
Fix test out of directory for smpi mpich
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
Augustin Degomme [Fri, 26 Oct 2012 09:06:09 +0000 (11:06 +0200)]
remove unwanted files
Augustin Degomme [Fri, 26 Oct 2012 08:55:36 +0000 (10:55 +0200)]
fortran-smpi was broken
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
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.
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.
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
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)
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)
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
Martin Quinson [Thu, 25 Oct 2012 21:21:30 +0000 (23:21 +0200)]
documentation improvement [thx Sylvain for pointing this out]
Martin Quinson [Thu, 25 Oct 2012 18:34:21 +0000 (20:34 +0200)]
document recent changes of Pierre (and Augustin?)
navarro [Thu, 25 Oct 2012 18:11:05 +0000 (20:11 +0200)]
Fix compilation on linux ;)
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