Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
9 years agoProtect EWOULDBLOCK, EINPROGRESS, ETIMEDOUT macro definitions since Visual C already...
navarrop [Fri, 4 Jun 2010 16:04:32 +0000 (16:04 +0000)]
Protect EWOULDBLOCK, EINPROGRESS, ETIMEDOUT macro definitions since Visual C already defines them.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7833 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoProtect macro definitions for VA_COPY. They should probably all be removed from this...
navarrop [Fri, 4 Jun 2010 16:04:31 +0000 (16:04 +0000)]
Protect macro definitions for VA_COPY. They should probably all be removed from this file actually...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7832 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoPortable definition of inline for windows visual C
navarrop [Fri, 4 Jun 2010 16:04:30 +0000 (16:04 +0000)]
Portable definition of inline for windows visual C

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7831 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCorrect macro declaration for VA_COPY so that it does not fool cpp and works on windo...
navarrop [Fri, 4 Jun 2010 16:04:29 +0000 (16:04 +0000)]
Correct macro declaration for VA_COPY so that it does not fool cpp and works on windows...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7830 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoThis file should not be tracked. It is automatically generated by Cmake.
navarrop [Fri, 4 Jun 2010 16:04:28 +0000 (16:04 +0000)]
This file should not be tracked. It is automatically generated by Cmake.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7829 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoUse a portable inline and declare variables at the beginning
navarrop [Fri, 4 Jun 2010 16:04:27 +0000 (16:04 +0000)]
Use a portable inline and declare variables at the beginning

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7828 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoUse a portable inline
navarrop [Fri, 4 Jun 2010 16:04:26 +0000 (16:04 +0000)]
Use a portable inline

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7827 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoDo not declare variable in the middle of nowhere!
navarrop [Fri, 4 Jun 2010 16:04:25 +0000 (16:04 +0000)]
Do not declare variable in the middle of nowhere!

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7826 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoIncorrect use of conditionnal expressions
navarrop [Fri, 4 Jun 2010 16:04:23 +0000 (16:04 +0000)]
Incorrect use of conditionnal expressions

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7825 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoSet some variables and flags for windows.
navarrop [Fri, 4 Jun 2010 11:13:53 +0000 (11:13 +0000)]
Set some variables and flags for windows.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7824 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoI need this to compile on my machine. It may break on others systems but I don't...
alegrand [Thu, 3 Jun 2010 21:25:41 +0000 (21:25 +0000)]
I need this to compile on my machine. It may break on others systems but I don't know how to use pipol yet.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7823 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoNow supernovae mode works out of project directory.
navarrop [Thu, 3 Jun 2010 09:49:28 +0000 (09:49 +0000)]
Now supernovae mode works out of project directory.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7822 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCosmetics for Windows
navarrop [Wed, 2 Jun 2010 13:25:02 +0000 (13:25 +0000)]
Cosmetics for Windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7821 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoRevert "Make gras compil with Visual C++." This commit is too large/unreadable. It...
alegrand [Wed, 2 Jun 2010 13:11:54 +0000 (13:11 +0000)]
Revert "Make gras compil with Visual C++." This commit is too large/unreadable. It should be split and have a smaller payload. :)

