Marion Guthmuller [Tue, 5 Mar 2013 20:38:32 +0000 (21:38 +0100)]
model-checker : set ignore flag to 0 if reallocation
Marion Guthmuller [Tue, 5 Mar 2013 20:36:44 +0000 (21:36 +0100)]
model-checker : minor changes for debug information in heap comparison algorithm
Marion Guthmuller [Tue, 5 Mar 2013 20:34:35 +0000 (21:34 +0100)]
model-checker : check if fragment or block has been already compared
Marion Guthmuller [Tue, 5 Mar 2013 20:31:51 +0000 (21:31 +0100)]
model-checker : remove local variable only if frame name is known
Marion Guthmuller [Tue, 5 Mar 2013 20:28:57 +0000 (21:28 +0100)]
model-checker : remove static function
Marion Guthmuller [Tue, 5 Mar 2013 20:25:11 +0000 (21:25 +0100)]
model-checker : cosmetics
Marion Guthmuller [Tue, 5 Mar 2013 20:24:45 +0000 (21:24 +0100)]
model-checker : get hash of local and global variables which are not pointers
Marion Guthmuller [Tue, 5 Mar 2013 17:05:54 +0000 (18:05 +0100)]
model-checker : ignore running context of processes for system state comparison
Marion Guthmuller [Mon, 11 Feb 2013 08:20:35 +0000 (09:20 +0100)]
model-checker : use short instead of int for ignore information in mmalloc meta-data
Marion Guthmuller [Mon, 11 Feb 2013 08:19:22 +0000 (09:19 +0100)]
model-checker : init ignore information for each block/fragment only in mmalloc
Marion Guthmuller [Mon, 11 Feb 2013 08:14:31 +0000 (09:14 +0100)]
model-checker : remove commentated declaration of function (doesn't exist anymore)
Marion Guthmuller [Mon, 11 Feb 2013 08:12:00 +0000 (09:12 +0100)]
model-checker : remove variable from mc_local_variables if ignored
Marion Guthmuller [Mon, 11 Feb 2013 08:08:42 +0000 (09:08 +0100)]
model-checker : fix memory leak
Marion Guthmuller [Mon, 11 Feb 2013 08:08:26 +0000 (09:08 +0100)]
model-checker : cosmetics
Marion Guthmuller [Mon, 11 Feb 2013 08:06:06 +0000 (09:06 +0100)]
model-checker : cleanups in mc_snapshot structure
Marion Guthmuller [Mon, 11 Feb 2013 08:01:36 +0000 (09:01 +0100)]
model-checker : new simcall MC_RANDOM
Marion Guthmuller [Sun, 10 Feb 2013 12:48:46 +0000 (13:48 +0100)]
model-checker : fix memory leak
Marion Guthmuller [Fri, 8 Feb 2013 13:37:03 +0000 (14:37 +0100)]
model-checker : get instruction pointer and frame name with libunwind for the comparison of stacks
Arnaud Giersch [Fri, 22 Feb 2013 15:29:01 +0000 (16:29 +0100)]
Avoid to run the smpirun script through valgrind on memcheck.
Arnaud Giersch [Fri, 22 Feb 2013 15:28:11 +0000 (16:28 +0100)]
Add new option to smpirun, for running valgrind/gdb/whatever...
Arnaud Giersch [Fri, 8 Mar 2013 16:35:14 +0000 (17:35 +0100)]
Improve the printing of default values when size != 1.
Arnaud Giersch [Fri, 8 Mar 2013 16:13:57 +0000 (17:13 +0100)]
Cosmetics: add space before opening parenthesis.
Arnaud Giersch [Wed, 6 Mar 2013 12:18:39 +0000 (13:18 +0100)]
Check return code, and report errors.
Avoids to call MPI_Get_count with an invalid status.
Arnaud Giersch [Wed, 6 Mar 2013 10:59:29 +0000 (11:59 +0100)]
Use simple arrays, instead of dynars.
Also fix the use of uninitialized values in PMPI_Waitall.
Arnaud Giersch [Wed, 6 Mar 2013 10:02:20 +0000 (11:02 +0100)]
Really copy only when recvbuf != sendbuf.
And avoid to call memcpy with overlapping regions.
Lucas Schnorr [Fri, 1 Mar 2013 19:49:25 +0000 (16:49 -0300)]
[doc] general update on tracing doc
Arnaud Giersch [Thu, 21 Feb 2013 17:28:27 +0000 (18:28 +0100)]
Define missing function.
Arnaud Giersch [Thu, 21 Feb 2013 17:01:45 +0000 (18:01 +0100)]
Remove useless statements.
Arnaud Giersch [Thu, 21 Feb 2013 17:01:23 +0000 (18:01 +0100)]
Try to fix const madness.
See http://c-faq.com/ansi/constmismatch.html for a related FAQ.
Arnaud Giersch [Thu, 21 Feb 2013 13:41:40 +0000 (14:41 +0100)]
Fix memory leaks in smpi.
Arnaud Giersch [Thu, 21 Feb 2013 13:41:07 +0000 (14:41 +0100)]
Extend smpi_register_static to accept any free function.
Arnaud Giersch [Wed, 20 Feb 2013 22:09:03 +0000 (23:09 +0100)]
Fix a few more memory leaks.
Arnaud Giersch [Wed, 20 Feb 2013 20:26:05 +0000 (21:26 +0100)]
Avoid to export internal variables.
Arnaud Giersch [Wed, 20 Feb 2013 17:41:04 +0000 (18:41 +0100)]
Free timer after it's been used.
Arnaud Giersch [Wed, 20 Feb 2013 17:27:18 +0000 (18:27 +0100)]
Use splitted xml files, and avoid memory leaks in the parser.
Arnaud Giersch [Wed, 20 Feb 2013 16:49:48 +0000 (17:49 +0100)]
Split the xml file, and destroy task, to fix memory leaks.
Arnaud Giersch [Wed, 20 Feb 2013 12:51:46 +0000 (13:51 +0100)]
Fix a few memory leaks.
Augustin Degomme [Tue, 19 Feb 2013 16:35:22 +0000 (17:35 +0100)]
remove forgotten debug println
Augustin Degomme [Tue, 19 Feb 2013 16:24:33 +0000 (17:24 +0100)]
Java didn't report the same OS name as Cmake for Windows platform, force it to be "Windows"
Augustin Degomme [Tue, 19 Feb 2013 15:55:03 +0000 (16:55 +0100)]
change an include, to avoid linking from simgrid to smpi
Augustin Degomme [Tue, 19 Feb 2013 15:54:26 +0000 (16:54 +0100)]
change name of the real executed main function to a windows specific one
Augustin Degomme [Tue, 19 Feb 2013 15:51:59 +0000 (16:51 +0100)]
add smpi to windows installer
Augustin Degomme [Tue, 19 Feb 2013 15:51:29 +0000 (16:51 +0100)]
force lib names to stop changing when activating smpi on windows
Augustin Degomme [Tue, 19 Feb 2013 15:13:26 +0000 (16:13 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Arnaud Giersch [Tue, 19 Feb 2013 10:17:27 +0000 (11:17 +0100)]
Use correct log category.
Arnaud Giersch [Mon, 18 Feb 2013 21:38:16 +0000 (22:38 +0100)]
File was removed.
Arnaud Giersch [Mon, 18 Feb 2013 21:24:34 +0000 (22:24 +0100)]
Kill old commented line.
Arnaud Giersch [Mon, 18 Feb 2013 20:39:29 +0000 (21:39 +0100)]
Check status also with MC.
Arnaud Giersch [Mon, 18 Feb 2013 20:34:33 +0000 (21:34 +0100)]
Move test outside the loop.
Arnaud Giersch [Mon, 18 Feb 2013 20:31:42 +0000 (21:31 +0100)]
Set status in any case.
Arnaud Giersch [Mon, 18 Feb 2013 16:28:36 +0000 (17:28 +0100)]
Remove declarations for nonexistent functions or variables.
Arnaud Giersch [Mon, 18 Feb 2013 15:03:07 +0000 (16:03 +0100)]
Remove duplicated declaration for xbt_time().
Arnaud Giersch [Mon, 18 Feb 2013 11:25:07 +0000 (12:25 +0100)]
Change regexp to correctly handle types like "short int".
Arnaud Giersch [Mon, 18 Feb 2013 11:16:01 +0000 (12:16 +0100)]
Remove duplicated strings.
Arnaud Giersch [Mon, 18 Feb 2013 11:12:47 +0000 (12:12 +0100)]
Cosmetics: add space.
Arnaud Giersch [Mon, 18 Feb 2013 10:16:53 +0000 (11:16 +0100)]
Also set MPI_ERROR in smpi_empty_status.
Arnaud Giersch [Fri, 15 Feb 2013 16:17:44 +0000 (17:17 +0100)]
Remove unused script.
Augustin Degomme [Fri, 15 Feb 2013 09:39:44 +0000 (10:39 +0100)]
be case insensitive when trying to change main name in F90 files
Augustin Degomme [Fri, 15 Feb 2013 09:31:14 +0000 (10:31 +0100)]
add mpi_testall binding for fortran
Arnaud Giersch [Fri, 15 Feb 2013 08:55:37 +0000 (09:55 +0100)]
Cosmetics: add space before dot.
Arnaud Giersch [Thu, 14 Feb 2013 22:49:39 +0000 (23:49 +0100)]
Using memcpy looks a bit overkill here.
Arnaud Giersch [Thu, 14 Feb 2013 22:45:29 +0000 (23:45 +0100)]
Remove spurious brace from error message.
Arnaud Giersch [Thu, 14 Feb 2013 16:28:13 +0000 (17:28 +0100)]
Remove remaining traces from synchronized dynars.
Had to add some #include "xbt/synchro_core.h".
Arnaud Giersch [Thu, 14 Feb 2013 16:05:41 +0000 (17:05 +0100)]
Increase tesh timeouts for slow machines.
Arnaud Giersch [Thu, 14 Feb 2013 16:05:08 +0000 (17:05 +0100)]
Make test reproducible on slow machines.
Arnaud Giersch [Thu, 14 Feb 2013 15:07:26 +0000 (16:07 +0100)]
Csmetics: algin braces.
Arnaud Giersch [Thu, 14 Feb 2013 14:45:24 +0000 (15:45 +0100)]
Remove declarations for undefined functions.
Arnaud Giersch [Thu, 14 Feb 2013 14:28:03 +0000 (15:28 +0100)]
Use xbt_XXX_is_empty() instead of testing xbt_XXX_length() against 0.
XXX is 'dict' or 'dynar'.
Arnaud Giersch [Thu, 14 Feb 2013 14:26:02 +0000 (15:26 +0100)]
Simply say func(...) instead of (*func)(...) when func is a pointer to function.
Arnaud Giersch [Thu, 14 Feb 2013 14:25:47 +0000 (15:25 +0100)]
Use CATCH_ANONYMOUS whenever possible.
Arnaud Giersch [Thu, 14 Feb 2013 14:25:43 +0000 (15:25 +0100)]
Replace, when possible, calls to bprintf() by calls to xbt_strdup().
Arnaud Giersch [Thu, 14 Feb 2013 14:14:50 +0000 (15:14 +0100)]
Also comment declaration for now unused variable.
Arnaud Giersch [Thu, 14 Feb 2013 14:14:09 +0000 (15:14 +0100)]
Remove unused static functions.
Arnaud Giersch [Thu, 14 Feb 2013 14:10:34 +0000 (15:10 +0100)]
Remove declarations for undefined functions.
Arnaud Giersch [Thu, 14 Feb 2013 14:19:28 +0000 (15:19 +0100)]
Declaration for static functions in header file does not make much sense.
Lucas Schnorr [Thu, 14 Feb 2013 13:41:11 +0000 (14:41 +0100)]
[trace] fix tesh, changes only in event ordering, same number of links kept
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 13:26:18 +0000 (14:26 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 13:26:15 +0000 (14:26 +0100)]
Fix recv/irecv with bounded rate
Lucas Schnorr [Thu, 14 Feb 2013 13:20:42 +0000 (14:20 +0100)]
[trace] fix simdag tracing tesh (change in event ordering only)
Lucas Schnorr [Thu, 14 Feb 2013 13:13:56 +0000 (14:13 +0100)]
[trace] remove useless if, fix identation
Lucas Schnorr [Thu, 14 Feb 2013 13:12:32 +0000 (14:12 +0100)]
[trace] correct place to keep route allocation + free
Lucas Schnorr [Thu, 14 Feb 2013 12:59:41 +0000 (13:59 +0100)]
[trace] add debug messages to debug graph extraction in network models
- only in generic_get_graph for now
Lucas Schnorr [Thu, 14 Feb 2013 12:58:54 +0000 (13:58 +0100)]
[trace] cosmetics and typos
Lucas Schnorr [Thu, 14 Feb 2013 12:58:35 +0000 (13:58 +0100)]
[trace] useless declaration
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 12:59:13 +0000 (13:59 +0100)]
New version of recv/irecv with bounded rate
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 12:03:05 +0000 (13:03 +0100)]
Remove commented code from surf_routing_cluster
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 12:01:56 +0000 (13:01 +0100)]
Remove commented code from surf_routing_cluster
Arnaud Giersch [Wed, 13 Feb 2013 17:14:22 +0000 (18:14 +0100)]
Check if INCLUDE_DIRECTORIES were found.
Arnaud Giersch [Wed, 13 Feb 2013 16:53:43 +0000 (17:53 +0100)]
Add some debug messages.
Arnaud Giersch [Wed, 13 Feb 2013 16:37:25 +0000 (17:37 +0100)]
Add option -X to less, to avoid to clear the screen.
Arnaud Giersch [Wed, 13 Feb 2013 16:27:46 +0000 (17:27 +0100)]
Add missing files to the archive.
Arnaud Giersch [Wed, 13 Feb 2013 09:54:46 +0000 (10:54 +0100)]
Fix errors caught by java -Xcheck:jni.
Fixed warnings:
WARNING in native method: JNI call made with exception pending
Arnaud Giersch [Wed, 13 Feb 2013 09:49:32 +0000 (10:49 +0100)]
More long -> intptr_t changes.
Arnaud Giersch [Wed, 13 Feb 2013 09:19:10 +0000 (10:19 +0100)]
Add missing class initializer for VM.java.
Augustin Degomme [Wed, 13 Feb 2013 09:51:39 +0000 (10:51 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
suter [Wed, 13 Feb 2013 09:51:08 +0000 (10:51 +0100)]
word was missing, rephrase.
Martin Quinson [Wed, 13 Feb 2013 08:07:59 +0000 (09:07 +0100)]
add another word about the trap of dynar_search with pointed elements
Arnaud Giersch [Tue, 12 Feb 2013 23:52:41 +0000 (00:52 +0100)]
Typos: binded -> bound.
Martin Quinson [Wed, 13 Feb 2013 00:02:54 +0000 (01:02 +0100)]
document that it's safe to interrupt a foreach with a break or return statement
Martin Quinson [Wed, 13 Feb 2013 00:00:34 +0000 (01:00 +0100)]
document that the search function on dynar don't work well with pointed values