Logo AND Algorithmique Numérique Distribuée

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

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

11 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

11 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

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

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

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

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

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

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

11 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

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

11 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

11 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

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

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

11 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

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

11 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

11 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

11 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

11 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

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

11 years agoadd missing userguide files
paul bedaride [Thu, 25 Oct 2012 09:20:54 +0000 (11:20 +0200)]
add missing userguide files

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

11 years agoAlways checkout simgrid with git:// and not https://
navarro [Wed, 24 Oct 2012 13:51:17 +0000 (15:51 +0200)]
Always checkout simgrid with git:// and not https://

11 years agoops, forgot to document the changes of JB this summer
Martin Quinson [Wed, 24 Oct 2012 13:44:54 +0000 (15:44 +0200)]
ops, forgot to document the changes of JB this summer

11 years agosome cleanups to the changelog. Still improvable
Martin Quinson [Wed, 24 Oct 2012 13:29:59 +0000 (15:29 +0200)]
some cleanups to the changelog. Still improvable

11 years agoproposal of NEWS file for the upcomming release
Martin Quinson [Wed, 24 Oct 2012 13:28:37 +0000 (15:28 +0200)]
proposal of NEWS file for the upcomming release

11 years agoDesactivate an historical MC_assert so that model-checking Chord get a chance to...
Martin Quinson [Wed, 24 Oct 2012 13:13:41 +0000 (15:13 +0200)]
Desactivate an historical MC_assert so that model-checking Chord get a chance to work

Leave a comment on this first historical battle for MC in SimGrid in
the source code :)

11 years agoDocument some of Pierre's work
Martin Quinson [Wed, 24 Oct 2012 12:59:08 +0000 (14:59 +0200)]
Document some of Pierre's work

11 years agoFix format string and args.
Arnaud Giersch [Wed, 24 Oct 2012 13:17:59 +0000 (15:17 +0200)]
Fix format string and args.

11 years agoPull again, something was changed before I could push
Maximiliano Geier [Wed, 24 Oct 2012 12:59:36 +0000 (14:59 +0200)]
Pull again, something was changed before I could push

11 years agoPull changes to push BitTorrent fix
Maximiliano Geier [Wed, 24 Oct 2012 12:57:28 +0000 (14:57 +0200)]
Pull changes to push BitTorrent fix

11 years agoBitTorrent changes:
Maximiliano Geier [Wed, 24 Oct 2012 12:55:53 +0000 (14:55 +0200)]
BitTorrent changes:
Fix message sizes (used MB instead of bytes)
Fix tesh again to match this change
Define new message type MESSAGE_CANCEL (not implemented yet)

11 years agoDisable mmalloc_test when !HAVE_MMAP, since mmalloc is not compiled in.
Arnaud Giersch [Wed, 24 Oct 2012 12:55:22 +0000 (14:55 +0200)]
Disable mmalloc_test when !HAVE_MMAP, since mmalloc is not compiled in.

11 years agoUpdate script for build default conf into build-def directory
navarro [Wed, 24 Oct 2012 11:45:18 +0000 (13:45 +0200)]
Update script for build default conf into build-def directory

11 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Wed, 24 Oct 2012 11:12:36 +0000 (13:12 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

11 years agoedit changelog with smpi changes
Augustin Degomme [Wed, 24 Oct 2012 09:36:24 +0000 (11:36 +0200)]
edit changelog with smpi changes

11 years agoUpdate pipol script
navarro [Wed, 24 Oct 2012 09:37:16 +0000 (11:37 +0200)]
Update pipol script

11 years agoFix libunwind install on ubuntu
navarro [Wed, 24 Oct 2012 09:36:15 +0000 (11:36 +0200)]
Fix libunwind install on ubuntu

11 years agomake it work on x86 too. Other arches are still broken for MC and this is wrong
Martin Quinson [Wed, 24 Oct 2012 08:13:38 +0000 (10:13 +0200)]
make it work on x86 too. Other arches are still broken for MC and this is wrong

11 years agoCosmetics: Having -> Have; write -> written.
Arnaud Giersch [Tue, 23 Oct 2012 15:13:01 +0000 (17:13 +0200)]
Cosmetics: Having -> Have; write -> written.