Fix the tesh files now that the ODPOR algo was changed a bit

Spit a message when ODPOR is not optimal

Redondant line in insertion

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

Fix ODPOR: overapproximate ReversibleRace (to not miss branches) and survive overapprox

Optimal DPOR just became sub-optimal :)

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

Add debug log for ODPOR + required explaining comments

Fix SemWai::ReversibleRace()

Simply rewrap comments and reindent, no real change

Add an assert that the checker don't try to exec disabled transitions

It's too bad this assert actually fails sometimes with ODPOR :)

Improve the debug messages

Tell the MC transition about the semaphore capacity and use it

This info is mandatory to compute the reversible race of SemWait in ODPOR

Make sure that the ID of a semaphore does not change over time

cosmetics: this is an ID, not a ptr

Try to help gcovr with option --gcov-ignore-errors.

[ci-skip]

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

Add some debug info

Use standard __func__ instead of __FUNCTION__.

also remove xbt/automaton which was only useful to stateful MC

Change most mcmini tests to odpor reduction; the unchanged one fails to find the deadlock with odpor...

Actions executed by the same actor are always dependent, damnit

ODPOR: more verbose message on assertion failure

This option is used in MC, so it won't go anytime soon

Troubleshooting Homebrew binaries on macOS (Thanks Paul Adam)

Another attempt to fix the printf issue on mac: don't use uint64 :)

There is too much boost include to protect, disable -Wundef on FreeBSD alltogether

Avoid casting errors in printf on MacOSX

 was for stateful MC, remove this

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