| 2022-05-03 |
Arnaud Giersch | Kill unused variable. |
tree | commitdiff |
| 2022-05-03 |
Arnaud Giersch | Declare local variables inside the if statement. |
tree | commitdiff |
| 2022-05-03 |
Arnaud Giersch | Misc code simplifications guided by Sonar smells. |
tree | commitdiff |
| 2022-04-27 |
Arnaud Giersch | Use structured binding declarations (sonar, c++17). |
tree | commitdiff |
| 2022-04-25 |
Arnaud Giersch | Replace is_xxx::value with is_xxx_v (sonar, c++17). |
tree | commitdiff |
| 2022-03-31 |
Arnaud Giersch | Dead code elimination. |
tree | commitdiff |
| 2022-03-30 |
Martin Quinson | Merge branch 'add_missing_comm_python_bindings' into... |
tree | commitdiff |
| 2022-03-29 |
Martin Quinson | Merge branch 'dev-mailbox-clear' into 'master' |
tree | commitdiff |
| 2022-03-29 |
Arnaud Giersch | Propagate const pointer (thx sonar). |
tree | commitdiff |
| 2022-03-28 |
Arnaud Giersch | Const pointer. |
tree | commitdiff |
| 2022-03-28 |
Bruno Donassolo | Merge branch 'issue105' into 'master' |
tree | commitdiff |
| 2022-03-25 |
Arnaud Giersch | Cosmetics: don't talk about ActorIDTrait if it's not... |
tree | commitdiff |
| 2022-03-25 |
Arnaud Giersch | Remove unused member. |
tree | commitdiff |
| 2022-03-25 |
Arnaud Giersch | [sonar] Don't mix public and private members (mc::State). |
tree | commitdiff |
| 2022-03-25 |
Arnaud Giersch | [sonar] Don't mix public and private members (mc::Model... |
tree | commitdiff |
| 2022-03-24 |
Arnaud Giersch | Make maxpid a static member of ActorIDTrait. |
tree | commitdiff |
| 2022-03-23 |
Martin Quinson | Revalidate the tesh outputs after cosmetics to the... |
tree | commitdiff |
| 2022-03-23 |
Martin Quinson | Fix the dependency of inter-comm transitions |
tree | commitdiff |
| 2022-03-22 |
Martin Quinson | MC: be explicit when reaching an execution end (it... |
tree | commitdiff |
| 2022-03-22 |
Martin Quinson | Comm transitions are INDEP with non-comm transitions |
tree | commitdiff |
| 2022-03-22 |
Arnaud Giersch | A few Sonar smells. |
tree | commitdiff |
| 2022-03-20 |
Martin Quinson | MC: be more cautionous around MC_process_clock, the... |
tree | commitdiff |
| 2022-03-18 |
Martin Quinson | Specify actor in the MC traces |
tree | commitdiff |
| 2022-03-16 |
Arnaud Giersch | Kill dead code. |
tree | commitdiff |
| 2022-03-14 |
Arnaud Giersch | Update comments. |
tree | commitdiff |
| 2022-03-14 |
Arnaud Giersch | Mark smx_actor_t as deprecated. |
tree | commitdiff |
| 2022-03-13 |
Martin Quinson | Merge branch 'fix_bindings_mistakenly_set_as_member_fun... |
tree | commitdiff |
| 2022-03-13 |
Martin Quinson | Kill a useless static function |
tree | commitdiff |
| 2022-03-13 |
Martin Quinson | Move the actor lifecycle markers from Context to ActorImpl |
tree | commitdiff |
| 2022-03-11 |
Martin Quinson | Merge branch 'add_remaining_comm_sync_bindings' into... |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | further simpify the MC initialization on app side |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | Simplify the parameter passing while initializing the... |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | Update an outdated comment |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | Rename mc::SafetyChecker to mc::DFSExplorer |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm... |
tree | commitdiff |
| 2022-03-08 |
Arnaud Giersch | Move Simcall from namespace simix to kernel::actor. |
tree | commitdiff |
| 2022-03-08 |
Arnaud Giersch | Make Simcall a real class. |
tree | commitdiff |
| 2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
tree | commitdiff |
| 2022-03-03 |
Martin Quinson | Semaphore made observable from the Checker side |
tree | commitdiff |
| 2022-03-03 |
Martin Quinson | Display a nice error message when ptrace is not usable |
tree | commitdiff |
| 2022-03-01 |
Martin Quinson | Merge branch 'dev' into 'master' |
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 |
Arnaud Giersch | Kill unused function. |
tree | commitdiff |
| 2022-03-01 |
Arnaud Giersch | const++ |
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 |
Martin Quinson | kill some bits of mc::api:: |
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-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 |
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 | 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 | MC seems to just work on ARM now. Remove the forced... |
tree | commitdiff |
| 2022-02-21 |
Martin Quinson | Rename mc::Checker to mc::Exploration as it defines... |
tree | commitdiff |
| 2022-02-20 |
Martin Quinson | Sonar fixes (const, variable shadowing) |
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 | Empty a bit mc::api namespace |
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 |
| 2022-02-19 |
Martin Quinson | CommDet: Fix memory corruption, and plug some memleaks |
tree | commitdiff |
| 2022-02-19 |
Martin Quinson | MC: simplification knowing that every visible transitio... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Split TransitionAny and TransitionRandom to their own... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Revalidate all SafetyChecker tesh now that the output... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Make CommDet a plugin on top of Safety |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Further simplifications in CommDet |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: detached send should be handled. But how? |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: Enforce deterministic pattern even during... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: tiny simplification |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Add the MPI tag to the Send/Recv Transitions |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Try to fix the MC build on 32 bits |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | MC: no need to read the remote request directly |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: reimplement on top of transitions. Don't mess... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Have the application execute its transition before... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Add getters to the TransitionComm* and TransitionAny* |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | sonar fixes |
tree | commitdiff |
| 2022-02-18 |
Arnaud Giersch | [experimental] Replace long list of excluded libs with... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Give the comm to {Send,Recv}Transition, as CommDet... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: preparatory cosmetics |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: inline a function (+cosmetics) |
tree | commitdiff |
| 2022-02-17 |
Martin Quinson | mist. (fix gcc MC builds) |
tree | commitdiff |
| 2022-02-17 |
Martin Quinson | Further isolate CommDet in its own file |
tree | commitdiff |
| 2022-02-17 |
Martin Quinson | CommDet shall become an extension of the SafetyChecker |
tree | commitdiff |
| 2022-02-17 |
Martin Quinson | make mc::State extendable so that CommDet does not... |
tree | commitdiff |
| 2022-02-16 |
Arnaud Giersch | Add basic check for failures in deserialization. |
tree | commitdiff |
| 2022-02-16 |
Arnaud Giersch | Blank lines (codefactor.io). |
tree | commitdiff |
| 2022-02-16 |
Arnaud Giersch | Use C++ std::array (sonar). |
tree | commitdiff |
| next |
