Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add asserts for Configuration vs EventSet
[simgrid.git] / src /
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 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
2023-02-26 Martin QuinsonFurther simplify the way host failures are detected tree | commitdiff
2023-02-25 Martin QuinsonSimplify the way Execs detect host failures tree | commitdiff
2023-02-24 Arnaud GierschClear timeout detectors on finish(). tree | commitdiff
2023-02-24 Arnaud GierschFill cmdline_ for each instance of EngimeImpl. tree | commitdiff
2023-02-24 Martin QuinsonWhen the chaos monkey is invoked with nothing to do... tree | commitdiff
2023-02-24 Martin QuinsonMerge branch 'udpor-phase2' into 'master' tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-24 mlaurentfix the done marking of multiple times taken transitions tree | commitdiff
2023-02-24 Maxwell PirtleAdd complicated topological sort test tree | commitdiff
2023-02-24 Maxwell PirtleAdd first unit tests for topological sorting tree | commitdiff
2023-02-24 Maxwell PirtleAdd topological sort of configuration events tree | commitdiff
2023-02-24 Martin QuinsonAdd a comment on why we need such a callback tree | commitdiff
2023-02-23 Martin QuinsonMerge ActivityImpl::post() and ::finish() tree | commitdiff
2023-02-23 Martin QuinsonDo not clean twice in Activity::post(), so that even... tree | commitdiff
2023-02-23 Fred Suteruniformization: call post that calls finish tree | commitdiff
2023-02-23 Martin QuinsonSanitize the handling of timeouts in CommImpl, ExecImpl... tree | commitdiff
2023-02-23 Martin QuinsonPrefer ActivityImpl::post() to ::finish() that should die tree | commitdiff
2023-02-23 Arnaud GierschComment out unused private fields (fix compilation... tree | commitdiff
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master' tree | commitdiff
2023-02-23 Arnaud GierschComment is not relevant anymore. tree | commitdiff
2023-02-23 Arnaud GierschUse type aid_t for an actor's PID. tree | commitdiff
2023-02-23 Arnaud GierschMore Sonar issues. tree | commitdiff
2023-02-23 Arnaud GierschUse C++17's std::scoped_lock where appropriate. tree | commitdiff
2023-02-23 Arnaud GierschDon't access variable ouside of the critical section. tree | commitdiff
2023-02-23 Arnaud GierschVarious cleanups. tree | commitdiff
2023-02-22 mlaurenttransitions in the same actor are dependent tree | commitdiff
2023-02-22 Martin QuinsonPartially revert 2ad536e710c5936ff8e525e4bbb5e7046f292a... tree | commitdiff
2023-02-22 Martin QuinsonImplement the semaphore functions in sthread tree | commitdiff
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurentfix a few test with dpor tree | commitdiff
next
Clone of SimGrid repository with local patches