| 2022-03-16 |
Martin Quinson | Merge branch 'add_barrier_python_bindings' into 'master'
|
commit | commitdiff | tree |
| 2022-03-15 |
Martin Quinson | Draft a few paragraphs in release notes about modeling...
|
commit | commitdiff | tree |
| 2022-03-15 |
Martin Quinson | Better fix for the mutex IDs modifications in mutex...
|
commit | commitdiff | tree |
| 2022-03-15 |
Martin Quinson | Revalidate the tesh output of mutex-MC. The mutex IDs...
|
commit | commitdiff | tree |
| 2022-03-15 |
Martin Quinson | Make the Eigen3 dependency optionnal
|
commit | commitdiff | tree |
| 2022-03-15 |
Martin Quinson | Don't feed ICC with command-line parameters that it...
|
commit | commitdiff | tree |
| 2022-03-15 |
Martin Quinson | Merge branch 'add_mutex_python_bindings' into 'master'
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | synchro-mutex example: don't have all pairs intermix...
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Cope with Eigen 3.3.4 directly in cmake
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Fix the cleanup. Sorry @agiersch for breaking everything...
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Fix clang builds
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Tutorial: try to hint on some errors that the users...
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | more C++ish in EngineImpl
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Cosmetics in comments (mainly in EngineImpl::run)
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Make sure that ActorImpl::cleanup_from_kernel is called...
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Merge branch 'dev-profile-callbacks' into 'master'
|
commit | commitdiff | tree |
| 2022-03-14 |
Fabien Chaix | Refactoring profiles to use generic callbacks
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Merge branch 'xsltproc' into 'master'
|
commit | commitdiff | tree |
| 2022-03-14 |
Martin Quinson | Merge branch 'starpu-mpi' into 'master'
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | ctest --output-on-failure on jar building [no-ci]
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Also test java builds on github jar action
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Merge branch 'fix_bindings_mistakenly_set_as_member_function...
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Kill a useless static function
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Sort Actor traits alphabetically + cleanups
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Introduce ActorIDTrait to split ActorImpl apart
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Simplify parameter passing between EngineImpl and ContextFactory
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | Move the actor lifecycle markers from Context to ActorImpl
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | make the semaphore monkey more robust to deadlocks...
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | document a function
|
commit | commitdiff | tree |
| 2022-03-13 |
Martin Quinson | ActorImpl::join: react right away if the other actor...
|
commit | commitdiff | tree |
| 2022-03-12 |
Martin Quinson | Blind attempt at getting scoop working again on Azur...
|
commit | commitdiff | tree |
| 2022-03-12 |
Martin Quinson | obey our coding conventions in ActorImpl::mailboxes...
|
commit | commitdiff | tree |
| 2022-03-12 |
Martin Quinson | Simplify the Context::stop() and reduce duplication
|
commit | commitdiff | tree |
| 2022-03-12 |
Martin Quinson | Defuse a trap on refcounting activities by adding a...
|
commit | commitdiff | tree |
| 2022-03-12 |
Martin Quinson | Make sure that actors killed by a timer are properly...
|
commit | commitdiff | tree |
| 2022-03-12 |
Martin Quinson | Cosmetics in ActorImpl
|
commit | commitdiff | tree |
| 2022-03-11 |
Martin Quinson | Merge branch 'add_remaining_comm_sync_bindings' into...
|
commit | commitdiff | tree |
| 2022-03-10 |
Martin Quinson | easy sonar fixes
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | cosmetics in the release notes
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Better split between the cleanups from self and the...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Make our valgrind wrapper less verbose, so that it...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | further simpify the MC initialization on app side
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Simplify the parameter passing while initializing the...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Seal the platform only once from EngineImpl::run
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Fix clang builds (unused lambda capture)
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Cosmetics in the changelog and release notes
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Improve the Actor::set_auto_restart doc by specifying...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Introduce a Trait to deal with autorestart matter in...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | use get_restart_count from the monkey-masterwork, for...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | new: Actor::get_restart_count(): Returns the number...
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Update an outdated comment
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Rename mc::SafetyChecker to mc::DFSExplorer
|
commit | commitdiff | tree |
| 2022-03-09 |
Martin Quinson | Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm...
|
commit | commitdiff | tree |
| 2022-03-07 |
Martin Quinson | sonar
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | sonar fixes and little cleanups
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | Use the sg4 namespace in all examples
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | Revert "Fix a bug in MBI generators: &com[j] is not...
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | Fix a bug in MBI generators: &com[j] is not &(com[j])
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | Add another MBI test generator, to ease its debugging
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | Merge branch 'add_wait_for_to_py_comm_binding' into...
|
commit | commitdiff | tree |
| 2022-03-06 |
Martin Quinson | Import (some bits of) the MBI test suite
|
commit | commitdiff | tree |
| 2022-03-05 |
Martin Quinson | keep cool, sonar, everything's under control
|
commit | commitdiff | tree |
| 2022-03-05 |
Martin Quinson | Remove the ISP test suite (not free, superseeded by...
|
commit | commitdiff | tree |
| 2022-03-05 |
Martin Quinson | Plug a memleak in barriers
|
commit | commitdiff | tree |
| 2022-03-04 |
Martin Quinson | Fix the usage of cmake in FindSimGrid 'documentation'
|
commit | commitdiff | tree |
| 2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visible...
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Fix pip builds
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Activate valgrind analysis on monkey tests
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | semaphore monkey
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Kill dead MC code
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Mutex are now DPOR compatible
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | cmake simplification so that you only have to edit...
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Document recent changes
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Add a test for Semaphores + DPOR
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Semaphore made observable from the Checker side
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Display a nice error message when ptrace is not usable
|
commit | commitdiff | tree |
| 2022-03-03 |
Martin Quinson | Missing files, bummer
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | Python version of the masterworkers monkey
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | Chaos-monkey: use the new Engine::on_simulation_start...
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | New signal: Engine::on_simulation_start
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | Pass the boolean parameter to the on_exit python binding
|
commit | commitdiff | tree |
| 2022-03-02 |
Martin Quinson | simgrid-monkey: if the test is run within valgrind...
|
commit | commitdiff | tree |
| 2022-03-01 |
Martin Quinson | Merge branch 'dev' into 'master'
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Revalidate the tesh file after pushing the TODO of...
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Add missing file
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Don't use tesh to run monkey tests
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Ensure that the monkey tesh passes while not hindering...
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Our first monkey test case is now working
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | Enhance the documentation of Actor::daemonize()
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | give 2 workers to the monkey-masterworkers, so that...
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | More information on actor death in monkey's test case
|
commit | commitdiff | tree |
| 2022-02-28 |
Martin Quinson | kill some bits of mc::api::
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | fix java builds
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | No future.
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Rename sg::k::actor::simcall ::actor::simcall_answered
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Further cleanups in simix remains
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | MC: after all, checker does not need the list of dead...
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | reduce the visibility of popping_private
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | And now kill simcalls.py: simix v2 is not completely...
|
commit | commitdiff | tree |
| 2022-02-27 |
Martin Quinson | Kill popping_{enum,generated}
|
commit | commitdiff | tree |
| next |
