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 new entry in Release_Notes.
[simgrid.git] / tools /
2023-06-05 Martin QuinsonEnable the ODPOR/SDPOR tests in default builds also tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-clean-ups' into 'master' tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonUse Debian:12 for our build deps tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'rename-operation-task' into 'master' tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master' tree | commitdiff
2023-06-02 Adrien Gougeonrename operation to task. rename execute to fire. tree | commitdiff
2023-06-01 Martin QuinsonMerge branch 'python-repr' into 'master' tree | commitdiff
2023-06-01 Maxwell PirtleAdd odpor_tests_private.hpp to MANIFEST.in tree | commitdiff
2023-06-01 Arnaud GierschASan: yet another odr-violation to ignore. tree | commitdiff
2023-05-31 Martin QuinsonMerge branch 'operation-python' into 'master' tree | commitdiff
2023-05-31 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic' tree | commitdiff
2023-05-24 Arnaud GierschMake ASan ignore more odr-violations. tree | commitdiff
2023-05-24 Maxwell PirtleAdd reversible race calculator tree | commitdiff
2023-05-23 Arnaud GierschIgnore ASan warnings about odr-violation with Activity_... tree | commitdiff
2023-05-16 Adrien Gougeonadd photovoltaic plugin tree | commitdiff
2023-05-16 mlaurentAdd some strategies and fix the semantics of Max/MinMatch tree | commitdiff
2023-05-16 Maxwell PirtleAdd test files for WakeupTree tree | commitdiff
2023-05-16 Maxwell PirtleAdd WakeupTreeIterator and WakeupTree skeletons tree | commitdiff
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector tree | commitdiff
2023-05-12 Maxwell PirtleFix MANIFEST.in tree | commitdiff
2023-05-12 Maxwell PirtleAdd first tests for "happens-before" tree | commitdiff
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews tree | commitdiff
2023-05-12 Maxwell PirtleAdd class for eventual "happens-before" computations tree | commitdiff
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-12 Adrien Gougeonadd operation plugin tree | commitdiff
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid... tree | commitdiff
2023-04-07 Arnaud GierschPass include and library directories to try_compile. tree | commitdiff
2023-04-06 Martin QuinsonMake distcheck tree | commitdiff
2023-04-06 Martin QuinsonAllow ns3 to be idempotent if correctly patched tree | commitdiff
2023-04-05 Arnaud GierschCentralize definitions for the name of environment... tree | commitdiff
2023-04-05 Maxwell PirtleAdd ExtensionSetCalculator files tree | commitdiff
2023-04-02 Martin QuinsonCosmetics in cmake tree | commitdiff
2023-04-01 Martin QuinsonReally diplay cmake parameters in the jenkins logs tree | commitdiff
2023-04-01 Martin QuinsonJenkins: display cmake parameters in the logs tree | commitdiff
2023-04-01 Martin QuinsonOption model-checking OFF by default tree | commitdiff
2023-04-01 Martin QuinsonRevert "Also valgrind childs in CI, to valgrind MC... tree | commitdiff
2023-04-01 Martin QuinsonFix make distcheck tree | commitdiff
2023-04-01 Martin QuinsonAlso valgrind childs in CI, to valgrind MC apps tree | commitdiff
2023-04-01 Martin QuinsonOnly compile stateless MC when libevent is found tree | commitdiff
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... tree | commitdiff
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too tree | commitdiff
2023-03-31 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-31 Arnaud GierschAllow to skip some stages of "make distcheck". tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-31 AdrienAdd battery plugin and fix DAG doc tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa... tree | commitdiff
2023-03-29 Arnaud Giersch[jenkins] Remove stale sockets from simgrid-mc. tree | commitdiff
2023-03-29 mlaurentAdd missing file tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-24 Martin QuinsonMore explicit error message tree | commitdiff
2023-03-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-22 Martin Quinsonjenkins::Flags if you run the tests, be verbose on... tree | commitdiff
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-20 mlaurentadd wait guide and mofidication for the heuristic compu... tree | commitdiff
2023-03-20 Maxwell PirtleRemove empty Comb.cpp tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin QuinsonFix make distcheck tree | commitdiff
2023-03-16 Arnaud GierschDecrease required version for nlohmann_json; add to... tree | commitdiff
2023-03-13 Martin QuinsonTest for JSON before using it tree | commitdiff
2023-03-13 Martin Quinsonfix make distcheck tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-13 Maxwell PirtleAdd Comb data structure for K-partial alternatives tree | commitdiff
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-09 Maxwell PirtleAdd src/.../udpor/udpor_tests_private.hpp to CMake tree | commitdiff
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' 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 Quinsonsthread: Add a way to verify accesses to non-reentrant... tree | commitdiff
2023-03-06 Arnaud GierschEnable compile optimizations when tests will be run. tree | commitdiff
2023-03-05 Arnaud GierschMissing ']' tree | commitdiff
2023-03-05 Arnaud GierschEnable _GLIBCXX_DEBUG for one of the builds. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-04 Augustin Degommeremove ns3 from ubuntu stable and github actions, as... tree | commitdiff
2023-03-03 Martin QuinsonBump cmake to at least 3.12 tree | commitdiff
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_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-27 Maxwell PirtleRemove subsets.cpp file tree | commitdiff
2023-02-27 Maxwell PirtleAdd first "implementation" of k-subsets iterator tree | commitdiff
2023-02-27 Martin QuinsonAdd 3 figures to the design goals + minor rewording tree | commitdiff
2023-02-27 Maxwell PirtleAdd CompatibilityGraph and CompatibilityGraphNode tree | commitdiff
2023-02-26 Augustin Degomme[ci skip] add lstdc++ to bigdft flags as well tree | commitdiff
2023-02-26 Augustin Degommebigdft - attempt at fixing build error with new C+... tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-23 Martin QuinsonRevert "Get ready for more versions of ns3" tree | commitdiff
2023-02-23 Arnaud GierschFix distcheck. tree | commitdiff
2023-02-23 Martin QuinsonGet ready for more versions of ns3 tree | commitdiff
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master' tree | commitdiff
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 Maxwell PirtleAdd preliminary tests for Configuration tree | commitdiff
next
Clone of SimGrid repository with local patches