2022-03-02 |
Martin Quinson | Chaos-monkey: use the new Engine::on_simulation_start... |
tree | commitdiff |
2022-03-02 |
Martin Quinson | New signal: Engine::on_simulation_start |
tree | commitdiff |
2022-03-02 |
Martin Quinson | Pass the boolean parameter to the on_exit python binding |
tree | commitdiff |
2022-03-02 |
Arnaud Giersch | Rename method for consistency. |
tree | commitdiff |
2022-03-02 |
Arnaud Giersch | Const methods. |
tree | commitdiff |
2022-03-02 |
Arnaud Giersch | Disable the copy constructor and the copy-assignment... |
tree | commitdiff |
2022-03-01 |
Martin Quinson | Merge branch 'dev' into 'master' |
tree | commitdiff |
2022-03-01 |
Fabien Chaix | Revert Python stuff but the py_context instantiation... |
tree | commitdiff |
2022-03-01 |
Fabien Chaix | Fix the python patches |
tree | commitdiff |
2022-03-01 |
Arnaud Giersch | Call __gcov_reset after __gcov_dump. |
tree | commitdiff |
2022-03-01 |
Arnaud Giersch | Complete warning message [ci-skip]. |
tree | commitdiff |
2022-03-01 |
Arnaud Giersch | [mc_dwarf] Another assert turns into warning. |
tree | commitdiff |
2022-03-01 |
Fabien Chaix | Move py_context to get Python exception match to work... |
tree | commitdiff |
2022-03-01 |
Fabien Chaix | Make python catch verbose |
tree | commitdiff |
2022-03-01 |
Arnaud Giersch | Kill unused function. |
tree | commitdiff |
2022-03-01 |
Arnaud Giersch | const++ |
tree | commitdiff |
2022-03-01 |
Augustin Degomme | __gcov_flush was removed in gcc11 (untested) [ci-skip] |
tree | commitdiff |
2022-03-01 |
SUTER Frederic | rework how host-to-host comms are managed |
tree | commitdiff |
2022-03-01 |
SUTER Frederic | get/set for CommImpl::type |
tree | commitdiff |
2022-03-01 |
SUTER Frederic | clean up before modifications |
tree | commitdiff |
2022-02-28 |
Fabien Chaix | Answer to Martin's feedback |
tree | commitdiff |
2022-02-28 |
Fabien Chaix | apply Simgrid coding rules |
tree | commitdiff |
2022-02-28 |
Fabien Chaix | Minimal change to support host on-off and permanent... |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Pass std::function by const reference (sonar). |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Minor sonar smells, and other cosmetics. |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Put message handling in its own method (avoid nested... |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | One less global variable: session_singleton. |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Kill dead code. |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Useless lower-case alias. |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Eventually, OOP is really good. |
tree | commitdiff |
2022-02-28 |
Martin Quinson | More information on actor death in monkey's test case |
tree | commitdiff |
2022-02-28 |
Martin Quinson | kill some bits of mc::api:: |
tree | commitdiff |
2022-02-27 |
Arnaud Giersch | Reintroduce smartptr lost with recent changes. |
tree | commitdiff |
2022-02-27 |
Martin Quinson | fix java builds |
tree | commitdiff |
2022-02-27 |
Martin Quinson | No future. |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Rename sg::k::actor::simcall ::actor::simcall_answered |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Further cleanups in simix remains |
tree | commitdiff |
2022-02-27 |
Martin Quinson | MC: after all, checker does not need the list of dead... |
tree | commitdiff |
2022-02-27 |
Martin Quinson | reduce the visibility of popping_private |
tree | commitdiff |
2022-02-27 |
Martin Quinson | And now kill simcalls.py: simix v2 is not completely... |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Kill popping_{enum,generated} |
tree | commitdiff |
2022-02-27 |
Martin Quinson | simix simplification: no need to marshal generic parame... |
tree | commitdiff |
2022-02-27 |
Martin Quinson | simix simplification: no need for a template here |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Kill popping_bodies.cpp |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Revert "OOP is good, too" |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Introduce the SimGrid Chaos Monkey |
tree | commitdiff |
2022-02-27 |
Martin Quinson | allow to chain some setters on actors |
tree | commitdiff |
2022-02-27 |
Martin Quinson | cosmetics (sg4 namespace, comments, log channel) |
tree | commitdiff |
2022-02-26 |
Martin Quinson | Kill popping_accessors.hpp |
tree | commitdiff |
2022-02-25 |
Martin Quinson | Try to make timeouted semaphores robust to actors death |
tree | commitdiff |
2022-02-25 |
Martin Quinson | OOP is good, too |
tree | commitdiff |
2022-02-25 |
Martin Quinson | Rework a long and aging comment (but keep the xkcd... |
tree | commitdiff |
2022-02-25 |
Martin Quinson | cosmetics: rename a variable and please sonar a tiny bit |
tree | commitdiff |
2022-02-25 |
Martin Quinson | fix a memory corruption |
tree | commitdiff |
2022-02-25 |
Augustin Degomme | leak-- |
tree | commitdiff |
2022-02-25 |
Martin Quinson | Implement SemaphoreImpl::acquire_async (timeouts are... |
tree | commitdiff |
2022-02-24 |
Martin Quinson | kill some remains of the pre-C++ era |
tree | commitdiff |
2022-02-24 |
Martin Quinson | Rename MutexObserver to SynchroObserver (semaphore... |
tree | commitdiff |
2022-02-24 |
Martin Quinson | Try to tell sonar that the mutex_ cannot be null in... |
tree | commitdiff |
2022-02-24 |
Martin Quinson | Fix gcc MC builds |
tree | commitdiff |
2022-02-24 |
Martin Quinson | Test the dependencies of Mutex transitions |
tree | commitdiff |
2022-02-24 |
Martin Quinson | MC: no need for a depends() method in Observers |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Please scan-build and hopefully sonar too [ci-skip] |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Ensure that MC session and checker are deleted. |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Use simpler std::vector. |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Free xbt_automaton on Api::s_close. |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Review xbt_automaton_*_free. |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Use more explicit identifiers. |
tree | commitdiff |
2022-02-24 |
Arnaud Giersch | Fix segfault when exploration trace is empty. |
tree | commitdiff |
2022-02-23 |
Martin Quinson | MC: Support Mutexes in DPOR |
tree | commitdiff |
2022-02-23 |
Martin Quinson | Mutex do not need a locked_ field. owner_ != null is... |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | try to get rid of a warning (without causing a dead... |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | avoid going back to complex selector and switch to... |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | more tab2spaces |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | tab to spaces |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | appease clang |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | these are all pretty much allright, actually ... |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | add openmpi scatter linear_nb algorithm |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | add butterfly algorithm from openmpi |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | MC seems to just work on ARM now. Remove the forced... |
tree | commitdiff |
2022-02-23 |
Augustin Degomme | pending implementation of new algorithms (see fixme... |
tree | commitdiff |
2022-02-23 |
SUTER Frederic | deprecate Engine::shutdown() |
tree | commitdiff |
2022-02-23 |
Martin Quinson | Implement MutexImpl::lock_async |
tree | commitdiff |
2022-02-22 |
Augustin Degomme | Update OMPI selector. |
tree | commitdiff |
2022-02-21 |
Martin Quinson | Rename mc::Checker to mc::Exploration as it defines... |
tree | commitdiff |
2022-02-20 |
Martin Quinson | Rename SynchroRawImpl to SynchroImpl |
tree | commitdiff |
2022-02-20 |
Martin Quinson | Sonar fixes (const, variable shadowing) |
tree | commitdiff |
2022-02-20 |
SUTER Frederic | remove old wait any simcall |
tree | commitdiff |
2022-02-19 |
Martin Quinson | That went ways too far |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Move another function of mc::api, to Transition |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Kill two more unused functions in mc::api |
tree | commitdiff |
2022-02-19 |
Martin Quinson | MC: move a check_deadlock from ModelChecker to Session... |
tree | commitdiff |
2022-02-19 |
Martin Quinson | kill ModelChecker::simcall_is_visible() |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Kill Simcall::COMM_WAIT |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Empty a bit mc::api namespace |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Kill Simcall::COMM_RECV, COMM_IRECV, COMM_SEND and... |
tree | commitdiff |
2022-02-19 |
Arnaud Giersch | Explicit casts for Sonar. |
tree | commitdiff |
2022-02-19 |
Arnaud Giersch | Apparently these asserts are not failing anymore. Uncom... |
tree | commitdiff |
2022-02-19 |
Martin Quinson | MC: prefer a memleak to a segfault |
tree | commitdiff |
2022-02-19 |
Martin Quinson | MC: the state does not need to have the simcall anymore |
tree | commitdiff |
next |