| 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-31 |
Adrien | Add battery plugin and fix DAG doc
|
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 |
| 2023-03-17 |
Martin Quinson | Move handle_simcall from ModelChecker to RemoteApp
|
commit | commitdiff | tree |
| 2023-03-17 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2023-03-15 |
Martin Quinson | Sanitize how we know the current MC mode
|
commit | commitdiff | tree |
| 2023-03-15 |
Martin Quinson | Make it compile with all warnings enabled
|
commit | commitdiff | tree |
| 2023-03-15 |
Martin Quinson | Document a future cleanup to do when we bump cmake...
|
commit | commitdiff | tree |
| 2023-03-13 |
Martin Quinson | Test for JSON before using it
|
commit | commitdiff | tree |
| 2023-03-13 |
Martin Quinson | Cosmetics
|
commit | commitdiff | tree |
| 2023-03-13 |
Martin Quinson | fix make distcheck
|
commit | commitdiff | tree |
| 2023-03-13 |
Martin Quinson | Correctly protect tests property settings, bummer
|
commit | commitdiff | tree |
| 2023-03-13 |
Martin Quinson | Give the remote_process_memory to the mc::State constructor
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Move another function of ModelChecker to RemoteProcessMemory
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Move another function out of ModelChecker
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Move a function from ModelChecker to Exploration
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | move wait_for_requests() from ModelChecker to RemoteApp
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Inline a function in ModelChecker
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Move one method from ModelChecker to Exploration
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Move 2 functions from mc::ModelChecker to mc::RemoteApp
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Make the sendsend tests at least fail fast to not hinder...
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | Clean leftovers
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | MC: stop reading maxpid in memory, but ask it over...
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | One use less of the global mc_model_checker
|
commit | commitdiff | tree |
| 2023-03-12 |
Martin Quinson | This seems to reduce the amount of failure, but I don...
|
commit | commitdiff | tree |
| 2023-03-10 |
Martin Quinson | Merge branch 'udpor-phase5' into 'master'
|
commit | commitdiff | tree |
| 2023-03-10 |
Martin Quinson | Try to avoid a segfault on assert message
|
commit | commitdiff | tree |
| 2023-03-08 |
Martin Quinson | Merge branch 'udpor-phase4' into 'master'
|
commit | commitdiff | tree |
| 2023-03-06 |
Martin Quinson | Fix clang build and make output more portable/predictible
|
commit | commitdiff | tree |
| 2023-03-06 |
Martin Quinson | sthread: Add a way to verify accesses to non-reentrant...
|
commit | commitdiff | tree |
| 2023-03-06 |
Martin Quinson | Cosmetics in sthread output when not using SMPI
|
commit | commitdiff | tree |
| 2023-03-05 |
Martin Quinson | Merge branch 'maximal-subset-search' into 'master'
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | Fix a useless change -- and go get some sleep
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | Bump cmake to at least 3.12
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | python3-dev is another dependency of the Python bindings
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | Reindent -- almost no real change
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | fix MC + gcc builds
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | Move the implem of a function out of the header to...
|
commit | commitdiff | tree |
| 2023-03-03 |
Martin Quinson | Move the PageStore from ModelChecker to RemoteApp
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Move the stats of visited_states count from ModelChecker...
|
commit | commitdiff | tree |
| next |
