Logo AND Algorithmique Numérique Distribuée

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

8 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

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

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

8 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

8 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

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

8 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

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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

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

8 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

8 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

8 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

8 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

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

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

8 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

8 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

8 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

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

8 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

8 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

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

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

8 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

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

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

8 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

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

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

8 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

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

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

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

8 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

8 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

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

8 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

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

8 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

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

8 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

8 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

8 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

8 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

8 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

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

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

8 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

8 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

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

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

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

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

8 years agowe just released v3_8
Martin Quinson [Thu, 25 Oct 2012 15:31:58 +0000 (17:31 +0200)]
we just released

8 years agoupdate the release dates
Martin Quinson [Thu, 25 Oct 2012 15:31:11 +0000 (17:31 +0200)]
update the release dates

8 years agoAdd smpi_f77 to extra dist if not in smpi src
navarro [Thu, 25 Oct 2012 15:20:12 +0000 (17:20 +0200)]
Add smpi_f77 to extra dist if not in smpi src

8 years agoRemove generated files from dist
navarro [Thu, 25 Oct 2012 14:13:55 +0000 (16:13 +0200)]
Remove generated files from dist

8 years agoLinks are for the forge and not local
navarro [Thu, 25 Oct 2012 14:03:00 +0000 (16:03 +0200)]
Links are for the forge and not local

8 years agoAttach the dev guide to forge and doc
navarro [Thu, 25 Oct 2012 13:58:14 +0000 (15:58 +0200)]
Attach the dev guide to forge and doc

8 years agoStart to write dev_guide
navarro [Thu, 25 Oct 2012 13:36:34 +0000 (15:36 +0200)]
Start to write dev_guide

8 years agoFix documentation warnings
navarro [Thu, 25 Oct 2012 13:36:13 +0000 (15:36 +0200)]
Fix documentation warnings

8 years agoDelete some warning during the ref_guide build
navarro [Thu, 25 Oct 2012 12:37:31 +0000 (14:37 +0200)]
Delete some warning during the ref_guide build

8 years agoClean the gtut files.
navarro [Thu, 25 Oct 2012 12:09:24 +0000 (14:09 +0200)]
Clean the gtut files.

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
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

8 years agoClean and add files for simgrid documentation.
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

8 years ago[trace] update ChangeLog with recent changes on the TRACE module
Lucas Schnorr [Thu, 25 Oct 2012 10:18:02 +0000 (12:18 +0200)]
[trace] update ChangeLog with recent changes on the TRACE module

8 years agoAdd header, footer and stylesheet to the distrib
navarro [Thu, 25 Oct 2012 09:51:13 +0000 (11:51 +0200)]
Add header, footer and stylesheet to the distrib

8 years agoAdd dev_guide files to the distrib.
navarro [Thu, 25 Oct 2012 09:31:19 +0000 (11:31 +0200)]
Add dev_guide files to the distrib.