Arnaud Giersch [Thu, 5 Jul 2012 14:56:04 +0000 (16:56 +0200)]
Kill duplicated code in CMakeLists.txt.
Arnaud Giersch [Thu, 5 Jul 2012 09:47:00 +0000 (11:47 +0200)]
Copying the file once is sufficient.
Arnaud Giersch [Wed, 4 Jul 2012 14:28:05 +0000 (16:28 +0200)]
Create needed directories at configure time instead of adding dummy files.
Revert "Stupid commit to get shared/doxygen directory existing in the repo."
This reverts commit
d0bcdf8532d5080f0a673f006ce6d4c943815513.
Arnaud Giersch [Thu, 5 Jul 2012 15:48:16 +0000 (17:48 +0200)]
memcheck_tests.cmake: update.
Arnaud Giersch [Thu, 5 Jul 2012 20:31:51 +0000 (22:31 +0200)]
Break loop here.
Commit
fcc0e93b60352e0d912f18c32706c1ca717c4896 (More cache cleaning in lmm_solve)
wrongly changed a "break" statement into a "continue".
Fixes infinite loop in tests smpi-reduce.
Arnaud Giersch [Thu, 5 Jul 2012 20:29:31 +0000 (22:29 +0200)]
Check if cnst->cnst_usage is NULL.
Fixes a segfault in test-maxmin-usage.
Martin Quinson [Thu, 5 Jul 2012 19:33:19 +0000 (21:33 +0200)]
be more verbose on explaining the expected result of the model-checker
Christophe Thiéry [Thu, 5 Jul 2012 15:14:55 +0000 (17:14 +0200)]
Make it clear that MC is supposed to detect a counter-example in chord.
Martin Quinson [Thu, 5 Jul 2012 15:01:25 +0000 (17:01 +0200)]
regenerate the parser files with flexml 1.9.3 (thx agier for the patch)
navarro [Thu, 5 Jul 2012 13:37:34 +0000 (15:37 +0200)]
free this dynar in none_finalize (if it was used).
navarro [Thu, 5 Jul 2012 13:21:17 +0000 (15:21 +0200)]
Use new tag host_link for peer. No need for router now.
Martin Quinson [Thu, 5 Jul 2012 13:14:11 +0000 (15:14 +0200)]
typo on option name
navarro [Thu, 5 Jul 2012 12:00:45 +0000 (14:00 +0200)]
Add two new tag for routing cluster (only):
host_link (specify link up and down to a host)
backbone (to make a backbone into an as routing cluster)
Marion Guthmuller [Wed, 4 Jul 2012 09:29:20 +0000 (11:29 +0200)]
model-checker : use rename() instead of system(mv ..)
Samuel Lepetit [Wed, 4 Jul 2012 16:58:43 +0000 (18:58 +0200)]
Add kademlia C example
Samuel Lepetit [Wed, 4 Jul 2012 14:50:18 +0000 (16:50 +0200)]
Use xbt_dynar_foreach in cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:50:05 +0000 (16:50 +0200)]
Revalidate tesh file for cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:35:16 +0000 (16:35 +0200)]
Update cloud example to use MSG_vm_reboot. Update the tesh file
Samuel Lepetit [Wed, 4 Jul 2012 14:34:05 +0000 (16:34 +0200)]
Memory leak fix
Samuel Lepetit [Wed, 4 Jul 2012 14:31:46 +0000 (16:31 +0200)]
Add MSG_vm_reboot
Samuel Lepetit [Wed, 4 Jul 2012 13:47:19 +0000 (15:47 +0200)]
Return the new process in SIMIX_process_restart, simcall_process_restart and MSG_process_restart
schnorr [Wed, 4 Jul 2012 14:29:47 +0000 (16:29 +0200)]
fix tracing documentation
lbobelin [Wed, 4 Jul 2012 14:19:06 +0000 (16:19 +0200)]
Stupid commit to get shared/doxygen directory existing in the repo.
lbobelin [Wed, 4 Jul 2012 13:46:54 +0000 (15:46 +0200)]
Changed URLs to the correct one.
Arnaud Giersch [Wed, 4 Jul 2012 13:29:54 +0000 (15:29 +0200)]
Call xbt_init() to parse the command line, specially "--log=...".
Samuel Lepetit [Wed, 4 Jul 2012 13:25:59 +0000 (15:25 +0200)]
Fix SIMIX_process_kill(SIMIX_process_self()); issue: The killed processes mustn't be added
to the process to run by SIMIX_process_kill if he is the issuer of the function, else he
will be added twice to the process_to_run dynar.
Add simcall_process_restart, SIMIX_process_restart and MSG_process_restart, which restarts
a process.
Samuel Lepetit [Wed, 4 Jul 2012 12:47:13 +0000 (14:47 +0200)]
Remove XBT_INLINE from bittorrent example.
Arnaud Giersch [Wed, 4 Jul 2012 12:34:27 +0000 (14:34 +0200)]
Make example compile with enable_warnings=ON.
Main changes are:
* remove unused variables.
* use unsigned int for the index in xbt_dynar_foreach.
Arnaud Giersch [Wed, 4 Jul 2012 12:26:23 +0000 (14:26 +0200)]
Reindent.
Arnaud Giersch [Wed, 4 Jul 2012 12:13:57 +0000 (14:13 +0200)]
Don't override CMAKE_C_FLAGS!
Arnaud Giersch [Wed, 4 Jul 2012 11:05:46 +0000 (13:05 +0200)]
Make directory when building out of the source tree.
Arnaud Giersch [Wed, 4 Jul 2012 11:09:28 +0000 (13:09 +0200)]
Include simgrid_config.h before stdio.h to define _GNU_SOURCE if needed.
Arnaud Giersch [Wed, 4 Jul 2012 09:40:33 +0000 (11:40 +0200)]
Remove useless defines.
Arnaud Giersch [Wed, 4 Jul 2012 09:53:40 +0000 (11:53 +0200)]
Don't define variables in header files (part 2).
Arnaud Giersch [Wed, 4 Jul 2012 09:40:33 +0000 (11:40 +0200)]
Add -fno-common to compile flags.
For now, add it only when enable_compile_warnings=ON, in order to
catch multiple defined variables, like those defined in header
files.
navarro [Wed, 4 Jul 2012 11:07:58 +0000 (13:07 +0200)]
More cache cleaning in lmm_solve
schnorr [Wed, 4 Jul 2012 10:41:10 +0000 (12:41 +0200)]
copying an image needed by the tracing documentation
schnorr [Wed, 4 Jul 2012 10:23:49 +0000 (12:23 +0200)]
[trace] fix paje header in tesh files
schnorr [Wed, 4 Jul 2012 10:20:36 +0000 (12:20 +0200)]
[trace] correctly declaring simgrid tracing mark values as event values
schnorr [Wed, 4 Jul 2012 09:14:37 +0000 (11:14 +0200)]
[trace] don't specify color when declaring an event type
schnorr [Wed, 4 Jul 2012 09:00:17 +0000 (11:00 +0200)]
[trace] follow the paje file format specification
Arnaud Giersch [Wed, 4 Jul 2012 09:04:09 +0000 (11:04 +0200)]
Don't define variables in header file.
Arnaud Giersch [Tue, 3 Jul 2012 08:54:48 +0000 (10:54 +0200)]
Update.
Arnaud Giersch [Tue, 3 Jul 2012 21:46:58 +0000 (23:46 +0200)]
Fix indentation (again).
Arnaud Giersch [Tue, 3 Jul 2012 13:08:31 +0000 (15:08 +0200)]
Fix memory leak.
SIMIX_host_execution_destroy() was modified along to SIMIX_host_execution_cancel()
by commit
c4d5e0512df1e2b3e83d57fbb17e225e286ef4ca (avoid double free issues
when on host failure+process run).
These changes lead to memory leaks (action are not destroyed anymore).
Since SIMIX_host_execution_cancel was later modified, revert the changes
from commit
c4d5e05.
Arnaud Giersch [Tue, 3 Jul 2012 11:44:44 +0000 (13:44 +0200)]
[trace] free dicts on TRACE_end.
Arnaud Giersch [Tue, 3 Jul 2012 10:15:34 +0000 (12:15 +0200)]
Fix free function for dynar, and simplify the code at the end of the function.
Arnaud Giersch [Tue, 3 Jul 2012 10:12:58 +0000 (12:12 +0200)]
Avoid to free object twice.
Arnaud Giersch [Tue, 3 Jul 2012 10:11:18 +0000 (12:11 +0200)]
Free dot before exit.
Marion Guthmuller [Tue, 3 Jul 2012 21:02:04 +0000 (23:02 +0200)]
model-checker : use abort() instead of a hack for core dump
Marion Guthmuller [Tue, 3 Jul 2012 20:38:16 +0000 (22:38 +0200)]
model-checker : typo
Marion Guthmuller [Tue, 3 Jul 2012 13:42:08 +0000 (15:42 +0200)]
model-checker : create core dump without termination for each acceptance pair
Marion Guthmuller [Tue, 3 Jul 2012 13:39:26 +0000 (15:39 +0200)]
model-checker : pointer detection fixed
Marion Guthmuller [Mon, 2 Jul 2012 14:40:25 +0000 (16:40 +0200)]
model-checker : copyright header for safety properties model checking examples
Samuel Lepetit [Tue, 3 Jul 2012 16:25:38 +0000 (18:25 +0200)]
Add bittorrent example
Samuel Lepetit [Tue, 3 Jul 2012 16:12:25 +0000 (18:12 +0200)]
Little change in xbt_dynar_to_array doc
Samuel Lepetit [Tue, 3 Jul 2012 16:09:25 +0000 (18:09 +0200)]
Revalidate chord.tesh/chord_crosstraffic.tesh
Samuel Lepetit [Tue, 3 Jul 2012 16:01:42 +0000 (18:01 +0200)]
Add leave in chord
navarro [Tue, 3 Jul 2012 13:21:45 +0000 (15:21 +0200)]
Fix some warnings in doc
navarro [Tue, 3 Jul 2012 12:40:20 +0000 (14:40 +0200)]
Remove this files to git
navarro [Tue, 3 Jul 2012 11:21:19 +0000 (13:21 +0200)]
lmm_solve cache cleaning
lbobelin [Tue, 3 Jul 2012 09:23:16 +0000 (11:23 +0200)]
Minor corrections.
Arnaud Giersch [Mon, 2 Jul 2012 19:32:18 +0000 (21:32 +0200)]
Add missing test properties for new lua tests.
Arnaud Giersch [Mon, 2 Jul 2012 19:21:46 +0000 (21:21 +0200)]
Fix indentation.
Arnaud Giersch [Fri, 29 Jun 2012 12:33:20 +0000 (14:33 +0200)]
Define macros to make compatibility layer of libagraph vs. libcgraph more legible.
Samuel Lepetit [Mon, 2 Jul 2012 16:21:17 +0000 (18:21 +0200)]
Add lua-bittorrent tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:17:56 +0000 (18:17 +0200)]
Add lua-kademlia tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:13:42 +0000 (18:13 +0200)]
Add kademlia lua example
Arnaud Giersch [Mon, 2 Jul 2012 14:39:55 +0000 (16:39 +0200)]
Tiny corrections in doc.
Marion Guthmuller [Mon, 2 Jul 2012 14:30:53 +0000 (16:30 +0200)]
model-checker: sed 's/m_task_t/msg_task_t/g' on MC examples
Marion Guthmuller [Mon, 2 Jul 2012 13:35:53 +0000 (15:35 +0200)]
model-checker : extend pointer detection in heap comparison algorithm
Marion Guthmuller [Sat, 30 Jun 2012 19:37:44 +0000 (21:37 +0200)]
model-checker : remove unnecessary test
lbobelin [Mon, 2 Jul 2012 12:03:41 +0000 (14:03 +0200)]
Just cleaned some stuff to only show undocumented functions refered
Arnaud Giersch [Mon, 2 Jul 2012 09:45:51 +0000 (11:45 +0200)]
Add missing compatibility typedefs.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:35 +0000 (11:45 +0200)]
Move compatibility typedefs in section MSG_USE_DEPRECATED.
suter [Thu, 28 Jun 2012 13:23:55 +0000 (15:23 +0200)]
Add a new test to see how failures are handled by SimDag.
Seem to raise a bug because unscheduling and rescheduling a FAILED
tasks makes it run in no time.
lbobelin [Fri, 29 Jun 2012 20:00:53 +0000 (22:00 +0200)]
Added some stuff about deployment to please Fred. Corrected some stuff.
lbobelin [Fri, 29 Jun 2012 19:11:31 +0000 (21:11 +0200)]
Just added links to tutorials.
lbobelin [Fri, 29 Jun 2012 16:28:10 +0000 (18:28 +0200)]
Mainly cosmetics. I stop for now working on doc.
lbobelin [Fri, 29 Jun 2012 16:07:33 +0000 (18:07 +0200)]
Ok, I forgot most of the examples in one of my previous commit. Repaired.
lbobelin [Fri, 29 Jun 2012 14:57:22 +0000 (16:57 +0200)]
Cosmetics
lbobelin [Fri, 29 Jun 2012 14:36:27 +0000 (16:36 +0200)]
Cleaned doc, re-included examples, should be better now.
Samuel Lepetit [Fri, 29 Jun 2012 13:44:03 +0000 (15:44 +0200)]
Fix typo in msg reference guide
Marion Guthmuller [Fri, 29 Jun 2012 13:17:47 +0000 (15:17 +0200)]
model-checker : tests for snapshot comparison
Marion Guthmuller [Fri, 29 Jun 2012 08:19:04 +0000 (10:19 +0200)]
model-checker : test unit removed
Marion Guthmuller [Fri, 29 Jun 2012 08:17:29 +0000 (10:17 +0200)]
model-checker : move functions about snapshot comparison from mc_liveness to mc_checkpoint and declare them static
Marion Guthmuller [Thu, 28 Jun 2012 13:52:42 +0000 (15:52 +0200)]
model-checker : get fragment number like in realloc function
Arnaud Giersch [Wed, 27 Jun 2012 09:16:50 +0000 (11:16 +0200)]
Reindent.
Samuel Lepetit [Fri, 29 Jun 2012 12:23:46 +0000 (14:23 +0200)]
Update changelog
Samuel Lepetit [Fri, 29 Jun 2012 12:17:49 +0000 (14:17 +0200)]
Move a simcall doc from MSG to SIMIX
Samuel Lepetit [Fri, 29 Jun 2012 12:13:29 +0000 (14:13 +0200)]
Add some doc for SIMIX reference guide
Samuel Lepetit [Fri, 29 Jun 2012 11:42:45 +0000 (13:42 +0200)]
Fix issues in documentation
Samuel Lepetit [Fri, 29 Jun 2012 10:01:07 +0000 (12:01 +0200)]
Use msg_error_t instead of MSG_error_t
Samuel Lepetit [Fri, 29 Jun 2012 09:45:17 +0000 (11:45 +0200)]
Use msg_gpu_task_t instead of m_gpu_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:39:13 +0000 (11:39 +0200)]
Use msg_task_t instead of m_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:26:47 +0000 (11:26 +0200)]
Use msg_host_t instead of m_host_t.
Samuel Lepetit [Fri, 29 Jun 2012 09:14:43 +0000 (11:14 +0200)]
Use msg_process_t instead of m_process_t
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Update tesh files with process autorestart.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Add "output sort" in tesh files.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Clean CMakeLists.txt in examples/smpi.
Remove "flags" which is already set in smpicc, and use include_directories for its purpose.