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
navarro [Thu, 25 Oct 2012 17:52:03 +0000 (19:52 +0200)]
Fix compilation and configuration since win commits
suter [Thu, 25 Oct 2012 17:48:43 +0000 (19:48 +0200)]
endif missing
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
navarro [Thu, 25 Oct 2012 17:35:35 +0000 (19:35 +0200)]
More dev doc
navarro [Wed, 24 Oct 2012 20:06:53 +0000 (13:06 -0700)]
Those examples does not compil on WIN
navarro [Thu, 25 Oct 2012 17:27:57 +0000 (10:27 -0700)]
Tranform extern for XBT_PUBLIC
navarro [Wed, 24 Oct 2012 20:03:53 +0000 (13:03 -0700)]
Compilation fix on SMPI with WIN32
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
navarro [Wed, 24 Oct 2012 15:45:24 +0000 (08:45 -0700)]
Windows does not find weak symbol
Fix compilation for smpi on WIN32
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
navarro [Wed, 24 Oct 2012 15:31:58 +0000 (08:31 -0700)]
Add XBT_PUBLIC tag to smpi variables
navarro [Wed, 24 Oct 2012 15:29:54 +0000 (08:29 -0700)]
Cmake target for lib smpi
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.
Lucas Schnorr [Thu, 25 Oct 2012 10:20:20 +0000 (12:20 +0200)]
[trace] fix tesh'es due to change of link values
Lucas Schnorr [Tue, 23 Oct 2012 19:57:46 +0000 (21:57 +0200)]
[trace] link value here should indicate resource topology
Arnaud Giersch [Thu, 25 Oct 2012 15:54:10 +0000 (17:54 +0200)]
Merge branch 'v3_8_x'
Arnaud Giersch [Thu, 25 Oct 2012 08:33:48 +0000 (10:33 +0200)]
Install lua and graphviz-dev for debian too.
Arnaud Giersch [Thu, 25 Oct 2012 08:56:47 +0000 (10:56 +0200)]
Update next version to 3.9.
Arnaud Giersch [Thu, 25 Oct 2012 08:55:12 +0000 (10:55 +0200)]
Update next version to 3.8.1.
Martin Quinson [Thu, 25 Oct 2012 15:31:58 +0000 (17:31 +0200)]
we just released
Martin Quinson [Thu, 25 Oct 2012 15:31:11 +0000 (17:31 +0200)]
update the release dates
navarro [Thu, 25 Oct 2012 15:20:12 +0000 (17:20 +0200)]
Add smpi_f77 to extra dist if not in smpi src
navarro [Thu, 25 Oct 2012 14:13:55 +0000 (16:13 +0200)]
Remove generated files from dist
navarro [Thu, 25 Oct 2012 14:03:00 +0000 (16:03 +0200)]
Links are for the forge and not local
navarro [Thu, 25 Oct 2012 13:58:14 +0000 (15:58 +0200)]
Attach the dev guide to forge and doc
navarro [Thu, 25 Oct 2012 13:36:34 +0000 (15:36 +0200)]
Start to write dev_guide
navarro [Thu, 25 Oct 2012 13:36:13 +0000 (15:36 +0200)]
Fix documentation warnings
navarro [Thu, 25 Oct 2012 12:37:31 +0000 (14:37 +0200)]
Delete some warning during the ref_guide build
navarro [Thu, 25 Oct 2012 12:09:24 +0000 (14:09 +0200)]
Clean the gtut files.
navarro [Thu, 25 Oct 2012 11:53:07 +0000 (13:53 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Thu, 25 Oct 2012 11:53:01 +0000 (13:53 +0200)]
Clean and add files for simgrid documentation.
Now the distrib can generate the documentation
Lucas Schnorr [Thu, 25 Oct 2012 10:18:02 +0000 (12:18 +0200)]
[trace] update ChangeLog with recent changes on the TRACE module
navarro [Thu, 25 Oct 2012 09:51:13 +0000 (11:51 +0200)]
Add header, footer and stylesheet to the distrib