typos in message of backtrace display (where malloced -> was malloced)

[trace] viva graph configuration (same as for triva, but without outer curly brackets)

[trace] launch an exception if user provided an unknown value for the type

The usual typo.

avoid double free issues when on host failure+process run

Bug fixes around the resource failures in Simix

don't let the processes survive the host they are running onto when
they were running something. The same kind of fix is probably due when
they are communicating or sleeping.

do not hide issues

Declare as "unsigned" bit fields used as boolean.

Signed bit fields of length 1 do not make much sense.

This is a followup for commit 1377c28e7b9f315616ee6fddc6baa755e0380e75.

Cosmetics: align comment.

Add missing includes.

A boolean should be unsigned if you want to compare it to 1.

Without the "unsigned" keyword, the boolean could be either 0 or -1.
This made the Lua tests crash because of a condition "copied == 1".
This bug was introduced by commit 13b40eda ("make it clear that this is a
boolean field").

model-checker : XBT_DEBUG replaced by XBT_INFO

model-checker : new properties in promela for centralized_liveness examples

model-checker : new examples

model-checker : free pointers

model-checker : free pointers

model-checker : initialize pointer and update indice of search in heapinfo

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

model-checker : free pointer

model-checker : initialize pointers (segfault with free)

model-checker : add pair's number in struct mc_pair_reached and prepare canonicalisation in comparison of regions

model-checker : free pointers

Undefine this terms, or supernovae build will fail.

memcheck_tests: regenerate.

model-checker : oops, about 3000 blocks unchecked in heap comparison algorithm ... stop condition changed

model-checker : first work for canonicalisation (get memory area pointed, check if in std_heap)

Use XBT_PARMAP_DEFAULT as default SIMIX parallel mode.

Use default value core, state host value if empty

Missing routing callback and creation of SIMIx and MSG hosts

Don't run tests if facility not available.

Functions RngStream must be XBT_PUBLIC for dll

Declare nonfatal java in the package

Cosmetics
2times include

Add missing files to install on WIn

Fix compilation on Windows with pthread.

Use the correct variable to check for working ucontexts: CONTEXT_UCONTEXT

HAVE_UCONTEXT_H only tells us whether ucontext.h exists or not.

Lua: fix an indentation bug in debug logs (the stack crashed)

Don't lie about VCS.

Also remove reference to variable ARGS in generate_memcheck_tests.pl.

Remove usage of environment variable ARGS in tesh files.

It is nowadays never used, and such a generic name can be source of
problems (it could be defined for other purposes).

Revert "Don't fail when backtrace() returns 0."

This reverts commit 944109bb21e5dc635a47813a2adff0e16305d9c9.

This commit is controversial, and was intended to fix build on systems
where backtrace exists, but returns 0.

The only known systems with such behavior are Debian on ARM (armel, armhf).
Another workaround is to compile with the -funwind-tables gcc option.

See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637360 for more information.

Sorry for this.

Don't change doxygen typo for \dontinclude

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Move RngStream to xbt (public)

model-checker : remove unused variable CS_PER_PROCESS

Remove custom_flags and use CFLAGS LDFLAGS

update FSF address (thanks to debian's paranoid robots ;)

Some typos in source code

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

Rewrite --setenv bindir
Cosmetics

make it clear that this is a boolean field

Improve an error message

There is good chances that the bug is in the user code (like calling
msg_comm_test twice or something similar), and there is nothing we can
do reliably from simgrid land if the user land builds such crap.

See also
https://gforge.inria.fr/tracker/index.php?func=detail&aid=14327&group_id=12&atid=165

recommit my initial version of cloud stuff for 3.8. Hopefully with all files

document Pierre's last change (thx for your work, pierre)

Must have init MSG/SD/GRAS before using mutex

Cosmetics

model-checker : replace all XBT_DEBUG by XBT_INFO

Remove wrong copy past

Don't abort if process does not exist.

Remove kill_time from MSG_process_create_with_environment

Add MSG_process_set_kill_time

there is no publication page in the in-tarball documentation anymore (kill dead code)

Update script for mac

Don't fail when backtrace() returns 0.

Update next version to 3.8 on master branch.

Having two branches with the same version is confusing.

Remove bindings CXX from Simgrid

Add documentation for xbt_dict_foreach

Those line are useless since this file is now deleted during the test.

Remove Montage_25.jed after test

here lucas: =<G>= (you deserve it). Closes #14324

ChangeLog update.

Take care of LDFLAGS

Take care of CFLAGS in cmake

Projet Iceberg to make OSX pkg.

Break long lines in base files.

Add this function to compile on mac.

Modified base files in order to not refer anymore to the FAQ as the main doc source.

dont include dot graphs on every page: they are redundent to our tab navigation stuff

correct doxygen error (forgot the parameter name in its description)

Corrected trace doc and sligth modification in Distrib.cmake

ChangeLog: add entry for version 3.8 on branch "master".

Also move changes that were not taken in branch "v3_7_x".

Remove unused variables.

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

model-checker : reindent, no change

model-checker : switch between data program and data libsimgrid for comparison of regions

model-checker : fclose forgotten in get_memory_map_addr

Removed some unused and out-of-date XML files, corrected some others in order to be really valid for an XML parser.

[trace] updating tesh's that check graph configuration correctness

[trace] more changes to adapt graph configuration to libconfig parsing rules

[trace] changing graph configuration generation to follow libconfig parsing rules

- and at the same time it is still compatible with the plist file format used today by Triva

Remove unused variable: task.

Update memcheck_tests.cmake.

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

list SimDag additions

Revert "Give vriable APPLE if on mac"

This reverts commit 119fc53fcce0f13ecbfe9d3d9e43ec4733066d6f.

update and simplify the test of sequential access mode and test
SD_workstation_dump
update tesh file accordingly

Cannot use a variable defined on command line here.

It won't work with user code (unless the user defines the same variable).

Use a variable known to be defined by gcc on macs.

slight change to the dump function

Update ChangeLog for 3.7.1.