| 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 |
| 2023-03-02 |
Martin Quinson | Move the dot_output from ModelChecker to Exploration
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | One reference to the global singleton mc_model_checker...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Rename some fields to obey our coding standard
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Allow to call SMPI_app_instance_start() once the simulation...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Fix a typo found by clang in MC builds
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: build out of sources
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Install python deps on GHaction + better documentation...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Mais quel débile, punaise
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | MC builds have specific dependencies
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: ninja is verbose on error anyway
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: use the correct package name
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | gh action: we need 'sudo' here
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: install deps
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: use existing runners
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | messing with git actions
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Fix yaml syntax :(
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Add a github action to test our git on Debian11, regular...
|
commit | commitdiff | tree |
| 2023-03-01 |
Martin Quinson | New function SMPI_app_instance_start() to easily start...
|
commit | commitdiff | tree |
| 2023-03-01 |
Martin Quinson | Try to fix a fixme blindly, just in case it was easy
|
commit | commitdiff | tree |
| 2023-02-28 |
Martin Quinson | Fix make distcheck
|
commit | commitdiff | tree |
| 2023-02-28 |
Martin Quinson | doc: Rework the intro pages
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Plug a memleak + experience that code out of the MC...
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | cosmetics in docs
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Asynchronous locks and fluid I/O streams were aded...
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Add 3 figures to the design goals + minor rewording
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Update release notes
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Allow to control the problem size from the cmd line...
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Revalidate a tesh file (result of a merge error)
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Use bool for booleans
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Kill a now useless field
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Also detect the disk failures
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Further simplify the way host failures are detected
|
commit | commitdiff | tree |
| 2023-02-25 |
Martin Quinson | Simplify the way Execs detect host failures
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Revert "Include the output of this test in the tesh...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Bummer :(
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Two more random hints to contributors (and reindent...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Add some Noteworthy tests to the Contributor's doc
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | When the chaos monkey is invoked with nothing to do...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Include the output of this test in the tesh file, because...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Allow to specify the parameters on the command line...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Merge branch 'udpor-phase2' into 'master'
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Document more changes, and update the Release Notes
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Add a comment on why we need such a callback
|
commit | commitdiff | tree |
| next |
