Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make the sendsend tests at least fail fast to not hinder my workflow
[simgrid.git] / src /
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory tree | commitdiff
2023-03-12 Martin QuinsonClean leftovers tree | commitdiff
2023-03-12 Martin QuinsonMC: stop reading maxpid in memory, but ask it over... tree | commitdiff
2023-03-12 Martin QuinsonOne use less of the global mc_model_checker tree | commitdiff
2023-03-12 Martin QuinsonThis seems to reduce the amount of failure, but I don... tree | commitdiff
2023-03-12 Arnaud GierschFix build with -D_GLIBCXX_DEBUG [-Werror=range-loop... tree | commitdiff
2023-03-10 Arnaud GierschFix assert: min and max are both included in interval... tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-10 Martin QuinsonTry to avoid a segfault on assert message tree | commitdiff
2023-03-10 Maxwell PirtleAdd first test for immediate conflicts edge case tree | commitdiff
2023-03-10 Maxwell PirtleAdd first batch of tests for conflict detection among... tree | commitdiff
2023-03-09 Henri Casanovare-fixed assert message with up-to-date configuration... tree | commitdiff
2023-03-09 Henri CasanovaAssert message fix tree | commitdiff
2023-03-09 Maxwell PirtleAdd implementation for immediate conflicts tree | commitdiff
2023-03-09 Maxwell PirtleRequire conflict-freedom in is_valid_configuration tree | commitdiff
2023-03-09 Maxwell PirtleAdd test to verify topological ordering of EventSet tree | commitdiff
2023-03-08 Arnaud GierschFix asserts for when received size is 0 (message type... tree | commitdiff
2023-03-08 Arnaud GierschDepreciate unused functions s4u::Comm::copy_{buffer... tree | commitdiff
2023-03-08 Arnaud GierschInline s4u::Comm::copy_pointer_callback which is the... tree | commitdiff
2023-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C) tree | commitdiff
2023-03-08 Arnaud GierschDepreciate ForcefulKillException::try_n_catch(). tree | commitdiff
2023-03-08 Arnaud GierschObvious typo. tree | commitdiff
2023-03-08 Maxwell PirtleFix logic for mutual conflict between two events tree | commitdiff
2023-03-08 Maxwell PirtleAdd conflict-free invariant check to Configuration tree | commitdiff
2023-03-08 Arnaud GierschUse #include <...> for foreign header files. tree | commitdiff
2023-03-08 Maxwell PirtleAdd preliminary tests for checking event conflicts tree | commitdiff
2023-03-08 Maxwell PirtleAdd conflict detection to EventSet tree | commitdiff
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' tree | commitdiff
2023-03-07 Maxwell PirtleAdd ability to restrict maximum subset size tree | commitdiff
2023-03-07 Maxwell PirtleAdd asserts for Configuration vs EventSet tree | commitdiff
2023-03-07 Maxwell PirtleAllow iteration over maximal subsets of an EventSet tree | commitdiff
2023-03-07 Maxwell PirtleMove topological ordering to EventSet tree | commitdiff
2023-03-07 Maxwell PirtleRename `EventSet::is_maximal_event_set()` tree | commitdiff
2023-03-07 Maxwell PirtleAdd some basic tests for variable_for_loop tree | commitdiff
2023-03-06 Maxwell PirtleWrite maximal_subsets_iterator_wrapper with xbt utils tree | commitdiff
2023-03-06 Maxwell PirtleFix edge cases in variable_for_loop tree | commitdiff
2023-03-06 Maxwell PirtleWrite LazyPowerSet in terms of iterator_wrapper tree | commitdiff
2023-03-06 Maxwell PirtleAdd iterator_wrapping convenience container tree | commitdiff
2023-03-06 Maxwell PirtleAdd first implementation of variable for-loop tree | commitdiff
2023-03-06 Martin QuinsonFix clang build and make output more portable/predictible tree | commitdiff
2023-03-06 Maxwell PirtleAdd computation for minimally reproducible sets tree | commitdiff
2023-03-06 Martin Quinsonsthread: Add a way to verify accesses to non-reentrant... tree | commitdiff
2023-03-06 Martin QuinsonCosmetics in sthread output when not using SMPI tree | commitdiff
2023-03-05 Arnaud GierschFix compilation error with clang 11.0.1. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-05 Arnaud GierschDon't clear flops_amount on ExecImpl::reset. tree | commitdiff
2023-03-05 Arnaud GierschQuick tests show that currentContainer is always empty... tree | commitdiff
2023-03-04 Arnaud GierschWalking the stack in the forward direction gives the... tree | commitdiff
2023-03-04 Arnaud GierschSimplify assertions. tree | commitdiff
2023-03-04 Augustin Degommeassume mmap is not functional for us on macos>=11 as... tree | commitdiff
2023-03-03 Martin QuinsonFix a useless change -- and go get some sleep tree | commitdiff
2023-03-03 Martin QuinsonReindent -- almost no real change tree | commitdiff
2023-03-03 Martin Quinsonfix MC + gcc builds tree | commitdiff
2023-03-03 Martin QuinsonMove the implem of a function out of the header to... tree | commitdiff
2023-03-03 Martin QuinsonMove the PageStore from ModelChecker to RemoteApp tree | commitdiff
2023-03-03 Maxwell PirtleFilter events before performing iteration tree | commitdiff
2023-03-02 Martin QuinsonMove the stats of visited_states count from ModelChecke... tree | commitdiff
2023-03-02 Martin QuinsonMove the dot_output from ModelChecker to Exploration tree | commitdiff
2023-03-02 Martin QuinsonOne reference to the global singleton mc_model_checker... tree | commitdiff
2023-03-02 Martin QuinsonRename some fields to obey our coding standard tree | commitdiff
2023-03-02 Martin QuinsonAllow to call SMPI_app_instance_start() once the simula... tree | commitdiff
2023-03-02 Arnaud GierschZero-initialize more messages. tree | commitdiff
2023-03-02 Maxwell PirtleFix subtle implementation bug with maximal set filtering tree | commitdiff
2023-03-02 Arnaud GierschMessage is retrieved as an unsigned long (according... tree | commitdiff
2023-03-02 Maxwell PirtleAdd working implementation of maximal_subsets_iterator tree | commitdiff
2023-03-02 Martin QuinsonFix a typo found by clang in MC builds tree | commitdiff
2023-03-02 Maxwell PirtleClean up maximum_subsets_iterator tree | commitdiff
2023-03-02 Arnaud GierschReplace memset(..., 0, ...) with zero-initialization. tree | commitdiff
2023-03-02 Arnaud GierschZero-initialize messages (essentially their padding... tree | commitdiff
2023-03-02 Arnaud GierschHelp to identify null values. tree | commitdiff
2023-03-02 Arnaud GierschLookup only once in map. tree | commitdiff
2023-03-02 Arnaud GierschUseless assignments to local variable. tree | commitdiff
2023-03-02 Maxwell PirtlePass references to `const Unfolding*` in most places tree | commitdiff
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_iterator tree | commitdiff
2023-03-01 Martin QuinsonNew function SMPI_app_instance_start() to easily start... tree | commitdiff
2023-03-01 Martin QuinsonTry to fix a fixme blindly, just in case it was easy tree | commitdiff
2023-03-01 Maxwell PirtleUse boost::iterator_facade for History::Iterator tree | commitdiff
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' tree | commitdiff
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends tree | commitdiff
2023-02-28 Maxwell PirtleAdd tests for LazyKSubsets and LazyPowerset tree | commitdiff
2023-02-28 Maxwell PirtleAdd LazyPowerSet and LazyKSubsets tree | commitdiff
2023-02-28 Maxwell PirtleAdd more comments to subsets_iterator implementation tree | commitdiff
2023-02-28 Maxwell PirtleAdd powerset_iterator to simgrid::xbt tree | commitdiff
2023-02-28 Maxwell PirtleUse boost::iterator_facade for subsets_iterator tree | commitdiff
2023-02-27 Maxwell PirtleRemove subsets.cpp file tree | commitdiff
2023-02-27 Maxwell PirtleAdd "working" (but untested) implementation of iterativ... tree | commitdiff
2023-02-27 Maxwell PirtleAdd first "implementation" of k-subsets iterator tree | commitdiff
2023-02-27 Maxwell PirtleAdd iterator files to xbt/utils tree | commitdiff
2023-02-27 Maxwell PirtleFix most of the remaining code warnings tree | commitdiff
2023-02-27 Maxwell PirtleAdd default method for constructing full graph tree | commitdiff
2023-02-27 Maxwell PirtleAdd predicate filtering to compatibility graph comp tree | commitdiff
2023-02-27 Maxwell PirtleFix most cosmetics and code warnings tree | commitdiff
2023-02-27 Maxwell PirtleCreate a private struct to hold search data tree | commitdiff
2023-02-27 Maxwell PirtleAdd first go at compatibility graph construction tree | commitdiff
2023-02-27 Maxwell PirtleAdd first steps towards an implementation of ex(C) tree | commitdiff
2023-02-27 Maxwell PirtleAdd CompatibilityGraph and CompatibilityGraphNode tree | commitdiff
2023-02-26 Martin QuinsonUse bool for booleans tree | commitdiff
2023-02-26 Martin QuinsonKill a now useless field tree | commitdiff
2023-02-26 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-02-26 Martin QuinsonAlso detect the disk failures tree | commitdiff
next
Clone of SimGrid repository with local patches