2023-04-11 |
Arnaud Giersch | Whitespace cleanup (codefactor.io). |
tree | commitdiff |
2023-04-10 |
Arnaud Giersch | Less low-level operations to manage receive buffer. |
tree | commitdiff |
2023-04-07 |
Martin Quinson | Please don't fix this error reported by clang-static... |
tree | commitdiff |
2023-04-06 |
Martin Quinson | MC: Reap all zombie childs to avoid them to accumulate |
tree | commitdiff |
2023-04-06 |
Martin Quinson | Allow ns3 to be idempotent if correctly patched |
tree | commitdiff |
2023-04-06 |
Maxwell Pirtle | Rename `remove()` method on `Unfolding` |
tree | commitdiff |
2023-04-06 |
Maxwell Pirtle | Make use of the sets `G` and `U` with `Unfolding` |
tree | commitdiff |
2023-04-06 |
Maxwell Pirtle | Fix bug with immediate conflict detection |
tree | commitdiff |
2023-04-05 |
Martin Quinson | Improve the logging level of that message that is relat... |
tree | commitdiff |
2023-04-05 |
Arnaud Giersch | Examine all opened_states_ to find the best candidate. |
tree | commitdiff |
2023-04-05 |
Arnaud Giersch | Rename MC_NEED_PTRACE -> SIMGRID_MC_NEED_PTRACE for... |
tree | commitdiff |
2023-04-05 |
Arnaud Giersch | Centralize definitions for the name of environment... |
tree | commitdiff |
2023-04-05 |
Arnaud Giersch | Sonar smells; remove redundant mentions of std::shared_... |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Fix conflict detection between configs + history |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Fix dynamic_cast<> typo for computation for CommRecv |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Clarify that the issuer for a CommWait() action is... |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add first round of debug logging to UDPOR |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Intermediate commit to prove that UDPOR functions |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Fill in implementation of CommWait before large changes |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add extension set computations without type casts |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add first steps for ex(C) for CommWait |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Move state stack management to member on UnfoldingChecker |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add comment on state restoration in UnfoldingChecker |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Track the current sequence of states with UDPOR |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Replace switch statement with map of handlers |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add skeleton implementation for ex(C) for CommSend |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add skeleton implementations to ExtensionSetCalculator |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add ExtensionSetCalculator files |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add test case for tracking latest events/transitions |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Add dependency between same actor for tests |
tree | commitdiff |
2023-04-05 |
Maxwell Pirtle | Begin tracking latest events for each actor |
tree | commitdiff |
2023-04-05 |
Martin Quinson | Make strsignal(SIGSEGV) return the same string across... |
tree | commitdiff |
2023-04-04 |
Martin Quinson | Use the fast SOCK_SEQPACKET where available |
tree | commitdiff |
2023-04-04 |
Martin Quinson | Make the MC protocol work on top of STREAM sockets |
tree | commitdiff |
2023-04-04 |
Arnaud Giersch | Use a multiset to handle opened states, and ensures... |
tree | commitdiff |
2023-04-04 |
Arnaud Giersch | An integer seems good enough to handle priorities,... |
tree | commitdiff |
2023-04-03 |
Martin Quinson | Don't die at compilation when activating stateless... |
tree | commitdiff |
2023-04-03 |
Arnaud Giersch | Revert "Treat ECONNRESET like a normal connection close." |
tree | commitdiff |
2023-04-03 |
Arnaud Giersch | Treat ECONNRESET like a normal connection close. |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Kill another override-to-same-content |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Cosmetics in cmake |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Don't override a method to the same content |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Don't use ucontextes on Apple hosts |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Cast a printf parameter to please MacOS X |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Disable MC stateful API when not running in MC |
tree | commitdiff |
2023-04-02 |
Martin Quinson | MC stateful API is only needed when stateful MC is... |
tree | commitdiff |
2023-04-02 |
Martin Quinson | Don't use CLOEXEC |
tree | commitdiff |
2023-04-01 |
Martin Quinson | Ignore empty replay path + hide a global (to avoid... |
tree | commitdiff |
2023-04-01 |
Martin Quinson | Don't qwack when the default empty string is passed... |
tree | commitdiff |
2023-04-01 |
Martin Quinson | Fix an initialization race around the AppSide |
tree | commitdiff |
2023-04-01 |
Martin Quinson | Only compile stateless MC when libevent is found |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Fix non-MC builds when MC-only dependencies are missing |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Compile the safe part of MC in default mode too |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Try to please the ultramodern clang running on FreeBSD... |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Merge branch 'master' into 'master' |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Fix clang builds |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Add a small implementation note in MC |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Merge branch 'master' into 'master' |
tree | commitdiff |
2023-03-31 |
Adrien | Add battery plugin and fix DAG doc |
tree | commitdiff |
2023-03-30 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-30 |
mlaurent | Rename guide as strategy and fix counter-example displa... |
tree | commitdiff |
2023-03-30 |
mlaurent | Replace state copy with recipe: list of transition... |
tree | commitdiff |
2023-03-28 |
mlaurent | Change opened states for a priority queue |
tree | commitdiff |
2023-03-27 |
mlaurent | Abide by both compiler warnings |
tree | commitdiff |
2023-03-27 |
mlaurent | Now handle random transition and multiple times transitions |
tree | commitdiff |
2023-03-27 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-26 |
Martin Quinson | Implement reforks by forking the application, to save... |
tree | commitdiff |
2023-03-25 |
Martin Quinson | memset 0 the memory that is sent over the network |
tree | commitdiff |
2023-03-25 |
Martin Quinson | MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO |
tree | commitdiff |
2023-03-25 |
Martin Quinson | Actually, now that the appside is not ptraced, there... |
tree | commitdiff |
2023-03-25 |
Martin Quinson | Invert another logic error: we need ptrace when we... |
tree | commitdiff |
2023-03-25 |
Martin Quinson | This test is always false, as we asserted so just above |
tree | commitdiff |
2023-03-25 |
Martin Quinson | Do not ask for memory info when restarting in refork... |
tree | commitdiff |
2023-03-24 |
Martin Quinson | Use a portable name for SIGABRT |
tree | commitdiff |
2023-03-24 |
Martin Quinson | MC: disable personality() as it fails on CI and is... |
tree | commitdiff |
2023-03-24 |
Martin Quinson | Fix the refork feature by not ptracing App so that... |
tree | commitdiff |
2023-03-24 |
Martin Quinson | Fix another sonar warning |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Delete redundant blank lines at the start of a code... |
tree | commitdiff |
2023-03-24 |
mlaurent | Add copy constructor to state, so we can backtrack... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Strengthen debug messages on channel send/recv. |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Simplify member initialization. |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Reduce scope for variable. |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Simplify loop. |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Determine n_transitions on receiving side (and remove... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | There's no need to compute the total transition count... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Remove superfluous test, and reduce depth of nested... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Merge loops and get rid of the "probes" temporary vector. |
tree | commitdiff |
2023-03-24 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-23 |
Martin Quinson | Dont use handle_waitpid after we killed the App, as... |
tree | commitdiff |
2023-03-23 |
Martin Quinson | Actually, read()=0 is not an issue in the AppSide |
tree | commitdiff |
2023-03-23 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-23 |
mlaurent | try to fix stack handling |
tree | commitdiff |
2023-03-22 |
Martin Quinson | Fix some easy sonar smells |
tree | commitdiff |
2023-03-22 |
Martin Quinson | Fix two sonar bugs |
tree | commitdiff |
2023-03-22 |
Martin Quinson | Merge branch 'udpor-phase6' into 'master' |
tree | commitdiff |
2023-03-21 |
Martin Quinson | Make sure that the dtor of CheckerSide actually kills... |
tree | commitdiff |
2023-03-21 |
Martin Quinson | Fix the liveness tests when the reforks are compiled... |
tree | commitdiff |
2023-03-21 |
mlaurent | fix order of execute_next calls |
tree | commitdiff |
2023-03-20 |
Martin Quinson | Manually handle the memory associated to the libevent... |
tree | commitdiff |
next |