This reverts commit eae1f516d7042d8a589b3d4150cc2721dc146a24.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7820 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoMake gras compil with Visual C++.
navarrop [Tue, 1 Jun 2010 15:19:23 +0000 (15:19 +0000)]
Make gras compil with Visual C++.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7819 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoSave script for pipol.
navarrop [Tue, 1 Jun 2010 13:24:09 +0000 (13:24 +0000)]
Save script for pipol.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7818 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoSolve variable init value for windows.
navarrop [Tue, 1 Jun 2010 13:24:08 +0000 (13:24 +0000)]
Solve variable init value for windows.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7817 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoNo more mail.
navarrop [Mon, 31 May 2010 14:08:06 +0000 (14:08 +0000)]
No more mail.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7816 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoMemcheck timeout set to 300s.
navarrop [Mon, 31 May 2010 12:52:40 +0000 (12:52 +0000)]
Memcheck timeout set to 300s.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7815 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoMemcheck mode.
navarrop [Mon, 31 May 2010 12:14:28 +0000 (12:14 +0000)]
Memcheck mode.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7814 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoOn Mac set smpi to off by default.
navarrop [Mon, 31 May 2010 11:50:34 +0000 (11:50 +0000)]
On Mac set smpi to off by default.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7813 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoOUps.
navarrop [Mon, 31 May 2010 11:39:42 +0000 (11:39 +0000)]
OUps.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7812 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd notes to cdash.
navarrop [Mon, 31 May 2010 11:38:02 +0000 (11:38 +0000)]
Add notes to cdash.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7811 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd a forget s to an variable and Cosmetics.
navarrop [Mon, 31 May 2010 08:53:42 +0000 (08:53 +0000)]
Add a forget s to an variable and Cosmetics.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7810 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCosmetics
navarrop [Thu, 27 May 2010 17:12:57 +0000 (17:12 +0000)]
Cosmetics

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7809 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd full path for some files.
navarrop [Thu, 27 May 2010 17:11:26 +0000 (17:11 +0000)]
Add full path for some files.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7808 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCosmetics
navarrop [Thu, 27 May 2010 16:35:20 +0000 (16:35 +0000)]
Cosmetics

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7807 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoMaintainer mode works without project directory.
navarrop [Thu, 27 May 2010 16:13:12 +0000 (16:13 +0000)]
Maintainer mode works without project directory.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7806 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoRemove the transitions from the model-checker's setset before deleting it.
cristianrosa [Thu, 27 May 2010 15:25:57 +0000 (15:25 +0000)]
Remove the transitions from the model-checker's setset before deleting it.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7805 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoRemove the reference count of the elements from the setset container. This allow...
cristianrosa [Thu, 27 May 2010 15:25:56 +0000 (15:25 +0000)]
Remove the reference count of the elements from the setset container. This allow to exploit the bit parallelism of the processor, which results in a faster execution and in a cleaner implementation.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7804 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoImprove setset iterator
cristianrosa [Thu, 27 May 2010 15:25:52 +0000 (15:25 +0000)]
Improve setset iterator

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7803 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd a variable HAVE_MC for enable model-checking.
navarrop [Thu, 27 May 2010 14:32:18 +0000 (14:32 +0000)]
Add a variable HAVE_MC for enable model-checking.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7802 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoTransform transitions of type "mc_waitany" into multiple "wait" transitions.
cristianrosa [Thu, 27 May 2010 07:59:51 +0000 (07:59 +0000)]
Transform transitions of type "mc_waitany" into multiple "wait" transitions.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7801 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoTransform random transitions into multiple // transitions one for each value in the...
cristianrosa [Wed, 26 May 2010 15:09:44 +0000 (15:09 +0000)]
Transform random transitions into multiple // transitions one for each value in the rage of the random. This avoids having special cases in the dpor algorithm.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7800 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd logging for transitions
cristianrosa [Wed, 26 May 2010 13:18:14 +0000 (13:18 +0000)]
Add logging for transitions

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7799 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd MC support for processes with multiple enabled transitions per state
cristianrosa [Wed, 26 May 2010 13:18:13 +0000 (13:18 +0000)]
Add MC support for processes with multiple enabled transitions per state

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7798 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: setset cursors were incorrectly implemented. Now they work fine.
cristianrosa [Wed, 26 May 2010 13:18:07 +0000 (13:18 +0000)]
Bugfix: setset cursors were incorrectly implemented. Now they work fine.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7797 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoMAJ FAQ.
navarrop [Tue, 25 May 2010 15:35:15 +0000 (15:35 +0000)]
MAJ FAQ.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7796 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoGenerate tests for memcheck.
navarrop [Tue, 25 May 2010 14:29:28 +0000 (14:29 +0000)]
Generate tests for memcheck.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7795 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoDisable make test if memcheck, now make memcheck tests.
navarrop [Tue, 25 May 2010 12:57:28 +0000 (12:57 +0000)]
Disable make test if memcheck, now make memcheck tests.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7794 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoChange perl script for valgrind path.
navarrop [Tue, 25 May 2010 12:13:24 +0000 (12:13 +0000)]
Change perl script for valgrind path.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7793 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoTest if valgrind is found for enable memcheck.
navarrop [Tue, 25 May 2010 12:13:23 +0000 (12:13 +0000)]
Test if valgrind is found for enable memcheck.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7792 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agotricky way to bypass XML parser and setup the environment from lua code
coldpeace [Fri, 21 May 2010 14:24:38 +0000 (14:24 +0000)]
tricky way to bypass XML parser and setup the environment from lua code

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7791 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd a path to smpicc for find libsimgrid.
navarrop [Fri, 21 May 2010 13:39:17 +0000 (13:39 +0000)]
Add a path to smpicc for find libsimgrid.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7790 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoMake to file in project_directory for the moment.
navarrop [Fri, 21 May 2010 13:39:15 +0000 (13:39 +0000)]
Make to file in project_directory for the moment.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7789 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCosmetics and generate lib links for bindings correctely.
navarrop [Fri, 21 May 2010 13:01:34 +0000 (13:01 +0000)]
Cosmetics and generate lib links for bindings correctely.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7788 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAnd path to testing progams too.
navarrop [Fri, 21 May 2010 09:15:07 +0000 (09:15 +0000)]
And path to testing progams too.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7787 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoChanges path to find cmake files.
navarrop [Fri, 21 May 2010 09:15:06 +0000 (09:15 +0000)]
Changes path to find cmake files.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7786 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoReorganize cmake directory.
navarrop [Fri, 21 May 2010 09:15:01 +0000 (09:15 +0000)]
Reorganize cmake directory.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7785 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoImprove support for WaitAny transitions, not usable yet but closer.
cristianrosa [Fri, 21 May 2010 08:16:39 +0000 (08:16 +0000)]
Improve support for WaitAny transitions, not usable yet but closer.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7784 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoRework MC transition interception/creation. Now it is more modular.
cristianrosa [Thu, 20 May 2010 14:29:43 +0000 (14:29 +0000)]
Rework MC transition interception/creation. Now it is more modular.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7783 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCompile fix, size_t != int in 64 bits
cristianrosa [Thu, 20 May 2010 14:29:35 +0000 (14:29 +0000)]
Compile fix, size_t != int in 64 bits

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7782 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd stdarg.h for va_list.
navarrop [Thu, 20 May 2010 14:05:16 +0000 (14:05 +0000)]
Add stdarg.h for va_list.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7781 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoCosmetics and again windows compilation.
navarrop [Thu, 20 May 2010 13:53:34 +0000 (13:53 +0000)]
Cosmetics and again windows compilation.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7780 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agobug fixes: correct use of xbt dictionaries and arrays
schnorr [Thu, 20 May 2010 11:15:05 +0000 (11:15 +0000)]
bug fixes: correct use of xbt dictionaries and arrays

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7779 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agocorrect duplication of a variable
schnorr [Thu, 20 May 2010 11:15:04 +0000 (11:15 +0000)]
correct duplication of a variable

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7778 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agofix a bunch of issues found by make distcheck
mquinson [Wed, 19 May 2010 18:38:12 +0000 (18:38 +0000)]
fix a bunch of issues found by make distcheck

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7777 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoDelete error in windows.
navarrop [Wed, 19 May 2010 16:19:48 +0000 (16:19 +0000)]
Delete error in windows.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7776 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAgain for windows.
navarrop [Wed, 19 May 2010 16:08:45 +0000 (16:08 +0000)]
Again for windows.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7775 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoPrepare to windows.
navarrop [Wed, 19 May 2010 15:25:13 +0000 (15:25 +0000)]
Prepare to windows.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7774 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoKill old README, now in the FAQ.
navarrop [Wed, 19 May 2010 10:16:09 +0000 (10:16 +0000)]
Kill old README, now in the FAQ.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7773 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBe compatible with all plateforms.
navarrop [Wed, 19 May 2010 10:12:20 +0000 (10:12 +0000)]
Be compatible with all plateforms.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7772 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoRename some variales and cosmetics.
navarrop [Tue, 18 May 2010 12:41:43 +0000 (12:41 +0000)]
Rename some variales and cosmetics.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7771 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoGenerate files correctely with gras_stub_generator.
navarrop [Tue, 18 May 2010 12:05:41 +0000 (12:05 +0000)]
Generate files correctely with gras_stub_generator.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7770 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoFix problem on merge from svn
cristianrosa [Tue, 18 May 2010 09:34:16 +0000 (09:34 +0000)]
Fix problem on merge from svn

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7769 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoImport portability macro in mmalloc
cristianrosa [Tue, 18 May 2010 09:34:15 +0000 (09:34 +0000)]
Import portability macro in mmalloc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7768 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoImport portability macros in mmalloc
mquinson [Tue, 18 May 2010 09:28:00 +0000 (09:28 +0000)]
Import portability macros in mmalloc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7767 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoOngoing work to port GRAS to smx_network. Not working yet
mquinson [Tue, 18 May 2010 09:27:58 +0000 (09:27 +0000)]
Ongoing work to port GRAS to smx_network. Not working yet

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7766 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd option enable_modele-checking.
navarrop [Tue, 18 May 2010 09:15:00 +0000 (09:15 +0000)]
Add option enable_modele-checking.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7765 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoClean old command install-simgrid.
navarrop [Tue, 18 May 2010 08:55:01 +0000 (08:55 +0000)]
Clean old command install-simgrid.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7764 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoPrint install doc IGNORED if it is necessary.
navarrop [Tue, 18 May 2010 07:44:04 +0000 (07:44 +0000)]
Print install doc IGNORED if it is necessary.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7763 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoThis commit 590f9c7e65ce6a64705272d79443599877d5cb72 add a segfault to compilation.
navarrop [Tue, 18 May 2010 07:44:01 +0000 (07:44 +0000)]
This commit 590f9c7e65ce6a64705272d79443599877d5cb72  add a segfault to compilation.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7762 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoDamn, once again, I forgot do document my changes
mquinson [Tue, 18 May 2010 01:13:32 +0000 (01:13 +0000)]
Damn, once again, I forgot do document my changes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7761 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoA working 'make install' target
mquinson [Tue, 18 May 2010 00:57:12 +0000 (00:57 +0000)]
A working 'make install' target

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7760 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agofurther cleanups to the cmake files. We now have a manual but properly working 'make...
mquinson [Tue, 18 May 2010 00:56:51 +0000 (00:56 +0000)]
further cleanups to the cmake files. We now have a manual but properly working 'make dist' target.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7759 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoDocument last changes
mquinson [Tue, 18 May 2010 00:56:30 +0000 (00:56 +0000)]
Document last changes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7758 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoLittle cleanups to the install target. Still a long way to go, unfortunately
mquinson [Mon, 17 May 2010 16:15:02 +0000 (16:15 +0000)]
Little cleanups to the install target. Still a long way to go, unfortunately

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7757 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoinstall MSG_colorize.pl under the name simgrid-colorizer
mquinson [Mon, 17 May 2010 16:15:00 +0000 (16:15 +0000)]
install MSG_colorize.pl under the name simgrid-colorizer

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7756 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoInstall the libraries carefully so that we have a link from .so to .so.version
mquinson [Mon, 17 May 2010 16:14:49 +0000 (16:14 +0000)]
Install the libraries carefully so that we have a link from .so to .so.version

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7755 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoRebuild the jar file only on need. The examples are still always rebuilt on make...
mquinson [Mon, 17 May 2010 16:14:47 +0000 (16:14 +0000)]
Rebuild the jar file only on need. The examples are still always rebuilt on make all, but they are smaller and the jar was rebuilt even on make simgrid

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7754 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoInitial FAQ section for using the model-checking mode.
cristianrosa [Mon, 17 May 2010 14:29:54 +0000 (14:29 +0000)]
Initial FAQ section for using the model-checking mode.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7753 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd dead-lock detection to MC
cristianrosa [Mon, 17 May 2010 14:29:52 +0000 (14:29 +0000)]
Add dead-lock detection to MC

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7752 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoImprove comments on examples
cristianrosa [Mon, 17 May 2010 12:25:51 +0000 (12:25 +0000)]
Improve comments on examples

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7751 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd new example: "Shared buffer between asynchronous receives".
cristianrosa [Mon, 17 May 2010 12:25:48 +0000 (12:25 +0000)]
Add new example: "Shared buffer between asynchronous receives".

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7750 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoImprove independence detection of transitions (more reduction of state space)
cristianrosa [Mon, 17 May 2010 09:05:26 +0000 (09:05 +0000)]
Improve independence detection of transitions (more reduction of state space)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7749 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: Do not copy the communication data in the model-checker's main loop, it is...
cristianrosa [Mon, 17 May 2010 09:05:21 +0000 (09:05 +0000)]
Bugfix: Do not copy the communication data in the model-checker's main loop, it is already done by the communication API.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7748 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoNo error if there is no file into doc/html.
navarrop [Mon, 17 May 2010 08:25:56 +0000 (08:25 +0000)]
No error if there is no file into doc/html.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7747 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd verification before install doc. Cosmetics.
navarrop [Mon, 17 May 2010 08:12:12 +0000 (08:12 +0000)]
Add verification before install doc. Cosmetics.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7746 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoFree MC memory on exit SVN
cristianrosa [Fri, 14 May 2010 12:41:57 +0000 (12:41 +0000)]
Free MC memory on exit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7745 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: destroy all the sets when destroying a setset data structure.
cristianrosa [Fri, 14 May 2010 12:41:54 +0000 (12:41 +0000)]
Bugfix: destroy all the sets when destroying a setset data structure.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7744 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: delete the set of created transitions, otherwise we leak a lot of memory
cristianrosa [Wed, 12 May 2010 17:44:20 +0000 (17:44 +0000)]
Bugfix: delete the set of created transitions, otherwise we leak a lot of memory

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7743 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: do not assume that the object still exists when removing an element, it might...
cristianrosa [Wed, 12 May 2010 17:44:16 +0000 (17:44 +0000)]
Bugfix: do not assume that the object still exists when removing an element, it might be already deleted by the user.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7742 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: delete the tasks after using them
cristianrosa [Wed, 12 May 2010 17:44:12 +0000 (17:44 +0000)]
Bugfix: delete the tasks after using them

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7741 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix: fix memory leak related to transition creation/destruction. Instead of using...
cristianrosa [Wed, 12 May 2010 09:11:08 +0000 (09:11 +0000)]
Bugfix: fix memory leak related to transition creation/destruction. Instead of using a reference count, associate the transitions to the state that creates them, and delete them only when deleting that state.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7739 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoBugfix:delete unused variables in order to compile
cristianrosa [Tue, 11 May 2010 15:46:57 +0000 (15:46 +0000)]
Bugfix:delete unused variables in order to compile

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7738 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd new example to test MC_random function
cristianrosa [Tue, 11 May 2010 15:42:38 +0000 (15:42 +0000)]
Add new example to test MC_random function

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7737 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd int MC_random(int min, int max) function that will make the model-checker to...
cristianrosa [Tue, 11 May 2010 15:42:33 +0000 (15:42 +0000)]
Add int MC_random(int min, int max) function that will make the model-checker to explore all possible return values of the functions. The possible return values are integers in the range between min and max

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7736 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd a small example for SD_workstation_get_current_task
suter [Mon, 10 May 2010 20:13:27 +0000 (20:13 +0000)]
Add a small example for SD_workstation_get_current_task

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7735 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoAdd a SD_workstation_get_current_task function
suter [Mon, 10 May 2010 20:11:02 +0000 (20:11 +0000)]
Add a SD_workstation_get_current_task function
returns the currently executed task in the SD_SEQUENTIAL_ACCESSED_MODE
Then it's easy to get the kind of this task with SD_task_get_kind

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7734 48e7efb5-ca39-0410-a469-dd3cf9ba447f

9 years agoIn SD_SEQUENTIAL_ACCESS_MODE, when we check if all the involved
suter [Mon, 10 May 2010 20:08:58 +0000 (20:08 +0000)]
In SD_SEQUENTIAL_ACCESS_MODE, when we check if all the involved
workstation are busy or not, it is better to not use only the last value

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7733 48e7efb5-ca39-0410-a469-dd3cf9ba447f