Fix gcc builds

Try to survive to undefined preprocessor symbols

Try to activate -Wundef on all builds

Model-checking is robust now that it's stateless MC only -- remove precautionous compiler flags

Restaure INCLUDE(CheckCCompilerFlag) in cmake

It was actually used, my bad.

unify struct and class declarations

Remove some restrictions on enable_model-checking now that it's only for the stateless MC

Remove the stateful model-checking from the archive. It's not working anymore

It's a real pity to remove all this great code, as it was doing very
audacious things, but I need to do so to move forward. This code is
very fragile and badly tested, making it very difficult to build upon.

The next time this is implemented (if any), I guess that a
compiler-approach (e.g. a clang plugin providing a full introspection
over the compiled program) would be more robust than a fully runtime
approach tricking with the debug information to get the info. That's
too difficult and fragile.

Again, I'm deeply sorry I had to remove this code, as it requires me
to admit that I failed to maintain this great code over the years.
But facts are stubborn.

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

Add a cmake option to disable McMini tests, and rename some existing ones

Old configurations should be updated seamlessly.

Document all commits of this release cycle so far

Ignore McMini tests from sonar analysis

add some new MPI4 unsupported partitioned communication functions. May not be hard to implement at some point

Merge branch 'master' into simgrid-fork-changelog-plugins

Fix an ODR reported by ASan

Merge branch 'memleak-battery' into 'master'

Fix memleak in battery examples and task-storm

See merge request simgrid/simgrid!178

fix memleak in battery examples and task-storm

tesh: helpful message on syntax error

Add more tests from McMini

missing static keyword

improve chiller example. remove on_power_change signal. add get_time_to_goal_temp

better comments on examples

add comment about chiller/battery plugins. Fix chiller doc not showing

Remove ignored lines from tesh files, uberbumer

Fix MC builds

No idea why it wasn't catched by regular builds, but didn't dig either.

Fix various build errors

- clang complains about unused private fields
- stateful MC declares link option to the wrong binary name
- sthread displays a full path that needs to be hidden in tesh

Missing files

Do not use MC_process_clock_add() for now, as it makes the exploration infinitely looping

Add an example from the McMini project to test sthread -- currently broken

I need the feedback of Mathieu on this one, sorry for the inconvenience

MC: more debug messages

Actions executed by the same actor are always dependent

MC: add an observer to sleep simcalls

MC: display the 100 first transitions when we reach the depth-limit

Revert "attempt at turning docker build into performance regression test"

This reverts commit 94882480efd667ebe7ee197a9c1f16ff4df5824b

attempt at turning docker build into performance regression test

Do not remove smpi run dependencies from docker images

Document Message Queues (and the change of data structure in Mailboxes

more ignorance

no need to cast with ActivitySet

no need to cast with ActivitySet

add MessageQueue to all ActivitySet examples

Fix make distcheck for Fred :)

Merge branch 'mq' into 'master'

Message queues

See merge request simgrid/simgrid!176

Merge branch 'example-battery-chiller-solar' into 'master'

add battery-chiller-solar example.

See merge request simgrid/simgrid!174

second part of bigdft fix

bigdft - work around issue with ntpoly 3.0.0

starpu: oops, uncomment lines [ci-skip]

starpu: fix url for 1.3 [ci-skip]

starpu: change URL of tarballs... Nothing new was tested since 1year and a half ?

Ninja verbose build is not like the Makefile ones

jenkins: use ninja when available as it's a few percent faster

Change the way we're inserting elements in this map

This is an attempt to work around this segfaut on FreeBSD:

