| 2023-04-06 |
Martin Quinson | Remove the timings of another ns3 test to help older...
|
commit | commitdiff | tree |
| 2023-04-06 |
Martin Quinson | Allow ns3 to be idempotent if correctly patched
|
commit | commitdiff | tree |
| 2023-04-05 |
Martin Quinson | Improve the logging level of that message that is relatively...
|
commit | commitdiff | tree |
| 2023-04-05 |
Martin Quinson | these ns3 tests need an 'output sort' directive :(
|
commit | commitdiff | tree |
| 2023-04-05 |
Martin Quinson | Fix make distcheck, stupid bummer
|
commit | commitdiff | tree |
| 2023-04-05 |
Martin Quinson | Enforce the ns3 timings for the latest version of ns3...
|
commit | commitdiff | tree |
| 2023-04-05 |
Martin Quinson | Make strsignal(SIGSEGV) return the same string across...
|
commit | commitdiff | tree |
| 2023-04-04 |
Martin Quinson | Use the fast SOCK_SEQPACKET where available
|
commit | commitdiff | tree |
| 2023-04-04 |
Martin Quinson | Make the MC protocol work on top of STREAM sockets
|
commit | commitdiff | tree |
| 2023-04-03 |
Martin Quinson | Don't die at compilation when activating stateless...
|
commit | commitdiff | tree |
| 2023-04-03 |
Martin Quinson | Remove a file generated by cmake
|
commit | commitdiff | tree |
| 2023-04-03 |
Martin Quinson | Ensure in tests that the ns3 timings remain unchanged
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Kill another override-to-same-content
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Cosmetics in cmake
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Don't override a method to the same content
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Don't use ucontextes on Apple hosts
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Cast a printf parameter to please MacOS X
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Disable MC stateful API when not running in MC
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | MC stateful API is only needed when stateful MC is...
|
commit | commitdiff | tree |
| 2023-04-02 |
Martin Quinson | Don't use CLOEXEC
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Ensure that the clang optimizer does not swallow the...
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Ignore empty replay path + hide a global (to avoid...
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | More logs around the configuration of the MC variants
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Really diplay cmake parameters in the jenkins logs
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Jenkins: display cmake parameters in the logs
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Option model-checking OFF by default
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Don't qwack when the default empty string is passed...
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Revert "Also valgrind childs in CI, to valgrind MC...
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Fix an initialization race around the AppSide
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Fix make distcheck
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Also valgrind childs in CI, to valgrind MC apps
|
commit | commitdiff | tree |
| 2023-04-01 |
Martin Quinson | Only compile stateless MC when libevent is found
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Fix non-MC builds when MC-only dependencies are missing
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Compile the safe part of MC in default mode too
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Try to please the ultramodern clang running on FreeBSD...
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Fix doc on how to select the compiler before compiling
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Correctly select the clang compiler on gitlab CI
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Gitlab CI: Use clang on modelchecker builds, for MRs
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Fix clang builds
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Add a small implementation note in MC
|
commit | commitdiff | tree |
| 2023-03-31 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2023-03-27 |
Martin Quinson | Activate the stdobject test now that it works
|
commit | commitdiff | tree |
| 2023-03-27 |
Martin Quinson | Don't set a really short timeout on sendsend now that...
|
commit | commitdiff | tree |
| 2023-03-26 |
Martin Quinson | Revert "Revalidate tesh files now that safety checking...
|
commit | commitdiff | tree |
| 2023-03-26 |
Martin Quinson | Implement reforks by forking the application, to save...
|
commit | commitdiff | tree |
| 2023-03-26 |
Martin Quinson | Allow up to 30 elements in ENUM_CLASS
|
commit | commitdiff | tree |
| 2023-03-25 |
Martin Quinson | memset 0 the memory that is sent over the network
|
commit | commitdiff | tree |
| 2023-03-25 |
Martin Quinson | MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO
|
commit | commitdiff | tree |
| 2023-03-25 |
Martin Quinson | Actually, now that the appside is not ptraced, there...
|
commit | commitdiff | tree |
| 2023-03-25 |
Martin Quinson | Invert another logic error: we need ptrace when we...
|
commit | commitdiff | tree |
| 2023-03-25 |
Martin Quinson | This test is always false, as we asserted so just above
|
commit | commitdiff | tree |
| 2023-03-25 |
Martin Quinson | Do not ask for memory info when restarting in refork...
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | Use a portable name for SIGABRT
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | That test seems to pass nowadays
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | Try to use the same test file for non-linux now that...
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | MC: disable personality() as it fails on CI and is...
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | Revalidate tesh files now that safety checking is based...
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | Fix the refork feature by not ptracing App so that...
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | More explicit error message
|
commit | commitdiff | tree |
| 2023-03-24 |
Martin Quinson | Fix another sonar warning
|
commit | commitdiff | tree |
| 2023-03-23 |
Martin Quinson | Dont use handle_waitpid after we killed the App, as...
|
commit | commitdiff | tree |
| 2023-03-23 |
Martin Quinson | Actually, read()=0 is not an issue in the AppSide
|
commit | commitdiff | tree |
| 2023-03-22 |
Martin Quinson | Fix some easy sonar smells
|
commit | commitdiff | tree |
| 2023-03-22 |
Martin Quinson | Fix two sonar bugs
|
commit | commitdiff | tree |
| 2023-03-22 |
Martin Quinson | Change an example to take its platform file from the...
|
commit | commitdiff | tree |
| 2023-03-22 |
Martin Quinson | Merge branch 'udpor-phase6' into 'master'
|
commit | commitdiff | tree |
| 2023-03-22 |
Martin Quinson | jenkins::Flags if you run the tests, be verbose on...
|
commit | commitdiff | tree |
| 2023-03-21 |
Martin Quinson | Make sure that the dtor of CheckerSide actually kills...
|
commit | commitdiff | tree |
| 2023-03-21 |
Martin Quinson | Fix the liveness tests when the reforks are compiled...
|
commit | commitdiff | tree |
| 2023-03-20 |
Martin Quinson | Manually handle the memory associated to the libevent...
|
commit | commitdiff | tree |
| 2023-03-20 |
Martin Quinson | Do not initialize the App's memory introspection if...
|
commit | commitdiff | tree |
| 2023-03-20 |
Martin Quinson | Put everything in position to re-fork the verified App
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Move more of the CheckerSide creation logic to the...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | MC: disable Address Space Layout Randomization in the...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Differ the creation of the RemoteProcessMemory to when...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Better responsabilities splitup between CheckerSide...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Move methods not related to Memory out of RemoteProcessMemory
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Finally kill the now empty ModelChecker class
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Move the memory handling of RemoteProcessMemory singleton...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Move handle_message from ModelChecker to RemoteProcessMemory
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Move handle_waitpid from ModelChecker to RemoteProcessMemory
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Make a global singleton of Exploration, to kill ModelChecker
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Gosh, how many calls to that global were there?
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Kill a now unused class in mc
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Remove some more usage of mc_model_checker in Region...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Another use of mc_model_checker disapears. In Snapshot...
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | another mc_model_checker call location disappears
|
commit | commitdiff | tree |
| 2023-03-19 |
Martin Quinson | Fix make distcheck
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | Fix MC+clang builds
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | Reduce a bit the adherance of handle_waitpid to ModelChecker
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | Merge CheckerSide::start() intp the constructor
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | Better split of responsabilities between CheckerSide...
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | Move the checker_side_ from the ModelChecker to the...
|
commit | commitdiff | tree |
| 2023-03-18 |
Martin Quinson | One usage of mc_model_checker less
|
commit | commitdiff | tree |
| 2023-03-17 |
Martin Quinson | Simplify Channel::receive by handling non-blocking...
|
commit | commitdiff | tree |
| 2023-03-17 |
Martin Quinson | A few calls to mc_model_checker less by passing more...
|
commit | commitdiff | tree |
| next |
