mc: better way to check if address is on heap.

Dead code.

introducing the new <disk> tag

add Host::send_to and sg_send_to
* mimics a sort of RMA between two hosts (with a parallel task within)
* refactor file system plugin
* fix https://framagit.org/simgrid/simgrid/issues/36

prefer to fail stop instead of logging

docker/build-deps: install the website dependencies

fx

mc/compare: cleanup++

mc/compare: const/ref

mc: const seems wrong here.

mc/compare: factorize code.

mc/compare: cosmetics.

mc/compare: change heap comparision functions to return booleans.

Make them return a boolean: false when the areas are different, and true
otherwise (either they are the same, or the result is unknown).

mc/compare: define is_on_heap(const void*).

mc/compare: const casts.

[sonar] Handle default case in switch statements.

Move extended hash to xbt/utility.

add a sg_actor_self_execute function

can replace MSG_task_create/MSG_task_execute/MSG_task_destroy for
simple computations.

doc: Fix the fix done before the breakfast (about javasphinx)

mc/compare: another round of tiny cleanups

fix make distcheck

mc/compare: dead stores.

docs: embeeding javasphinx is a bad idea: it has too many dependencies

The rational to embeed it was that it's not included in Debian and it
won't be included any time soon since its author orphaned it, while
I'd like to distribute the doc as Debian packages.

But it won't work: javalang is one of the dependencies of javasphinx
that is not packaged either (even if it seems actively maintained
upstream), and it seems to not be the last dependency of javasphinx.

So let's stop this ugly hack. Too bad for the Debian doc. I could try
to have a multi-source package on Debian with the precompiled doc as
one of them, but since it's not the prefered format for modification,
I guess it won't get accepted. Not 100% sure.

doc: try to fix the readthedoc build

ci: fix pages target by installing a missing python module

mc/compare: fix another copy/paste error

mc: reduce the visibility of <dwarf.h> by a tiny bit

mc/compare: some more tiny cleanups

list last modifications

MC/compare: compare_heap_area_without_type becomes heap_area_equal_without_type.

Cosmetics.

Reindent.

Kill Poor man's TCO.

(Tail Call Optimization).

MC/compare: mmalloc_compare_heap becomes mmalloc_heap_equal.

MC/compare: cleanup++

MC/compare: first round of cleanups.

deprecate xbt_mutex and xbt_cond

Remove option model-checker/hash; This is always activated now.

mc/compare: kill dead code

README: TL;DR to install it

docker: apt allow-releaseinfo-change + cosmetics

various ignorable cosmetics

simplify smpirun script (and kill some perl)

please users

fix+activate rma test

Try to avoid rare bug on one ci node.
A guess is that the win_lock call by a process may be finishing the comms posted by the raccumulate call from the other process.
And this would mean having max(0,undefined) as a result if memory is not initialized before win_lock_all.
I didn't find anything saying lock_all should be blocking/collective, so I'm not modifying it for so little.
Other guess: something's rotten with locks, as I think we don't check properly for them before posting rma calls.

emptty said it is better like this. Obey!

Merge branch 'master' of https://framagit.org/simgrid/simgrid

untested C interface to Condition Variables

Activate crashing random bug on linux only.

Improve crash detection; still not working correctly.

fix https://framagit.org/simgrid/simgrid/issues/30

oups

fix https://framagit.org/simgrid/simgrid/issues/29

Misc sonar threats.

Disable leak check on abort.

Fix duplicated entries.

Dead entries in gitignore.

fix https://framagit.org/simgrid/simgrid/issues/28
* move 2 other MSGfunctions to legacy
* do not call MSG from XBT anymore

Message has been removed.

fix NS3 build + avoid vector copies

doc: improve install page

load the header needed by this file

Hide system-dependent message.

Kill obsolete Fortran bindings for smpi/dvfs.

Fix distcheck, and cosmetics.

Sort cmake list "source_to_pack".

- Update xml DTD to handle WIFI sharing policy
- Regenerate xml parser source files

Wifi model interface:
 - Modify CM02 to handle WIFI links
 - Modify xml parser to handle WIFI sharing policy
 - Modify xml parser to create links with sevral bandwidths for WIFI

improve verification of crashing programs

Hide hidden symbols from doxygen

Revert "Reduce dependency on ptrace."

This reverts commit 6ae5ae138e9dd397b95d9e7741a5b28f194705d0.

Reduce dependency on ptrace.

Specify visibility (hide warning).

start the cycle of 3.23.3

debian just got released

Don't use null objects

Fixes https://github.com/simgrid/simgrid/issues/328

fix the build on appveyor since travis has no artifacts

Fix cmake error...

Quick hack to check MANIFEST.in

fix pip package generation

try to dot-release

doc: fix a broken link and cosmetics

don't install system javasphinx on our docker build-deps

I want to test whether our embeeded version works

cosmetics for sorting

switch to mojave on travis

update description to remove appveyor and add travis-windows

Refactoring of commit 1ebb8e111d904fea559e48ec193c1f7c5dee2245.

Fixed simgrid/simgrid#27.

Merge remote-tracking branch 'github/master'

(fixed comment in NativeLib.java)

Merge branch 'master' of framagit.org:simgrid/simgrid

Revert "Extend Link interface in order to handle links with multiple bandwidths."
Changes will be move to NetworkWikiLink.

This reverts commit 1ebb8e111d904fea559e48ec193c1f7c5dee2245.

Add windows to travis (#327)

travis: compile on windows (and drop appveyor)

Merge branch 'master' of framagit.org:simgrid/simgrid

Removed unused variable warning

Fix build on CI.

Enable test for simgrid/simgrid#27.

Just keep the same exception_ptr (no copy).

See https://stackoverflow.com/q/37249698 or https://stackoverflow.com/q/30580128

Let's see if it helps for issue simgrid/simgrid#27.

- Add wifi link
- Change "bandwith" to "bandwidth"

Extend Link interface in order to handle links with multiple bandwidths.
It will be used by wifi access points (each station connected to an access point
will communicate using one of the rate available on the access point).