| 2022-03-07 |
Bruno Donassolo | ptask_BMF: refactor code and loop scenarios |
tree | commitdiff |
| 2022-03-07 |
Bruno Donassolo | Fix: default rate (bound) for comms is -1 not 0 |
tree | commitdiff |
| 2022-03-07 |
Bruno Donassolo | Support for bounded actions in BMF solver |
tree | commitdiff |
| 2022-03-07 |
Bruno Donassolo | New model for parallel tasks: host/model:ptask_BMF |
tree | commitdiff |
| 2022-03-06 |
Martin Quinson | sonar fixes and little cleanups |
tree | commitdiff |
| 2022-03-06 |
Martin Quinson | Merge branch 'add_wait_for_to_py_comm_binding' into... |
tree | commitdiff |
| 2022-03-05 |
Martin Quinson | keep cool, sonar, everything's under control |
tree | commitdiff |
| 2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
tree | commitdiff |
| 2022-03-03 |
Martin Quinson | Kill dead MC code |
tree | commitdiff |
| 2022-03-03 |
Martin Quinson | Mutex are now DPOR compatible |
tree | commitdiff |
| 2022-03-03 |
Martin Quinson | Semaphore made observable from the Checker side |
tree | commitdiff |
| 2022-03-03 |
SUTER Frederic | fix weird bug on pstate changes with VM |
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 |
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-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 | Minor sonar smells, and other cosmetics. |
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-27 |
Arnaud Giersch | Reintroduce smartptr lost with recent changes. |
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 | 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 | Revert "OOP is good, too" |
tree | commitdiff |
| 2022-02-27 |
Martin Quinson | cosmetics (sg4 namespace, comments, log channel) |
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 |
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 | 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-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 |
Martin Quinson | Implement MutexImpl::lock_async |
tree | commitdiff |
| 2022-02-20 |
Martin Quinson | Rename SynchroRawImpl to SynchroImpl |
tree | commitdiff |
| 2022-02-20 |
SUTER Frederic | remove old wait any simcall |
tree | commitdiff |
| 2022-02-19 |
Martin Quinson | Kill Simcall::COMM_WAIT |
tree | commitdiff |
| 2022-02-19 |
Martin Quinson | Kill Simcall::COMM_RECV, COMM_IRECV, COMM_SEND and... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | MC does not need a mc_value_ in the simcall anymore |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Split the Comm observers to their own files |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Split TransitionAny and TransitionRandom to their own... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Make CommDet a plugin on top of Safety |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Add the MPI tag to the Send/Recv Transitions |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: reimplement on top of transitions. Don't mess... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | sonar fixes |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Give the comm to {Send,Recv}Transition, as CommDet... |
tree | commitdiff |
| 2022-02-16 |
Arnaud Giersch | Use type 'bool' for boolean variables. |
tree | commitdiff |
| 2022-02-16 |
Arnaud Giersch | Don't mix public and private data members (sonar). |
tree | commitdiff |
| 2022-02-15 |
Arnaud Giersch | We want to serialize the pointer, not the pointee! |
tree | commitdiff |
| 2022-02-13 |
Martin Quinson | Implement WaitAnyTransition |
tree | commitdiff |
| 2022-02-13 |
Martin Quinson | Sonar fixes |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Implement TestAnyTransition |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Simplify the serialization protocol to implement TestAn... |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | implement CommTestTransition |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Move dot_label() from Observer to Transition (+ some... |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | SimcallObservers don't need to be cloned anymore |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Better fix for the security warning from sonar: hide... |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Fix the security hotspots of sonar |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | CommWaitTransition mailbox is now valid |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Implement the RandomTransition |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | No need to save the observers on the App side now that... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Objectification of mc::RecordTrace |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Fix builds with/without MC and with/without clang ... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | MC does not need the exact value of the timeout, only... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | don't use char* for pointers that shall be serialized... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Pass the depends() from the observer to the mc::Transit... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Big bang in MC: app's observers are serialized, to... |
tree | commitdiff |
| 2022-02-10 |
Arnaud Giersch | [pvs] Don't let members uninitialized. |
tree | commitdiff |
| 2022-02-09 |
Arnaud Giersch | pointer2const4sonar |
tree | commitdiff |
| 2022-02-09 |
Arnaud Giersch | Forward all the parameters to the observer. |
tree | commitdiff |
| 2022-02-08 |
Arnaud Giersch | Reduce scope for variables. |
tree | commitdiff |
| 2022-02-08 |
SUTER Frederic | simplify calls to CommImpl::isend and CommImpl::irecv |
tree | commitdiff |
| 2022-02-08 |
SUTER Frederic | [sonar] constify |
tree | commitdiff |
| 2022-02-07 |
Martin Quinson | MC: Trade less use of executed_req for more network... |
tree | commitdiff |
| 2022-02-06 |
SUTER Frederic | enforce simcall order as before to check dependencies... |
tree | commitdiff |
| 2022-02-06 |
SUTER Frederic | fix isend/irecv to string |
tree | commitdiff |
| 2022-02-06 |
SUTER Frederic | test and testany are non blocking simcalls |
tree | commitdiff |
| 2022-02-05 |
Martin Quinson | Don't compute the dependencies locally in the checker... |
tree | commitdiff |
| 2022-02-05 |
SUTER Frederic | back to normal ... keep progressing towards modern... |
tree | commitdiff |
| 2022-02-04 |
SUTER Frederic | continue to mess with MC |
tree | commitdiff |
| 2022-02-04 |
SUTER Frederic | stay with double for payload size (fix 32bit issues? |
tree | commitdiff |
| 2022-02-03 |
Martin Quinson | preshot sonar (dead code; equality test between double) |
tree | commitdiff |
| 2022-02-03 |
SUTER Frederic | remove old simcall_comm_test and simcall_comm_testany |
tree | commitdiff |
| 2022-02-03 |
Martin Quinson | Merge branch 'wifi_rate_zero' into 'master' |
tree | commitdiff |
| 2022-02-03 |
SUTER Frederic | make isend and irecv observable (except for irecv in... |
tree | commitdiff |
| 2022-02-03 |
SUTER Frederic | draft CommI{send,recv}Observer |
tree | commitdiff |
| 2022-02-03 |
SUTER Frederic | move the code of isend and irecv out of the handler... |
tree | commitdiff |
| 2022-02-03 |
Arnaud Giersch | Merge branch 'stable' |
tree | commitdiff |
| next |
