| 2023-05-03 |
Martin Quinson | One use less of get_recipe() that will soon die
|
commit | commitdiff | tree |
| 2023-05-03 |
Martin Quinson | Factorize more code between DFSExplo and LivenessExplo...
|
commit | commitdiff | tree |
| 2023-04-27 |
Martin Quinson | Lazily compute the recipe of a state, on need only
|
commit | commitdiff | tree |
| 2023-04-27 |
Martin Quinson | More automatic memory mgmt in MC
|
commit | commitdiff | tree |
| 2023-04-27 |
Martin Quinson | MC: give each state an incoming transition too
|
commit | commitdiff | tree |
| 2023-04-27 |
Martin Quinson | Fix comment [no-ci]
|
commit | commitdiff | tree |
| 2023-04-26 |
Martin Quinson | Merge branch 'operation-plugin' into 'master'
|
commit | commitdiff | tree |
| 2023-04-18 |
Martin Quinson | Merge branch 'udpor-phase7' into 'master'
|
commit | commitdiff | tree |
| 2023-04-17 |
Martin Quinson | sonar fixes
|
commit | commitdiff | tree |
| 2023-04-16 |
Martin Quinson | Let resource profiles finish their initialization by...
|
commit | commitdiff | tree |
| 2023-04-16 |
Martin Quinson | No need to presolve the models to finish their initializatio...
|
commit | commitdiff | tree |
| 2023-04-16 |
Martin Quinson | Only fire on_platform_created after creating the platform...
|
commit | commitdiff | tree |
| 2023-04-16 |
Martin Quinson | Add a target to recompile all ns3 tests (and only them)
|
commit | commitdiff | tree |
| 2023-04-15 |
Martin Quinson | Make sure that we never have a 0 transition at the...
|
commit | commitdiff | tree |
| 2023-04-15 |
Martin Quinson | Also send the disabled transitions over: UDPOR needs it
|
commit | commitdiff | tree |
| 2023-04-15 |
Martin Quinson | More informative message on system error
|
commit | commitdiff | tree |
| 2023-04-14 |
Martin Quinson | More defensive programing style
|
commit | commitdiff | tree |
| 2023-04-13 |
Martin Quinson | Trust the config system to check that only valid values...
|
commit | commitdiff | tree |
| 2023-04-12 |
Martin Quinson | Make this example valgrind-clean
|
commit | commitdiff | tree |
| 2023-04-12 |
Martin Quinson | Further cosmetics in that example, adding a helper...
|
commit | commitdiff | tree |
| 2023-04-12 |
Martin Quinson | Use host->set_concurrency_limit(1) in an example where...
|
commit | commitdiff | tree |
| 2023-04-12 |
Martin Quinson | Document a bit the MC changes
|
commit | commitdiff | tree |
| 2023-04-12 |
Martin Quinson | Allow to set a concurrency limit on disks and hosts
|
commit | commitdiff | tree |
| 2023-04-07 |
Martin Quinson | Please don't fix this error reported by clang-static...
|
commit | commitdiff | tree |
| 2023-04-06 |
Martin Quinson | Make distcheck
|
commit | commitdiff | tree |
| 2023-04-06 |
Martin Quinson | MC: Reap all zombie childs to avoid them to accumulate
|
commit | commitdiff | tree |
| 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 |
| next |
