| 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 |
| 2022-02-14 |
Martin Quinson | Reduce code dupplication to please sonar
|
commit | commitdiff | tree |
| 2022-02-13 |
Martin Quinson | Revalidate the tesh output of that test whose reduction...
|
commit | commitdiff | tree |
| 2022-02-13 |
Martin Quinson | Implement WaitAnyTransition
|
commit | commitdiff | tree |
| 2022-02-13 |
Martin Quinson | better name
|
commit | commitdiff | tree |
| 2022-02-13 |
Martin Quinson | Sonar fixes
|
commit | commitdiff | tree |
| 2022-02-13 |
Martin Quinson | Fix MC builds with gcc12 (and make the serialization...
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Implement TestAnyTransition
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Simplify the serialization protocol to implement TestAny...
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | implement CommTestTransition
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Fix MC gcc builds :(
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Move dot_label() from Observer to Transition (+ some...
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | SimcallObservers don't need to be cloned anymore
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Improve the final stats reported by SafetyChecker,...
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Fix more sonar things
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Better fix for the security warning from sonar: hide...
|
commit | commitdiff | tree |
| 2022-02-12 |
Martin Quinson | Fix the security hotspots of sonar
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Revalidate the tesh of some working MC tests
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Revalidate the tesh of the mc-bugged1 test, which output...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Fix the depends of iSend/iRecv vs. WaitComm to fix...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | CommWaitTransition mailbox is now valid
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Implement the RandomTransition
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Remove the hostnames from the CommDet patterns: MC...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | MC: one simplification step
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Make sure that the last stack element is set when an...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | No need to save the observers on the App side now that...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Inline another stupid function
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Objectification of mc::RecordTrace
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Stop copying transitions around since that would shorten...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Inline another useless function in MC and a define...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Start moving classes into the mc/api directory
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Inline a function of mc::api
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | fix MC despite clang-format sorting the headers alphabetical...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Fix builds with/without MC and with/without clang ...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Prepare to debug the depends
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | MC does not need the exact value of the timeout, only...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | don't use char* for pointers that shall be serialized...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Pass the depends() from the observer to the mc::Transition...
|
commit | commitdiff | tree |
| 2022-02-11 |
Martin Quinson | Big bang in MC: app's observers are serialized, to...
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Fast path: don't check the dependency between null...
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Unify the way we count expended states between checkers
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Define and use a Transition::to_cstring()
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Move Transition::execute() to State::execute_next()
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Make State::transition_ private
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Move the selection of the next transition to execute...
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Make Liveness and CommDet more similar to Safety
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | MC: inline a function
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Automatize the computation of executed_transitions_
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Move request_execute and request_to_string from api...
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Kill a now unused parameter
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | MC: Trade less use of executed_req for more network...
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | MC: simplification: this function shall return a boolean
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | Let's use bool for booleans
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | MC: Inline and simplify a function
|
commit | commitdiff | tree |
| 2022-02-07 |
Martin Quinson | MC: kill an unused function
|
commit | commitdiff | tree |
| 2022-02-06 |
Martin Quinson | nardin clang (fix clang MC builds)
|
commit | commitdiff | tree |
| 2022-02-06 |
Martin Quinson | MC: rely less on executed_req_ and more on observers
|
commit | commitdiff | tree |
| 2022-02-05 |
Martin Quinson | What about not testing the dependencies of transitions...
|
commit | commitdiff | tree |
| 2022-02-05 |
Martin Quinson | MC: Kill now unused fields
|
commit | commitdiff | tree |
| 2022-02-05 |
Martin Quinson | Don't compute the dependencies locally in the checker...
|
commit | commitdiff | tree |
| 2022-02-05 |
Martin Quinson | MC: isend/irecv are not blocking
|
commit | commitdiff | tree |
| 2022-02-05 |
Martin Quinson | MC: do not segfault when the logs are activated
|
commit | commitdiff | tree |
| 2022-02-04 |
Martin Quinson | convert more isend/irecv locations to the new simcalls...
|
commit | commitdiff | tree |
| 2022-02-03 |
Martin Quinson | specify in the COPYING file that we are LGPL-v2.1-only
|
commit | commitdiff | tree |
| next |
