Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2023-05-24 Arnaud GierschDisable implicit conversions in nlohmann/json.
2023-05-24 Maxwell PirtleAdd reversible race implementations for Comm actions
2023-05-24 Maxwell PirtleAdd reversible race calculator
2023-05-24 Maxwell PirtleAdd non-trivial insertion test
2023-05-24 Fred Sutermove handling of remote disks to platform parsing.
2023-05-24 Fred Suteradd accessors
2023-05-24 Martin QuinsonSpecialize the Activity on_veto, on_suspend and on_resu...
2023-05-23 Martin QuinsonHide a bit an internal method (make it protected)
2023-05-23 Martin Quinsoneasy cleanup
2023-05-23 Martin QuinsonGive the on_this_ variant to all VM signals
2023-05-23 Martin QuinsonSort the signals on the plugin page
2023-05-23 Martin QuinsonRename Resource::on_state_change to Resource::on_onoff...
2023-05-23 Martin QuinsonUse the right version for the deprecate macro
2023-05-23 Martin QuinsonGive the _this_ variants to the Link signals
2023-05-23 Arnaud GierschIgnore ASan warnings about odr-violation with Activity_...
2023-05-23 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-05-23 Martin QuinsonVarious cleanups in the Host signals
2023-05-23 Arnaud GierschRemove global variables in PageStore_test too (mimic...
2023-05-23 Arnaud GierschUse C++17 features: std::scoped_lock and structured...
2023-05-23 Arnaud GierschUse the "_t" and "_v" version of type traits.
2023-05-23 Arnaud GierschCompact namespaces.
2023-05-23 Arnaud GierschC++17 support is now required for public headers too.
2023-05-23 Maxwell PirtleAdd tests for initials and independence for Execution
2023-05-23 Fred Suteradd Io operations and an example
2023-05-23 Maxwell PirtleAdd first round of execution independence tests
2023-05-23 Fred Suteranother try to please clang
2023-05-23 Fred Sutertry to solve the -Wundefined-var-template thing with...
2023-05-23 Fred Suterallow operation to execute more than one function at...
2023-05-22 Fred Suteradd missing override
2023-05-22 Fred Suterhave a on_completion per activity type to save users...
2023-05-22 Martin QuinsonAdd instance signals for all Disk signals
2023-05-22 Martin QuinsonAdd instance signals for all Actor signals
2023-05-22 Martin Quinsonno need to save all ns3 sink points
2023-05-22 Martin QuinsonRename cfg 'ns3/TcpModel' to 'ns3/UdpModel'
2023-05-22 Martin QuinsonTest that setting ns3 TCP models actually work
2023-05-22 Martin Quinsoncosmetics in the ChangeLog
2023-05-22 Fred Suter allow activities launched by maestro to be instrumented
2023-05-22 Fred Suterthrow on_send and on_receive signals when doing a host...
2023-05-22 Fred Suterallow to set tracing category in STARTING state
2023-05-22 Maxwell PirtleAdd test for removing the first single-process subtree
2023-05-22 Maxwell PirtleBegin adding tests for subtree rooting
2023-05-22 Maxwell PirtleAdd detailed stress test for WakeupTree
2023-05-22 Maxwell PirtleBegin first round of in-depth tests for WakeupTree
2023-05-17 Arnaud GierschExplicitly capture required scope variables (sonar).
2023-05-17 Arnaud GierschGet rid of global variables for snapshot tests.
2023-05-17 Maxwell PirtleAdd first "working" version of ODPOR
2023-05-16 Adrien Gougeonfix example photovoltaic
2023-05-16 Adrien Gougeonadd photovoltaic plugin
2023-05-16 Maxwell PirtleAdd tests before changes to WakeupTree structure
2023-05-16 Arnaud GierschReduce scope for variables.
2023-05-16 Arnaud GierschDon't shadow outer variables.
2023-05-16 Arnaud GierschUse plain pointers instead of references to pointer.
2023-05-16 mlaurentAdd some strategies and fix the semantics of Max/MinMatch
2023-05-16 Maxwell PirtleAdd first round of extensive docs to ODPOR methods
2023-05-16 Maxwell PirtleAdd test files for WakeupTree
2023-05-16 Maxwell PirtleAdd explicit ODPOR clean-up phase to DFSExplorer
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic
2023-05-16 Maxwell PirtleAdd ODPOR extension computation (lines 4-6)
2023-05-16 Maxwell PirtleUse `std::shared_ptr<Transition>` for Execution
2023-05-16 Maxwell PirtleAdd ODPOR race detection phase rough-draft
2023-05-16 Maxwell PirtleAdd boolean check for wakeup tree initialization
2023-05-16 Maxwell PirtleAutomatically remove nodes from parents
2023-05-16 Maxwell PirtleAdd tree pruning/subtree methods to State
2023-05-16 Maxwell PirtleAdd skeleton for expansion phase of ODPOR
2023-05-16 Maxwell PirtleAdd logic for subtree node removal
2023-05-16 Maxwell PirtleFinish post-order travesal with WakeupTreeIterator
2023-05-16 Maxwell PirtleAdd logic for subtree extraction from wakeup trees
2023-05-16 Maxwell PirtleAdd complicated computation of v ~_E w to Execution
2023-05-16 Maxwell PirtleAdd skeleton of implementation for tree insertion
2023-05-16 Maxwell PirtleAdd WakeupTreeIterator and WakeupTree skeletons
2023-05-16 Maxwell PirtleAdd more docmentation for get_first_sdpor_initial()
2023-05-15 Arnaud GierschSuprious brace (fix non-linux builds).
2023-05-15 Arnaud GierschDefine master_socket_name only once, and embed it with...
2023-05-15 Arnaud GierschTry harder not to fail with stale sockets after several...
2023-05-15 Arnaud GierschThe default destructor should be fine.
2023-05-15 Maxwell PirtleAdd more documentation to ClockVector/Execution
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector
2023-05-12 Maxwell PirtleFix MANIFEST.in
2023-05-12 Maxwell PirtleIntegrate SDPOR into `model-check/reduction` flag
2023-05-12 Maxwell PirtleAdd more documentation to essential SDPOR methods
2023-05-12 Maxwell PirtleModify tesh suite expectations with changes to dependencies
2023-05-12 Maxwell PirtleFix ObjectAccess dependency check
2023-05-12 Maxwell PirtleFix subtlety with SDPOR/ODPOR initials
2023-05-12 Maxwell PirtleFix two off-by-one errors with clock vectors
2023-05-12 Maxwell PirtleMark `ActorJoin` dependent with `target_`
2023-05-12 Maxwell PirtlePrevent adding outgoing transition for top-most state
2023-05-12 Maxwell PirtleAdd workaround for subtlety with state regeneration
2023-05-12 Maxwell PirtleAdd first tests for "happens-before"
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method
2023-05-12 Maxwell PirtleAdd tentatively-working SDPOR implementation
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews
2023-05-12 Maxwell PirtleRemove sdpor folder in favor of odpor only
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions
2023-05-12 Maxwell PirtleAdd class for eventual "happens-before" computations
2023-05-12 Arnaud GierschDisable move constructor which cannot be 'noexecept...
2023-05-12 Arnaud GierschCosmetics.
2023-05-11 Fred Suteradd two more utility functions to the Operation plugin
2023-05-10 Martin QuinsonFix make distcheck
2023-05-10 Martin QuinsonMC: Kill the now useless code State::get_recipe
next