2022-02-22 |
Arnaud Giersch | Disable tests failing when debug logs are disabled... |
commit | commitdiff | tree | snapshot |
2022-02-21 |
Martin Quinson | doc: add a link from Mailbox::get_init to Comm::set_dst... |
commit | commitdiff | tree | snapshot |
2022-02-21 |
Martin Quinson | Rename mc::Checker to mc::Exploration as it defines... |
commit | commitdiff | tree | snapshot |
2022-02-20 |
Martin Quinson | Rename SynchroRawImpl to SynchroImpl |
commit | commitdiff | tree | snapshot |
2022-02-20 |
Martin Quinson | 3.31 is expected in 2022, not last year |
commit | commitdiff | tree | snapshot |
2022-02-20 |
Martin Quinson | Cosmetics in the Release notes + Document recent change... |
commit | commitdiff | tree | snapshot |
2022-02-20 |
Martin Quinson | Sonar fixes (const, variable shadowing) |
commit | commitdiff | tree | snapshot |
2022-02-20 |
SUTER Frederic | remove old wait any simcall |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | That went ways too far |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | Move another function of mc::api, to Transition |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | Kill two more unused functions in mc::api |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | MC: move a check_deadlock from ModelChecker to Session... |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | kill ModelChecker::simcall_is_visible() |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | Kill Simcall::COMM_WAIT |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | Empty a bit mc::api namespace |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | Kill Simcall::COMM_RECV, COMM_IRECV, COMM_SEND and... |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Arnaud Giersch | Explicit casts for Sonar. |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Arnaud Giersch | Apparently these asserts are not failing anymore. Uncom... |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | Fix a MC test that seem to be tested on freebsd only... |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | MC: prefer a memleak to a segfault |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | MC: the state does not need to have the simcall anymore |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | CommDet: Fix memory corruption, and plug some memleaks |
commit | commitdiff | tree | snapshot |
2022-02-19 |
Martin Quinson | MC: simplification knowing that every visible transitio... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | MC does not need a mc_value_ in the simcall anymore |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Split the Comm observers to their own files |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Split TransitionAny and TransitionRandom to their own... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Revalidate all SafetyChecker tesh now that the output... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Make CommDet a plugin on top of Safety |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Further simplifications in CommDet |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | CommDet: detached send should be handled. But how? |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | CommDet: Enforce deterministic pattern even during... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | CommDet: tiny simplification |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Add the MPI tag to the Send/Recv Transitions |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Try to fix the MC build on 32 bits |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Document the fact that MC big bang occured |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | MC: no need to read the remote request directly |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | CommDet: reimplement on top of transitions. Don't mess... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Have the application execute its transition before... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Add getters to the TransitionComm* and TransitionAny* |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | sonar fixes |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Arnaud Giersch | Fix sonar issues in ns3 examples. |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Arnaud Giersch | Fix sonar issues in ns3 bindings. |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Arnaud Giersch | Try again to enable ns3 for coverage and sonar [ci... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Arnaud Giersch | [experimental] Replace long list of excluded libs with... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Arnaud Giersch | Deprecate sg_host_dump. |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Arnaud Giersch | Fix xbt_log_appender when there is no percent in template. |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | Give the comm to {Send,Recv}Transition, as CommDet... |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | CommDet: preparatory cosmetics |
commit | commitdiff | tree | snapshot |
2022-02-18 |
Martin Quinson | CommDet: inline a function (+cosmetics) |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Arnaud Giersch | Pylint docs/source/tuto_s4u/*.py. |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Arnaud Giersch | Pylint teshsuite/*.py. |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Arnaud Giersch | Pylint examples/*.py. |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Arnaud Giersch | Pylint docs/find-missing.py, src/simix/simcalls.py. |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Arnaud Giersch | Pylint tesh.py. |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Martin Quinson | mist. (fix gcc MC builds) |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Martin Quinson | Further isolate CommDet in its own file |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Martin Quinson | CommDet shall become an extension of the SafetyChecker |
commit | commitdiff | tree | snapshot |
2022-02-17 |
Martin Quinson | make mc::State extendable so that CommDet does not... |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | Use type 'bool' for boolean variables. |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | Add basic check for failures in deserialization. |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | Use bounds checking method array::at(). |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | Blank lines (codefactor.io). |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | Use C++ std::array (sonar). |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | One less implicit conversion (sonar). |
commit | commitdiff | tree | snapshot |
2022-02-16 |
Arnaud Giersch | Don't mix public and private data members (sonar). |
commit | commitdiff | tree | snapshot |
2022-02-15 |
Arnaud Giersch | We want to serialize the pointer, not the pointee! |
commit | commitdiff | tree | snapshot |
2022-02-15 |
Arnaud Giersch | Ignore local variables without type in snapshot. |
commit | commitdiff | tree | snapshot |
2022-02-15 |
Arnaud Giersch | Kill duplicate function + typos. |
commit | commitdiff | tree | snapshot |
2022-02-14 |
Martin Quinson | Reduce code dupplication to please sonar |
commit | commitdiff | tree | snapshot |
2022-02-14 |
Arnaud Giersch | Make logger mc_compare a subcategory of mc. |
commit | commitdiff | tree | snapshot |
2022-02-14 |
Arnaud Giersch | Revalidate random-bug-nocrash.tesh. |
commit | commitdiff | tree | snapshot |
2022-02-13 |
Martin Quinson | Revalidate the tesh output of that test whose reduction... |
commit | commitdiff | tree | snapshot |
2022-02-13 |
Martin Quinson | Implement WaitAnyTransition |
commit | commitdiff | tree | snapshot |
2022-02-13 |
Martin Quinson | better name |
commit | commitdiff | tree | snapshot |
2022-02-13 |
Martin Quinson | Sonar fixes |
commit | commitdiff | tree | snapshot |
2022-02-13 |
Martin Quinson | Fix MC builds with gcc12 (and make the serialization... |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Implement TestAnyTransition |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Simplify the serialization protocol to implement TestAn... |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | implement CommTestTransition |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Fix MC gcc builds :( |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Augustin Degomme | fix build |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Move dot_label() from Observer to Transition (+ some... |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | SimcallObservers don't need to be cloned anymore |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Improve the final stats reported by SafetyChecker,... |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Fix more sonar things |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Better fix for the security warning from sonar: hide... |
commit | commitdiff | tree | snapshot |
2022-02-12 |
Martin Quinson | Fix the security hotspots of sonar |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Revalidate the tesh of some working MC tests |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Revalidate the tesh of the mc-bugged1 test, which outpu... |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Fix the depends of iSend/iRecv vs. WaitComm to fix... |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | CommWaitTransition mailbox is now valid |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Implement the RandomTransition |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Remove the hostnames from the CommDet patterns: MC... |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | MC: one simplification step |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Make sure that the last stack element is set when an... |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | No need to save the observers on the App side now that... |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Inline another stupid function |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Objectification of mc::RecordTrace |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Stop copying transitions around since that would shorte... |
commit | commitdiff | tree | snapshot |
2022-02-11 |
Martin Quinson | Inline another useless function in MC and a define... |
commit | commitdiff | tree | snapshot |
next |