==72834== Invalid read of size 1
==72834==    at 0x4A09B22: __is_long (include/c++/v1/string:1445)
==72834==    by 0x4A09B22: __get_pointer (include/c++/v1/string:1544)
==72834==    by 0x4A09B22: data (include/c++/v1/string:1251)
==72834==    by 0x4A09B22: operator basic_string_view (include/c++/v1/string:879)
==72834==    by 0x4A09B22: compare (include/c++/v1/string:3845)
==72834==    by 0x4A09B22: operator<<char, std::__1::char_traits<char>, std::__1::allocator<char> > (include/c++/v1/string:4072)
==72834==    by 0x4A09B22: operator()<const std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > &, const std::__1::basic_string<char, std::__1::char_traits< char>, std::__1::allocator<char> > &> (include/c++/v1/__functional/operations.h:499)
==72834==    by 0x4A09B22: operator() (include/c++/v1/map:577)
==72834==    by 0x4A09B22: std::__1::__tree_node_base<void*>*& std::__1::__tree<std::__1::__value_type<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >,  boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl> >, std::__1::__map_value_compare<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, std::__1::__ value_type<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl> >, std::__1::less<void>, true>, st d::__1::allocator<std::__1::__value_type<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl> > >  >::__find_equal<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >(std::__1::__tree_end_node<std::__1::__tree_node_base<void*>*>*&, std::__1::basic_strin g<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) (include/c++/v1/__tree:1977)
==72834==    by 0x4A091E0: __emplace_unique_key_args<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, const std::__1::piecewise_construct_t &, std::__1: :tuple<const std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > &>, std::__1::tuple<> > (include/c++/v1/__tree:2093)
==72834==    by 0x4A091E0: std::__1::map<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl>, std ::__1::less<void>, std::__1::allocator<std::__1::pair<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const, boost::intrusive_ptr<simgrid::kernel::resou rce::DiskImpl> > > >::operator[](std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) (include/c++/v1/map:1588)
==72834==    by 0x498CD41: UnknownInlinedFun (HostImpl.cpp:240)
==72834==    by 0x498CD41: operator() (s4u_Host.cpp:356)
==72834==    by 0x498CD41: simcall_answered<(lambda at /builds/workspace/SimGrid/build_mode/Debug/node/freebsd/build/simgrid-3.34.1/src/s4u/s4u_Host.cpp:354:42)> (simix.hpp:49)
==72834==    by 0x498CD41: simgrid::s4u::Host::create_disk(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&, double, double) (s4u_Host.cpp:354)
==72834==    by 0x4AE9A23: simgrid::plugin::Jbod::create_jbod(simgrid::s4u::NetZone*, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&, double, un signed int, simgrid::plugin::Jbod::RAID, double, double) (jbod.cpp:30)
==72834==    by 0x401C2A: main (examples/cpp/plugin-jbod/s4u-plugin-jbod.cpp:43)
==72834==  Address 0xffffffff00000023 is not stack'd, malloc'd or (recently) free'd

tesh: disable the auto-valgrind option in the test running tesh from tesh

tesh: rerun the command in valgrind if it segfaults

This is particuly useful when experiencing segfaults in our test suite
on some exotic OS that has valgrind (say hello to FreeBSD here)

tesh: report when the command got signaled in addition to output mismatch

Fix build with ns3 v3.36+

project_description: fix the RE catching the ns-3 version number

Hack to make liveness work on Debian testing

A proper solution would be to make the liveness more robust, and in
particular the state equality mechanism. To that extend, we should
 - change the code so that it computes a distance between states
   instead of returning a simple boolean "it's different". That way,
   we could know which states desserve a deeper debugging to
   understand why equality detection is broken, simply by picking the
   closest pair of states, that ought to be equal.

 - Write a bunch of unit tests where we do 2 controled states and
   compare their detected difference.

Maybe, we should trash all this code that is aging (no Dwarf5 support)
and is very complex anyway. A simpler way to get the same effects
could be to go through the compiler, and have clang generate a binary
that is fully introspectable. It sounds like a long and burdensome way
to go, however.

Hopefuly someone will do a library doing it in the future, so that we
just need to use their work.

bug fix in programmatic declaration of routes with regular link vector

Merge branch 'master' into mq

Fix non-Linux builds

Missing files, and fix make distcheck

Merge branch 'master' into mq

revalidate

extend example to add message queues

reindent

rework MessImpl

no size for message queue, and no 0-timeout either!

got issues with get_id() while debugging. Add protection

this line cost me a day. pimpl_ is inherited from ActivityImpl

handle Mess in Activity::wait_for

handle Mess in display actor status

Document recent changes

Finish up the implementation of recursive mutexes

sthread: implement recursive mutexes (test broken so far)

The interception is here, but the S4U mutexes cannot be recursive yet.

Reduce a bit the amount of cores used during tests, as my laptop is aging and MC is hammering hard

sthread: pthread_mutex_trylock shall return 0 on success

sthread: do not intercept valgrind nor /bin/sh, and be verbose about what we intercept

Forward declaration of another class

Missing copyright headers

sthread/ObjectAccess: bug fix + report when more than one location 'owns' an object

Instructive error message

Document our mutexes

sthread object tracker: allow recursive object accesses

Merge branch 'master' into mq

add Message queue abstraction

Document a variable

The Dart module is getting removed from cmake. Don't use it

Allow to disable EIGEN3 even if it's found on disk

Typo + cosmetics in portability helpers

Who's using a system without gettimeofday anyway?

Do install sthread on user's disk

sthread_access: also take the function name in the access wrappers

MBI: typo + fix one Sendrecv test

Correctly check the params of Sendrecv for buffer being disjoint

Fix a bug found by MBI: Buffers of MPI_Sendrecv() must be disjoint

MBI: Fix P2PBuffering tests

MBI: Adapt to the new InputHazard bugs, and fix them

Fix the dependency of barrier from the same actor [Mathieu Laurent]

SMPI - delay allocation of mailboxes to save some memory in case they are not needed (when launched actors not really smpi actors)

 enable use of IO streams with Ptask model