Arnaud Giersch [Mon, 7 Oct 2013 12:24:29 +0000 (14:24 +0200)]
Value stored to 'total_dsize' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:20:18 +0000 (14:20 +0200)]
Value stored to 'size' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:10:33 +0000 (14:10 +0200)]
Verify that request is not NULL (plus reindent).
Arnaud Giersch [Mon, 7 Oct 2013 11:58:17 +0000 (13:58 +0200)]
Rework test logic, and add one more case.
Arnaud Giersch [Mon, 7 Oct 2013 09:54:25 +0000 (11:54 +0200)]
Value stored to 'linelen' here is never read.
Augustin Degomme [Mon, 7 Oct 2013 16:14:25 +0000 (18:14 +0200)]
oops
Augustin Degomme [Mon, 7 Oct 2013 15:50:36 +0000 (17:50 +0200)]
fix compilation issue with windows timers
Augustin Degomme [Mon, 7 Oct 2013 14:59:36 +0000 (16:59 +0200)]
On windows, try_compile may use another compiler than the one we want.
Replace it by execute_process of the right compiler
Augustin Degomme [Mon, 7 Oct 2013 14:05:00 +0000 (16:05 +0200)]
fix windows cmake failing to detect it can actually use ucontexts
Augustin Degomme [Mon, 7 Oct 2013 14:04:25 +0000 (16:04 +0200)]
fix compil error in some cases
suter [Mon, 7 Oct 2013 14:53:14 +0000 (16:53 +0200)]
one more gloups revalidation
suter [Mon, 7 Oct 2013 14:38:27 +0000 (16:38 +0200)]
Gloups revalidation
suter [Mon, 7 Oct 2013 14:38:06 +0000 (16:38 +0200)]
destroy task when execution failed because of dead host
suter [Mon, 7 Oct 2013 14:36:51 +0000 (16:36 +0200)]
exception catching on host failure
suter [Mon, 7 Oct 2013 14:35:39 +0000 (16:35 +0200)]
seems that get_data can return NULL, add guards
suter [Mon, 7 Oct 2013 14:34:49 +0000 (16:34 +0200)]
reactivate expception raising on host failure
Martin Quinson [Mon, 7 Oct 2013 10:00:22 +0000 (12:00 +0200)]
java is now merged to master package
Martin Quinson [Mon, 7 Oct 2013 09:57:12 +0000 (11:57 +0200)]
make it easier to debug make distcheck issues by requesting output-on-failure to ctest
Martin Quinson [Mon, 7 Oct 2013 09:08:57 +0000 (11:08 +0200)]
cmon, script. Don't fail on me because I don't use colored diffs
Martin Quinson [Mon, 7 Oct 2013 08:48:39 +0000 (10:48 +0200)]
slight typo in documentation
Martin Quinson [Mon, 7 Oct 2013 08:43:17 +0000 (10:43 +0200)]
get ready to release the first prerelease of 3.10 (3.10pre1)
Pierre Veyre [Mon, 7 Oct 2013 08:52:18 +0000 (10:52 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Conflicts:
src/surf/storage.c
Marion Guthmuller [Sun, 6 Oct 2013 21:29:54 +0000 (23:29 +0200)]
model-checker : update tesh file
Marion Guthmuller [Sun, 6 Oct 2013 15:22:52 +0000 (17:22 +0200)]
model-checker : fix memory leak in ddfs algorithm
Arnaud Giersch [Sun, 6 Oct 2013 20:23:03 +0000 (22:23 +0200)]
Missing space, and more zu -> PRIu64 conversions.
Arnaud Giersch [Fri, 4 Oct 2013 22:48:27 +0000 (00:48 +0200)]
Encode path so that it is not too long.
Some OSes, like MacOS, don't want long names here.
The path is hashed with sha1, and then encoded in base64.
Arnaud Giersch [Fri, 4 Oct 2013 22:15:03 +0000 (00:15 +0200)]
Need one more byte for the terminating \0.
suter [Sun, 6 Oct 2013 16:48:02 +0000 (18:48 +0200)]
revalidate tesh
suter [Sat, 5 Oct 2013 15:29:57 +0000 (17:29 +0200)]
slightly modify the example to check that overwriting storage_type
contents by storage contents is possible
suter [Sat, 5 Oct 2013 15:02:28 +0000 (17:02 +0200)]
leak-- clean things at the MSG level when unlinking a file as
MSG_file_close wont be called.
suter [Sat, 5 Oct 2013 14:50:58 +0000 (16:50 +0200)]
leak --
suter [Sat, 5 Oct 2013 14:12:27 +0000 (16:12 +0200)]
use proper format
suter [Sat, 5 Oct 2013 14:10:03 +0000 (16:10 +0200)]
should be sg_storage_size_t here too
Pierre Veyre [Sun, 6 Oct 2013 14:39:14 +0000 (16:39 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Martin Quinson [Sun, 6 Oct 2013 13:05:55 +0000 (15:05 +0200)]
cosmetics in an error message
Martin Quinson [Sun, 6 Oct 2013 12:50:34 +0000 (14:50 +0200)]
add some comments to avoid that someone breaks the MC with a 'trivial cleanup'
Marion Guthmuller [Sat, 5 Oct 2013 10:24:52 +0000 (12:24 +0200)]
model-checker : cleanup
Marion Guthmuller [Sat, 5 Oct 2013 10:24:21 +0000 (12:24 +0200)]
model-checker : fix memory leak
Arnaud Giersch [Fri, 4 Oct 2013 21:02:40 +0000 (23:02 +0200)]
Handle inactive requests in test and wait.
Arnaud Giersch [Fri, 4 Oct 2013 20:59:48 +0000 (22:59 +0200)]
Empty status when request is NULL.
Arnaud Giersch [Fri, 4 Oct 2013 20:31:08 +0000 (22:31 +0200)]
Reset requests to MPI_REQUEST_NULL.
Arnaud Giersch [Fri, 4 Oct 2013 19:23:43 +0000 (21:23 +0200)]
Arnaud Giersch [Fri, 4 Oct 2013 15:26:20 +0000 (17:26 +0200)]
Remove XBT_INLINE here, some compilers don't like it.
Arnaud Giersch [Fri, 4 Oct 2013 13:57:41 +0000 (15:57 +0200)]
Raise log level for this message.
Arnaud Giersch [Fri, 4 Oct 2013 13:50:54 +0000 (15:50 +0200)]
Empty status in any case (plus slight reindent).
Arnaud Giersch [Fri, 4 Oct 2013 09:36:38 +0000 (11:36 +0200)]
Enforce type for other MPI NULL constants.
Arnaud Giersch [Fri, 4 Oct 2013 09:01:18 +0000 (11:01 +0200)]
Enforce type for MPI_REQUEST_NULL, and fix mistakes.
Thanks Marion for having noticed it.
Augustin Degomme [Fri, 4 Oct 2013 13:46:58 +0000 (15:46 +0200)]
new attempt
Marion Guthmuller [Fri, 4 Oct 2013 13:12:13 +0000 (15:12 +0200)]
model-checker : ignore information about simix_global in safety MC
Marion Guthmuller [Fri, 4 Oct 2013 13:09:03 +0000 (15:09 +0200)]
model-checker : update tesh files
Marion Guthmuller [Fri, 4 Oct 2013 13:02:48 +0000 (15:02 +0200)]
model-checker : ignore information about simix_global
Marion Guthmuller [Fri, 4 Oct 2013 13:00:13 +0000 (15:00 +0200)]
model-checker : set comm to NULL before creating them with simcall (MC compliant)
Marion Guthmuller [Fri, 4 Oct 2013 12:59:10 +0000 (14:59 +0200)]
model-checker : copy/paste error
Marion Guthmuller [Fri, 4 Oct 2013 12:58:45 +0000 (14:58 +0200)]
model-checker : fix detection of pointers on a fragment part
Marion Guthmuller [Fri, 4 Oct 2013 09:49:27 +0000 (11:49 +0200)]
model-checker : ignore process_to_run and process_that_ran included in simix_global for system state comparison
Marion Guthmuller [Fri, 4 Oct 2013 09:47:09 +0000 (11:47 +0200)]
model-checker : dangling pointer set to NULL
Marion Guthmuller [Fri, 4 Oct 2013 09:45:52 +0000 (11:45 +0200)]
model-checker : set SMPI request to NULL before creating them (MC compliant)
Marion Guthmuller [Fri, 4 Oct 2013 09:43:59 +0000 (11:43 +0200)]
model-checker : improve ignore mechanism for complete memory area
Marion Guthmuller [Thu, 3 Oct 2013 17:47:05 +0000 (19:47 +0200)]
model-checker : restore sequential system state comparison (parallel version is slower, for now ..)
Marion Guthmuller [Thu, 3 Oct 2013 17:39:33 +0000 (19:39 +0200)]
model-checker : fix sort of acceptance pairs
Marion Guthmuller [Thu, 3 Oct 2013 17:35:46 +0000 (19:35 +0200)]
model-checker : add debug message
Marion Guthmuller [Thu, 3 Oct 2013 17:35:06 +0000 (19:35 +0200)]
model-checker : ignore some information for system state comparison
Marion Guthmuller [Thu, 3 Oct 2013 17:34:08 +0000 (19:34 +0200)]
init request real_src
Marion Guthmuller [Thu, 3 Oct 2013 17:23:16 +0000 (19:23 +0200)]
model-checker : detect pointers on a part of a fragment
Marion Guthmuller [Wed, 2 Oct 2013 14:18:06 +0000 (16:18 +0200)]
model-checker : fix centralized mutex example
Marion Guthmuller [Wed, 2 Oct 2013 14:12:38 +0000 (16:12 +0200)]
model-checker : update bugged mutual exclusion algorithm
Marion Guthmuller [Wed, 2 Oct 2013 08:02:17 +0000 (10:02 +0200)]
model-checker : automaton state comparison removed with parallel comparison, fix it
Augustin Degomme [Fri, 4 Oct 2013 13:09:49 +0000 (15:09 +0200)]
empty lines made win unhappy
Augustin Degomme [Fri, 4 Oct 2013 12:30:59 +0000 (14:30 +0200)]
Use a large hammer to have Perl tesh actually comply with most of the existing suite.
Augustin Degomme [Wed, 2 Oct 2013 16:39:35 +0000 (18:39 +0200)]
have perl comply a little bit more to what existed before
Augustin Degomme [Wed, 2 Oct 2013 12:58:05 +0000 (14:58 +0200)]
file was put in the wrong folder ...
Pierre Veyre [Fri, 4 Oct 2013 07:14:08 +0000 (09:14 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Arnaud Giersch [Thu, 3 Oct 2013 21:18:10 +0000 (23:18 +0200)]
Kill some memory leaks.
Arnaud Giersch [Thu, 3 Oct 2013 21:02:39 +0000 (23:02 +0200)]
Exit cleanly on error.
Arnaud Giersch [Thu, 3 Oct 2013 20:38:54 +0000 (22:38 +0200)]
Add tests to check that the expected context factory is really used.
Arnaud Giersch [Thu, 3 Oct 2013 20:08:21 +0000 (22:08 +0200)]
Typo: contexte -> context.
Arnaud Giersch [Thu, 3 Oct 2013 19:46:33 +0000 (21:46 +0200)]
Slight reordering.
Arnaud Giersch [Thu, 3 Oct 2013 19:31:30 +0000 (21:31 +0200)]
Delete obsolete files.
Pierre Veyre [Wed, 2 Oct 2013 20:26:41 +0000 (22:26 +0200)]
Add MSG_storage_get_size function
Augustin Degomme [Wed, 2 Oct 2013 12:02:53 +0000 (14:02 +0200)]
parameter order was not changed in java bindings
Augustin Degomme [Wed, 2 Oct 2013 11:35:24 +0000 (13:35 +0200)]
Include path to Diff.pm file in the perl script
Pierre Veyre [Wed, 2 Oct 2013 11:29:41 +0000 (13:29 +0200)]
Update msg-storage tesh
Pierre Veyre [Wed, 2 Oct 2013 09:14:07 +0000 (11:14 +0200)]
Change parameters order for msg_file_read, msg_file_write and in all their internal layers
Arnaud Giersch [Wed, 2 Oct 2013 06:54:10 +0000 (08:54 +0200)]
Even printf does not follow the standard on Windows.
Try to fix this.
Augustin Degomme [Tue, 1 Oct 2013 23:19:49 +0000 (01:19 +0200)]
Some teshes needed to be sorted because order in windows may be changed
Augustin Degomme [Tue, 1 Oct 2013 19:44:22 +0000 (21:44 +0200)]
command line = command line, options = options
Arnaud Giersch [Tue, 1 Oct 2013 21:05:30 +0000 (23:05 +0200)]
Fix format specifiers for sg_storage_size_t.
Arnaud Giersch [Tue, 1 Oct 2013 21:06:27 +0000 (23:06 +0200)]
Small fixes in type names.
Arnaud Giersch [Tue, 1 Oct 2013 21:25:07 +0000 (23:25 +0200)]
Use homogeneous dicts which are more efficient.
Augustin Degomme [Tue, 1 Oct 2013 19:34:03 +0000 (21:34 +0200)]
adapt perl tesh to handle timeout from command line, and defaut to 50 for windows\nThis avoids some processes that hang at 100% cpu if ctest timeout is reached
Augustin Degomme [Tue, 1 Oct 2013 16:46:47 +0000 (18:46 +0200)]
(temporary) add test to insult windows user if his jvm is 64 bits
Augustin Degomme [Tue, 1 Oct 2013 16:30:10 +0000 (18:30 +0200)]
use ; to separate path on windows instead of :
Pierre Veyre [Tue, 1 Oct 2013 16:25:05 +0000 (18:25 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 1 Oct 2013 16:22:45 +0000 (18:22 +0200)]
Introduce sg_storage_size_t type
Pierre Veyre [Tue, 1 Oct 2013 16:22:02 +0000 (18:22 +0200)]
Introduce sg_storage_size_t type
Pierre Veyre [Tue, 1 Oct 2013 14:38:29 +0000 (16:38 +0200)]
Fix the storage content update after a write action + remove useless loop
Arnaud Giersch [Tue, 1 Oct 2013 13:15:24 +0000 (15:15 +0200)]
Try to exit in a more valgrind friendly manner when help is requested.
Arnaud Giersch [Tue, 1 Oct 2013 12:45:00 +0000 (14:45 +0200)]
Guard against jedule being null.
Arnaud Giersch [Tue, 1 Oct 2013 12:02:31 +0000 (14:02 +0200)]
Centralize declaration for _sg_init_status (renamed to _sg_cfg_init_status).
Arnaud Giersch [Tue, 1 Oct 2013 14:00:58 +0000 (16:00 +0200)]
Remove "default" factory. The real default is chosen in sg_config.c.