Another attempt at fixing the Flag2 job of jenkins

Jenkins::Flag2: use ninja if avail; verbose builds

Give a way to add binaries to the list that shouldn't be messed with by sthread

stop being a stupidly rushing boar (hopefuly)

Properly pass the LD_PRELOAD as a setenv command in tesh file + show the ignored output in comments

tesh: allow variable substitutions in setenv cmds, and more robust to invalid numerical values

Rework the doc of model-check/replay, and add an example with sthread

cut the backtrace displayed from sthread to the sthread_create to hide useless cruft

Various doc improvements

Fix Host::execute to use *this as a host location, not the this_actor->get_host()

typo

Merge branch 'battery-get-name' into 'master'

add get_name for batteries. update dag_from_json to support wfformat 1.4

See merge request simgrid/simgrid!179

add get_name for batteries. update dag_from_json to support wfformat 1.4

Draft a release

Fix an ODR reported by ASan

Have create_jbod() return a JbodPtr instead of Jbod* to avoid memleaks

Give a way to C users to not leak activities in activityset

Try to fix a compiler error seen on Flag2 job of jenkins

MC: move the reversible_race logic to the Transition class

simplify the way Jbods are defined

another try at cleanly unlocking the mutexes before destroying them in SMPI::RMA

Try to fix a failure about mutex freed too early in RMA

Fix clang builds

New method: MutexImpl::is_granted()

More forward declarations

Sanity check that mutex are empty when destroyed

Check in the right location that a mutex is provided to cond_wait

Rename the CondVar observer as it should

Move the conditionVariable observer to the right file

Sanity checks about the lock protecting a pthread_cond

New function s4u::Mutex::get_owner()

Template implem of cond_timedwait in sthread

Another easy test from McMini

hopefully bigdft CI (work around an issue we identified, pending a fix)

Implement pthread_cond in sthread -- too bad it's TODO in MC

I now have to implement the condition variables in the MC world
(adding the transitions and the dependence theorems), but I first have
to implement the asynchronous version of CV::wait(), as the model
checker can only deal with persistent transitions. That's not a small
assignment, and it will have to wait for tomorrow.

Until then, the pthread_cond support in sthread is somewhat useless.

Document all changes so far

Implement pthread_barrier calls in sthread, and test them in McMini

Refactorize the sthread interception of functions

Add more Mc Mini tests

Revalidate the tesh files that got invalidated by a borken printf

Semaphore ID and capacity was inverted

Small typos in comments

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

Fix tesh autotests after recent change to display the command ASAP

Update .mailmap.

[ci-skip]

Add debug info for reversible race construction

Fix tesh with new dependencies on Mutex

Raffine reversible race calculation for MutexWait

Add a missing independence theorem about Mutex

Cleanup work to make is_race_reversible() a method of Transition

That's someone less efficient as we need to retrieve the other's
transition in all cases where most Transition kind can compute the
answer without the other transition, but that should be more readable.

Fix some tesh after changing dependence relation about Semaphore

Suppressed a bit too much of codes

Clang format over some mc files

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

Discard the wakeup tree when ODPOR reaches a disabled transition

tesh: display the run command ASAP, not after its timeout

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