| 2022-03-03 |
Martin Quinson | Mutex are now DPOR compatible
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | cmake simplification so that you only have to edit...
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Document recent changes
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Add a test for Semaphores + DPOR
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Semaphore made observable from the Checker side
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Display a nice error message when ptrace is not usable
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Missing files, bummer
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | Python version of the masterworkers monkey
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | Chaos-monkey: use the new Engine::on_simulation_start...
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | New signal: Engine::on_simulation_start
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | Pass the boolean parameter to the on_exit python binding
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | simgrid-monkey: if the test is run within valgrind...
|
commit | commitdiff | tree |
| 2022-03-01 |
Martin Quinson | Merge branch 'dev' into 'master'
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Revalidate the tesh file after pushing the TODO of...
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Add missing file
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Don't use tesh to run monkey tests
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Ensure that the monkey tesh passes while not hindering...
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Our first monkey test case is now working
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Enhance the documentation of Actor::daemonize()
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | give 2 workers to the monkey-masterworkers, so that...
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | More information on actor death in monkey's test case
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | kill some bits of mc::api::
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | fix java builds
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | No future.
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Rename sg::k::actor::simcall ::actor::simcall_answered
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Further cleanups in simix remains
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | MC: after all, checker does not need the list of dead...
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | reduce the visibility of popping_private
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | And now kill simcalls.py: simix v2 is not completely...
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Kill popping_{enum,generated}
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | simix simplification: no need to marshal generic parameters...
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | simix simplification: no need for a template here
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Kill popping_bodies.cpp
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | monkey-workers: reduce the amount of simcalls during...
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Revert "OOP is good, too"
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Introduce the SimGrid Chaos Monkey
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | allow to chain some setters on actors
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | cosmetics (sg4 namespace, comments, log channel)
|
commit | commitdiff | tree |
| 2022-02-26 |
Martin Quinson | Kill popping_accessors.hpp
|
commit | commitdiff | tree |
| 2022-02-25 |
Martin Quinson | Try to make timeouted semaphores robust to actors death
|
commit | commitdiff | tree |
| 2022-02-25 |
Martin Quinson | OOP is good, too
|
commit | commitdiff | tree |
| 2022-02-25 |
Martin Quinson | Rework a long and aging comment (but keep the xkcd...
|
commit | commitdiff | tree |
| 2022-02-25 |
Martin Quinson | cosmetics: rename a variable and please sonar a tiny bit
|
commit | commitdiff | tree |
| 2022-02-25 |
Martin Quinson | fix a memory corruption
|
commit | commitdiff | tree |
| 2022-02-25 |
Martin Quinson | Implement SemaphoreImpl::acquire_async (timeouts are...
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | kill some remains of the pre-C++ era
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | Rename MutexObserver to SynchroObserver (semaphore...
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | Try to tell sonar that the mutex_ cannot be null in...
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | Fix gcc MC builds
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | Test the dependencies of Mutex transitions
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | Add a MC version of the s4u-synchro-mutex test
|
commit | commitdiff | tree |
| 2022-02-24 |
Martin Quinson | MC: no need for a depends() method in Observers
|
commit | commitdiff | tree |
| 2022-02-23 |
Martin Quinson | MC: Support Mutexes in DPOR
|
commit | commitdiff | tree |
| 2022-02-23 |
Martin Quinson | Mutex do not need a locked_ field. owner_ != null is...
|
commit | commitdiff | tree |
| 2022-02-23 |
Martin Quinson | further reduce a MC test that's still too long
|
commit | commitdiff | tree |
| 2022-02-23 |
Martin Quinson | Reduce the size of 2 UMPIRE tests that now timeout
|
commit | commitdiff | tree |
| 2022-02-23 |
Martin Quinson | Implement MutexImpl::lock_async
|
commit | commitdiff | tree |
| 2022-02-21 |
Martin Quinson | doc: add a link from Mailbox::get_init to Comm::set_dst_data
|
commit | commitdiff | tree |
| 2022-02-21 |
Martin Quinson | Rename mc::Checker to mc::Exploration as it defines...
|
commit | commitdiff | tree |
| 2022-02-20 |
Martin Quinson | Rename SynchroRawImpl to SynchroImpl
|
commit | commitdiff | tree |
| 2022-02-20 |
Martin Quinson | 3.31 is expected in 2022, not last year
|
commit | commitdiff | tree |
| 2022-02-20 |
Martin Quinson | Cosmetics in the Release notes + Document recent changes...
|
commit | commitdiff | tree |
| 2022-02-20 |
Martin Quinson | Sonar fixes (const, variable shadowing)
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | That went ways too far
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | Move another function of mc::api, to Transition
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | Kill two more unused functions in mc::api
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | MC: move a check_deadlock from ModelChecker to Session...
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | kill ModelChecker::simcall_is_visible()
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | Kill Simcall::COMM_WAIT
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | Empty a bit mc::api namespace
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | Kill Simcall::COMM_RECV, COMM_IRECV, COMM_SEND and...
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | Fix a MC test that seem to be tested on freebsd only...
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | MC: prefer a memleak to a segfault
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | MC: the state does not need to have the simcall anymore
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | CommDet: Fix memory corruption, and plug some memleaks
|
commit | commitdiff | tree |
| 2022-02-19 |
Martin Quinson | MC: simplification knowing that every visible transitions...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | MC does not need a mc_value_ in the simcall anymore
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Split the Comm observers to their own files
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Split TransitionAny and TransitionRandom to their own...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Revalidate all SafetyChecker tesh now that the output...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Make CommDet a plugin on top of Safety
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Further simplifications in CommDet
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | CommDet: detached send should be handled. But how?
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | CommDet: Enforce deterministic pattern even during...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | CommDet: tiny simplification
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Add the MPI tag to the Send/Recv Transitions
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Try to fix the MC build on 32 bits
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Document the fact that MC big bang occured
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | MC: no need to read the remote request directly
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | CommDet: reimplement on top of transitions. Don't mess...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Have the application execute its transition before...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Add getters to the TransitionComm* and TransitionAny*
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | sonar fixes
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | Give the comm to {Send,Recv}Transition, as CommDet...
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | CommDet: preparatory cosmetics
|
commit | commitdiff | tree |
| 2022-02-18 |
Martin Quinson | CommDet: inline a function (+cosmetics)
|
commit | commitdiff | tree |
| 2022-02-17 |
Martin Quinson | mist. (fix gcc MC builds)
|
commit | commitdiff | tree |
| 2022-02-17 |
Martin Quinson | Further isolate CommDet in its own file
|
commit | commitdiff | tree |
| 2022-02-17 |
Martin Quinson | CommDet shall become an extension of the SafetyChecker
|
commit | commitdiff | tree |
| 2022-02-17 |
Martin Quinson | make mc::State extendable so that CommDet does not...
|
commit | commitdiff | tree |
| next |
