Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
simgrid.git
2023-05-31 Maxwell PirtleFix MANIFEST.in etc. commit | commitdiff | tree | snapshot
2023-05-30 Maxwell PirtleForce the use of sleep sets with ODPOR commit | commitdiff | tree | snapshot
2023-05-30 Maxwell PirtleAdjust tesh tests according to changes in deps. commit | commitdiff | tree | snapshot
2023-05-30 Maxwell PirtleMark transitions run by the same actor as dependent commit | commitdiff | tree | snapshot
2023-05-30 Maxwell PirtleFix subtle bug in ~_E computation commit | commitdiff | tree | snapshot
2023-05-26 Maxwell PirtleAdd remaining handlers to ReversibleRaceCalculator commit | commitdiff | tree | snapshot
2023-05-26 Maxwell PirtleResolve misconception with ODPOR pseudocode impl. commit | commitdiff | tree | snapshot
2023-05-26 Maxwell PirtleResolve misconception with SDPOR pseudocode impl. commit | commitdiff | tree | snapshot
2023-05-26 Maxwell PirtleFix subtle bug in Execution regeneration in DFSExplorer commit | commitdiff | tree | snapshot
2023-05-25 Maxwell PirtleKeep pointers to transitions instead of slices commit | commitdiff | tree | snapshot
2023-05-25 Maxwell PirtleFix two minor bugs in the ODPOR implementation commit | commitdiff | tree | snapshot
2023-05-24 Maxwell PirtleAdd reversible race implementations for Comm actions commit | commitdiff | tree | snapshot
2023-05-24 Maxwell PirtleAdd reversible race calculator commit | commitdiff | tree | snapshot
2023-05-24 Maxwell PirtleAdd non-trivial insertion test commit | commitdiff | tree | snapshot
2023-05-23 Maxwell PirtleAdd tests for initials and independence for Execution commit | commitdiff | tree | snapshot
2023-05-23 Maxwell PirtleAdd first round of execution independence tests commit | commitdiff | tree | snapshot
2023-05-22 Maxwell PirtleAdd test for removing the first single-process subtree commit | commitdiff | tree | snapshot
2023-05-22 Maxwell PirtleBegin adding tests for subtree rooting commit | commitdiff | tree | snapshot
2023-05-22 Maxwell PirtleAdd detailed stress test for WakeupTree commit | commitdiff | tree | snapshot
2023-05-22 Maxwell PirtleBegin first round of in-depth tests for WakeupTree commit | commitdiff | tree | snapshot
2023-05-17 Maxwell PirtleAdd first "working" version of ODPOR commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd tests before changes to WakeupTree structure commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd first round of extensive docs to ODPOR methods commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd test files for WakeupTree commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd explicit ODPOR clean-up phase to DFSExplorer commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd ODPOR extension computation (lines 4-6) commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleUse `std::shared_ptr<Transition>` for Execution commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd ODPOR race detection phase rough-draft commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd boolean check for wakeup tree initialization commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAutomatically remove nodes from parents commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd tree pruning/subtree methods to State commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd skeleton for expansion phase of ODPOR commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd logic for subtree node removal commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleFinish post-order travesal with WakeupTreeIterator commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd logic for subtree extraction from wakeup trees commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd complicated computation of v ~_E w to Execution commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd skeleton of implementation for tree insertion commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd WakeupTreeIterator and WakeupTree skeletons commit | commitdiff | tree | snapshot
2023-05-16 Maxwell PirtleAdd more docmentation for get_first_sdpor_initial() commit | commitdiff | tree | snapshot
2023-05-15 Maxwell PirtleAdd more documentation to ClockVector/Execution commit | commitdiff | tree | snapshot
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleFix MANIFEST.in commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleIntegrate SDPOR into `model-check/reduction` flag commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd more documentation to essential SDPOR methods commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleModify tesh suite expectations with changes to dependencies commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleFix ObjectAccess dependency check commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleFix subtlety with SDPOR/ODPOR initials commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleFix two off-by-one errors with clock vectors commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleMark `ActorJoin` dependent with `target_` commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtlePrevent adding outgoing transition for top-most state commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd workaround for subtlety with state regeneration commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd first tests for "happens-before" commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd tentatively-working SDPOR implementation commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleRemove sdpor folder in favor of odpor only commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions commit | commitdiff | tree | snapshot
2023-05-12 Maxwell PirtleAdd class for eventual "happens-before" computations commit | commitdiff | tree | snapshot
2023-05-11 Fred Suteradd two more utility functions to the Operation plugin commit | commitdiff | tree | snapshot
2023-05-10 Martin QuinsonFix make distcheck commit | commitdiff | tree | snapshot
2023-05-10 Martin QuinsonMC: Kill the now useless code State::get_recipe commit | commitdiff | tree | snapshot
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid commit | commitdiff | tree | snapshot
2023-05-10 Martin QuinsonDFS MC: Restore from system states even if we have... commit | commitdiff | tree | snapshot
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master' commit | commitdiff | tree | snapshot
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master' commit | commitdiff | tree | snapshot
2023-05-09 Arnaud GierschUse forwarding references with std::forward (sonar). commit | commitdiff | tree | snapshot
2023-05-09 Arnaud GierschUse a std::vector as an underlying container for backtr... commit | commitdiff | tree | snapshot
2023-05-09 Arnaud GierschUse a static variable for empty_set, and allow default... commit | commitdiff | tree | snapshot
2023-05-09 Adrien Gougeonadd dag scheduling lab commit | commitdiff | tree | snapshot
2023-05-08 Arnaud GierschPlug memory leak. commit | commitdiff | tree | snapshot
2023-05-06 Arnaud GierschUse pointer-to-const for parameter (sonar). commit | commitdiff | tree | snapshot
2023-05-05 Arnaud GierschFix sonar bug: attribute access on a value that can... commit | commitdiff | tree | snapshot
2023-05-05 Arnaud GierschMisc Sonar issues. commit | commitdiff | tree | snapshot
2023-05-05 Fred Sutermess up with operations commit | commitdiff | tree | snapshot
2023-05-04 Martin QuinsonRename Link::get_usage() to Link::get_load() for consis... commit | commitdiff | tree | snapshot
2023-05-04 Adrien Gougeonadd plugins operation and battery commit | commitdiff | tree | snapshot
2023-05-03 Fred Suterfurther simplify this example commit | commitdiff | tree | snapshot
2023-05-03 Martin QuinsonOne use less of get_recipe() that will soon die commit | commitdiff | tree | snapshot
2023-05-03 Martin QuinsonFactorize more code between DFSExplo and LivenessExplo... commit | commitdiff | tree | snapshot
2023-05-02 Arnaud GierschKill useless empty function. commit | commitdiff | tree | snapshot
2023-05-02 Arnaud GierschMissing "override". commit | commitdiff | tree | snapshot
2023-05-02 Arnaud GierschSimplify expression. commit | commitdiff | tree | snapshot
2023-05-02 Arnaud GierschFix use-after-free observed with the s4u-operation... commit | commitdiff | tree | snapshot
2023-05-02 Arnaud GierschCosmetics (sonar). commit | commitdiff | tree | snapshot
2023-05-02 Arnaud GierschDefine each identifier in a dedicated statement (sonar). commit | commitdiff | tree | snapshot
2023-04-29 Arnaud GierschRevert "Run mc-*-liveness tests serial, and hope to... commit | commitdiff | tree | snapshot
2023-04-27 Arnaud GierschWhitespace cleanup (codefactor.io). commit | commitdiff | tree | snapshot
2023-04-27 Martin QuinsonLazily compute the recipe of a state, on need only commit | commitdiff | tree | snapshot
2023-04-27 Martin QuinsonMore automatic memory mgmt in MC commit | commitdiff | tree | snapshot
2023-04-27 Martin QuinsonMC: give each state an incoming transition too commit | commitdiff | tree | snapshot
2023-04-27 Martin QuinsonFix comment [no-ci] commit | commitdiff | tree | snapshot
2023-04-27 Arnaud GierschRun mc-*-liveness tests serial, and hope to pass on CI. commit | commitdiff | tree | snapshot
2023-04-27 Arnaud GierschFix comment. commit | commitdiff | tree | snapshot
2023-04-27 Arnaud GierschThere is no need to declare the default constructors... commit | commitdiff | tree | snapshot
2023-04-27 Arnaud GierschFix build error: exception specification of explicitly commit | commitdiff | tree | snapshot
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' commit | commitdiff | tree | snapshot
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' commit | commitdiff | tree | snapshot
2023-04-17 Martin Quinsonsonar fixes commit | commitdiff | tree | snapshot
next
Clone of SimGrid repository with local patches