| 2022-03-22 |
Martin Quinson | Update tuto MC to the latest tool output
|
commit | commitdiff | tree |
| 2022-03-22 |
Martin Quinson | Fix make distcheck, once again
|
commit | commitdiff | tree |
| 2022-03-22 |
Martin Quinson | Complete the documentation of v3.31
|
commit | commitdiff | tree |
| 2022-03-21 |
Martin Quinson | Revalidate the tesh of a MC test that has now less...
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | Resynchronize simgrid's MBI adapter from MBI project
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | Add the remaining MBI generators
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | small sonar fixes
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | also remove the master example from example syncho...
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | Fail loudly when someone tries to use Actor::join(...
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | Don't have an extra actor in s4u-synchro-mutex to create...
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | MC: be more cautionous around MC_process_clock, the...
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | Cosmetics
|
commit | commitdiff | tree |
| 2022-03-20 |
Martin Quinson | MBI: reduce a bit the amount of supurious warnings...
|
commit | commitdiff | tree |
| 2022-03-19 |
Martin Quinson | Fix gcc builds :(
|
commit | commitdiff | tree |
| 2022-03-19 |
Martin Quinson | make a single barrier per RMA window and share it through...
|
commit | commitdiff | tree |
| 2022-03-19 |
Martin Quinson | Give users a way to debug their barriers
|
commit | commitdiff | tree |
| 2022-03-18 |
Martin Quinson | Finish to document the BMF options [no-ci]
|
commit | commitdiff | tree |
| 2022-03-18 |
Martin Quinson | MBI: don't add the path of the generator in the generated...
|
commit | commitdiff | tree |
| 2022-03-18 |
Martin Quinson | Specify actor in the MC traces
|
commit | commitdiff | tree |
| 2022-03-17 |
Martin Quinson | cosmetics in doc
|
commit | commitdiff | tree |
| 2022-03-17 |
Martin Quinson | Merge branch 'add_semaphore_python_bindings' into ...
|
commit | commitdiff | tree |
| 2022-03-17 |
Martin Quinson | doc: Fix some formatting issues
|
commit | commitdiff | tree |
| 2022-03-17 |
Martin Quinson | Release notes: shorten a bit, reindent, and reformat...
|
commit | commitdiff | tree |
| 2022-03-17 |
Martin Quinson | Begin to prepare the next release
|
commit | commitdiff | tree |
| 2022-03-16 |
Martin Quinson | Fix makedistcheck after !87
|
commit | commitdiff | tree |
| 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 |
| next |
