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-17 Martin QuinsonA few calls to mc_model_checker less by passing more... commit | commitdiff | tree | snapshot
2023-03-17 Martin QuinsonMove handle_simcall from ModelChecker to RemoteApp commit | commitdiff | tree | snapshot
2023-03-17 Martin QuinsonMerge branch 'master' into 'master' commit | commitdiff | tree | snapshot
2023-03-17 mlaurentAdd reference to parent state: only use this creation... commit | commitdiff | tree | snapshot
2023-03-16 Arnaud GierschMissing include. commit | commitdiff | tree | snapshot
2023-03-16 Arnaud GierschDecrease required version for nlohmann_json; add to... commit | commitdiff | tree | snapshot
2023-03-16 Arnaud GierschUseless guards. commit | commitdiff | tree | snapshot
2023-03-16 Arnaud GierschApply "smpi/buffering" when MC_record_replay_is_active... commit | commitdiff | tree | snapshot
2023-03-15 Martin QuinsonSanitize how we know the current MC mode commit | commitdiff | tree | snapshot
2023-03-15 Martin QuinsonMake it compile with all warnings enabled commit | commitdiff | tree | snapshot
2023-03-15 Martin QuinsonDocument a future cleanup to do when we bump cmake... commit | commitdiff | tree | snapshot
2023-03-14 Arnaud GierschRemove comments about non-existent support for smpi... commit | commitdiff | tree | snapshot
2023-03-14 Arnaud GierschReally check the privatization option in the MCed SMPI... commit | commitdiff | tree | snapshot
2023-03-14 Arnaud GierschInform if JSON lib is found. commit | commitdiff | tree | snapshot
2023-03-13 Martin QuinsonTest for JSON before using it commit | commitdiff | tree | snapshot
2023-03-13 Martin QuinsonCosmetics commit | commitdiff | tree | snapshot
2023-03-13 Martin Quinsonfix make distcheck commit | commitdiff | tree | snapshot
2023-03-13 Fred SuterMerge branch 'master' into 'master' commit | commitdiff | tree | snapshot
2023-03-13 AdrienAdd wfformat json DAG loader and DAG doc commit | commitdiff | tree | snapshot
2023-03-13 Martin QuinsonCorrectly protect tests property settings, bummer commit | commitdiff | tree | snapshot
2023-03-13 Martin QuinsonGive the remote_process_memory to the mc::State constructor commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMove another function of ModelChecker to RemoteProcessM... commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMove another function out of ModelChecker commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMove a function from ModelChecker to Exploration commit | commitdiff | tree | snapshot
2023-03-12 Martin Quinsonmove wait_for_requests() from ModelChecker to RemoteApp commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonInline a function in ModelChecker commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMove one method from ModelChecker to Exploration commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMove 2 functions from mc::ModelChecker to mc::RemoteApp commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMake the sendsend tests at least fail fast to not hinde... commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonClean leftovers commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonMC: stop reading maxpid in memory, but ask it over... commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonOne use less of the global mc_model_checker commit | commitdiff | tree | snapshot
2023-03-12 Martin QuinsonThis seems to reduce the amount of failure, but I don... commit | commitdiff | tree | snapshot
2023-03-12 Arnaud GierschFix build with -D_GLIBCXX_DEBUG [-Werror=range-loop... commit | commitdiff | tree | snapshot
2023-03-10 Arnaud GierschFix assert: min and max are both included in interval... commit | commitdiff | tree | snapshot
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' commit | commitdiff | tree | snapshot
2023-03-10 Martin QuinsonTry to avoid a segfault on assert message commit | commitdiff | tree | snapshot
2023-03-10 Maxwell PirtleAdd first test for immediate conflicts edge case commit | commitdiff | tree | snapshot
2023-03-10 Maxwell PirtleAdd first batch of tests for conflict detection among... commit | commitdiff | tree | snapshot
2023-03-09 Henri Casanovare-fixed assert message with up-to-date configuration... commit | commitdiff | tree | snapshot
2023-03-09 Henri CasanovaAssert message fix commit | commitdiff | tree | snapshot
2023-03-09 Maxwell PirtleAdd implementation for immediate conflicts commit | commitdiff | tree | snapshot
2023-03-09 Maxwell PirtleRequire conflict-freedom in is_valid_configuration commit | commitdiff | tree | snapshot
2023-03-09 Maxwell PirtleAdd src/.../udpor/udpor_tests_private.hpp to CMake commit | commitdiff | tree | snapshot
2023-03-09 Arnaud GierschEager mode is for the first case only (thx adegomme). commit | commitdiff | tree | snapshot
2023-03-09 Maxwell PirtleAdd test to verify topological ordering of EventSet commit | commitdiff | tree | snapshot
2023-03-09 Arnaud GierschImprove doc for smpi/buffering. commit | commitdiff | tree | snapshot
2023-03-08 Arnaud GierschFix asserts for when received size is 0 (message type... commit | commitdiff | tree | snapshot
2023-03-08 Arnaud GierschDepreciate unused functions s4u::Comm::copy_{buffer... commit | commitdiff | tree | snapshot
2023-03-08 Arnaud GierschInline s4u::Comm::copy_pointer_callback which is the... commit | commitdiff | tree | snapshot
2023-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C) commit | commitdiff | tree | snapshot
2023-03-08 Arnaud GierschDepreciate ForcefulKillException::try_n_catch(). commit | commitdiff | tree | snapshot
2023-03-08 Arnaud GierschObvious typo. 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 Arnaud GierschUse #include <...> for foreign header files. 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-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' 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 Arnaud GierschFixes in docs/source/tuto_* (untested). 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 Martin QuinsonFix clang build and make output more portable/predictible 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
next
Clone of SimGrid repository with local patches