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-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C) commit | commitdiff | tree | snapshot
2023-03-08 Maxwell PirtleFix logic for mutual conflict between two events commit | commitdiff | tree | snapshot
2023-03-08 Maxwell PirtleAdd conflict-free invariant check to Configuration commit | commitdiff | tree | snapshot
2023-03-08 Maxwell PirtleAdd preliminary tests for checking event conflicts commit | commitdiff | tree | snapshot
2023-03-08 Maxwell PirtleAdd conflict detection to EventSet commit | commitdiff | tree | snapshot
2023-03-07 Maxwell PirtleAdd ability to restrict maximum subset size commit | commitdiff | tree | snapshot
2023-03-07 Maxwell PirtleAdd asserts for Configuration vs EventSet commit | commitdiff | tree | snapshot
2023-03-07 Maxwell PirtleAllow iteration over maximal subsets of an EventSet commit | commitdiff | tree | snapshot
2023-03-07 Maxwell PirtleMove topological ordering to EventSet commit | commitdiff | tree | snapshot
2023-03-07 Maxwell PirtleRename `EventSet::is_maximal_event_set()` commit | commitdiff | tree | snapshot
2023-03-07 Maxwell PirtleAdd some basic tests for variable_for_loop commit | commitdiff | tree | snapshot
2023-03-06 Maxwell PirtleWrite maximal_subsets_iterator_wrapper with xbt utils commit | commitdiff | tree | snapshot
2023-03-06 Maxwell PirtleFix edge cases in variable_for_loop commit | commitdiff | tree | snapshot
2023-03-06 Maxwell PirtleWrite LazyPowerSet in terms of iterator_wrapper commit | commitdiff | tree | snapshot
2023-03-06 Maxwell PirtleAdd iterator_wrapping convenience container commit | commitdiff | tree | snapshot
2023-03-06 Maxwell PirtleAdd first implementation of variable for-loop commit | commitdiff | tree | snapshot
2023-03-06 Maxwell PirtleAdd computation for minimally reproducible sets commit | commitdiff | tree | snapshot
2023-03-06 Martin Quinsonsthread: Add a way to verify accesses to non-reentrant... commit | commitdiff | tree | snapshot
2023-03-06 Martin QuinsonCosmetics in sthread output when not using SMPI commit | commitdiff | tree | snapshot
2023-03-06 Arnaud GierschEnable compile optimizations when tests will be run. commit | commitdiff | tree | snapshot
2023-03-05 Arnaud GierschMissing ']' commit | commitdiff | tree | snapshot
2023-03-05 Arnaud GierschFix compilation error with clang 11.0.1. commit | commitdiff | tree | snapshot
2023-03-05 Arnaud GierschEnable _GLIBCXX_DEBUG for one of the builds. commit | commitdiff | tree | snapshot
2023-03-05 Arnaud GierschSonar smells. commit | commitdiff | tree | snapshot
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' commit | commitdiff | tree | snapshot
2023-03-05 Arnaud GierschDon't clear flops_amount on ExecImpl::reset. commit | commitdiff | tree | snapshot
2023-03-05 Arnaud GierschQuick tests show that currentContainer is always empty... commit | commitdiff | tree | snapshot
2023-03-04 Arnaud GierschWalking the stack in the forward direction gives the... commit | commitdiff | tree | snapshot
2023-03-04 Arnaud GierschSimplify assertions. commit | commitdiff | tree | snapshot
2023-03-04 Augustin Degommetry to use another mattermost action, as the main one... commit | commitdiff | tree | snapshot
2023-03-04 Augustin Degomme[ci-skpi] fix sending of messages, and do parallel... commit | commitdiff | tree | snapshot
2023-03-04 Augustin Degommeassume mmap is not functional for us on macos>=11 as... commit | commitdiff | tree | snapshot
2023-03-04 Augustin Degomme[ci skip] remove spurious line commit | commitdiff | tree | snapshot
2023-03-04 Augustin Degommeadd macos build to github action, untested commit | commitdiff | tree | snapshot
2023-03-04 Augustin Degommeremove ns3 from ubuntu stable and github actions, as... commit | commitdiff | tree | snapshot
2023-03-03 Martin QuinsonFix a useless change -- and go get some sleep commit | commitdiff | tree | snapshot
2023-03-03 Martin QuinsonBump cmake to at least 3.12 commit | commitdiff | tree | snapshot
2023-03-03 Martin Quinsonpython3-dev is another dependency of the Python bindings commit | commitdiff | tree | snapshot
2023-03-03 Martin QuinsonReindent -- almost no real change commit | commitdiff | tree | snapshot
2023-03-03 Arnaud GierschForgot to add c++17g to the "ignore" list. commit | commitdiff | tree | snapshot
2023-03-03 Martin Quinsonfix MC + gcc builds commit | commitdiff | tree | snapshot
2023-03-03 Martin QuinsonMove the implem of a function out of the header to... commit | commitdiff | tree | snapshot
2023-03-03 Martin QuinsonMove the PageStore from ModelChecker to RemoteApp commit | commitdiff | tree | snapshot
2023-03-03 Maxwell PirtleCorrect MANIFEST.in according to `make distcheck` commit | commitdiff | tree | snapshot
2023-03-03 Maxwell PirtleFilter events before performing iteration commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonMove the stats of visited_states count from ModelChecke... commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonMove the dot_output from ModelChecker to Exploration commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonOne reference to the global singleton mc_model_checker... commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonRename some fields to obey our coding standard commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonAllow to call SMPI_app_instance_start() once the simula... commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschZero-initialize more messages. commit | commitdiff | tree | snapshot
2023-03-02 Maxwell PirtleFix subtle implementation bug with maximal set filtering commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschMessage is retrieved as an unsigned long (according... commit | commitdiff | tree | snapshot
2023-03-02 Maxwell PirtleAdd working implementation of maximal_subsets_iterator commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonFix a typo found by clang in MC builds commit | commitdiff | tree | snapshot
2023-03-02 Maxwell PirtleClean up maximum_subsets_iterator commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschReplace memset(..., 0, ...) with zero-initialization. commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschZero-initialize messages (essentially their padding... commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschHelp to identify null values. commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschLookup only once in map. commit | commitdiff | tree | snapshot
2023-03-02 Arnaud GierschUseless assignments to local variable. commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonGH action: build out of sources commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonInstall python deps on GHaction + better documentation... commit | commitdiff | tree | snapshot
2023-03-02 Maxwell PirtlePass references to `const Unfolding*` in most places commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonMais quel débile, punaise commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonMC builds have specific dependencies commit | commitdiff | tree | snapshot
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_iterator commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonGH action: ninja is verbose on error anyway commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonGH action: use the correct package name commit | commitdiff | tree | snapshot
2023-03-02 Martin Quinsongh action: we need 'sudo' here commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonGH action: install deps commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonGH action: use existing runners commit | commitdiff | tree | snapshot
2023-03-02 Martin Quinsonmessing with git actions commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonFix yaml syntax :( commit | commitdiff | tree | snapshot
2023-03-02 Martin QuinsonAdd a github action to test our git on Debian11, regula... commit | commitdiff | tree | snapshot
2023-03-02 Henri CasanovaPass on documentation's Design Goals section commit | commitdiff | tree | snapshot
2023-03-01 Henri CasanovaMore work on the documentation's Models section commit | commitdiff | tree | snapshot
2023-03-01 Martin QuinsonNew function SMPI_app_instance_start() to easily start... commit | commitdiff | tree | snapshot
2023-03-01 Martin QuinsonTry to fix a fixme blindly, just in case it was easy commit | commitdiff | tree | snapshot
2023-03-01 Henri CasanovaPass on the documentation's Introduction page. Minor... commit | commitdiff | tree | snapshot
2023-03-01 Maxwell PirtleUse boost::iterator_facade for History::Iterator commit | commitdiff | tree | snapshot
2023-02-28 Martin QuinsonFix make distcheck commit | commitdiff | tree | snapshot
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleAdd src/xbt/.../subsets_tests.cpp to manifest file commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleAdd tests for LazyKSubsets and LazyPowerset commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleAdd LazyPowerSet and LazyKSubsets commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleAdd more comments to subsets_iterator implementation commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleAdd powerset_iterator to simgrid::xbt commit | commitdiff | tree | snapshot
2023-02-28 Maxwell PirtleUse boost::iterator_facade for subsets_iterator commit | commitdiff | tree | snapshot
2023-02-28 Arnaud GierschUpdate .mailmap [ci-skip] commit | commitdiff | tree | snapshot
2023-02-28 Martin Quinsondoc: Rework the intro pages commit | commitdiff | tree | snapshot
2023-02-27 Maxwell PirtleRemove subsets.cpp file commit | commitdiff | tree | snapshot
2023-02-27 Maxwell PirtleAdd "working" (but untested) implementation of iterativ... commit | commitdiff | tree | snapshot
2023-02-27 Maxwell PirtleAdd first "implementation" of k-subsets iterator commit | commitdiff | tree | snapshot
2023-02-27 Maxwell PirtleAdd iterator files to xbt/utils commit | commitdiff | tree | snapshot
2023-02-27 Martin QuinsonPlug a memleak + experience that code out of the MC... commit | commitdiff | tree | snapshot
2023-02-27 Martin Quinsoncosmetics in docs commit | commitdiff | tree | snapshot
2023-02-27 Martin QuinsonAsynchronous locks and fluid I/O streams were aded... commit | commitdiff | tree | snapshot
2023-02-27 Martin QuinsonAdd 3 figures to the design goals + minor rewording commit | commitdiff | tree | snapshot
next
Clone of SimGrid repository with local patches