A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'odpor-clean-ups' into 'master'
[simgrid.git]
/
tools
/
2023-06-05
Martin Quinson
Merge branch 'odpor-clean-ups' into 'master'
tree
|
commitdiff
2023-06-05
Martin Quinson
Use Debian:12 for our build deps
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'rename-operation-task' into 'master'
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
tree
|
commitdiff
2023-06-02
Adrien Gougeon
rename operation to task. rename execute to fire.
tree
|
commitdiff
2023-06-01
Martin Quinson
Merge branch 'python-repr' into 'master'
tree
|
commitdiff
2023-06-01
Maxwell Pirtle
Add odpor_tests_private.hpp to MANIFEST.in
tree
|
commitdiff
2023-06-01
Arnaud Giersch
ASan: yet another odr-violation to ignore.
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'operation-python' into 'master'
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'simgrid-fork-plugin-photovoltaic'
tree
|
commitdiff
2023-05-24
Arnaud Giersch
Make ASan ignore more odr-violations.
tree
|
commitdiff
2023-05-24
Maxwell Pirtle
Add reversible race calculator
tree
|
commitdiff
2023-05-23
Arnaud Giersch
Ignore ASan warnings about odr-violation with Activity_...
tree
|
commitdiff
2023-05-16
Adrien Gougeon
add photovoltaic plugin
tree
|
commitdiff
2023-05-16
Maxwell Pirtle
Add test files for WakeupTree
tree
|
commitdiff
2023-05-16
Maxwell Pirtle
Add WakeupTreeIterator and WakeupTree skeletons
tree
|
commitdiff
2023-05-15
Maxwell Pirtle
Add unit tests for ClockVector
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Fix MANIFEST.in
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Add first tests for "happens-before"
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Add Execution concept without ExecutionViews
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Add class for eventual "happens-before" computations
tree
|
commitdiff
2023-04-26
Martin Quinson
Merge branch 'operation-plugin' into 'master'
tree
|
commitdiff
2023-04-18
Martin Quinson
Merge branch 'udpor-phase7' into 'master'
tree
|
commitdiff
2023-04-12
Adrien Gougeon
add operation plugin
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid...
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Pass include and library directories to try_compile.
tree
|
commitdiff
2023-04-06
Martin Quinson
Make distcheck
tree
|
commitdiff
2023-04-06
Martin Quinson
Allow ns3 to be idempotent if correctly patched
tree
|
commitdiff
2023-04-05
Arnaud Giersch
Centralize definitions for the name of environment...
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add ExtensionSetCalculator files
tree
|
commitdiff
2023-04-02
Martin Quinson
Cosmetics in cmake
tree
|
commitdiff
2023-04-01
Martin Quinson
Really diplay cmake parameters in the jenkins logs
tree
|
commitdiff
2023-04-01
Martin Quinson
Jenkins: display cmake parameters in the logs
tree
|
commitdiff
2023-04-01
Martin Quinson
Option model-checking OFF by default
tree
|
commitdiff
2023-04-01
Martin Quinson
Revert "Also valgrind childs in CI, to valgrind MC...
tree
|
commitdiff
2023-04-01
Martin Quinson
Fix make distcheck
tree
|
commitdiff
2023-04-01
Martin Quinson
Also valgrind childs in CI, to valgrind MC apps
tree
|
commitdiff
2023-04-01
Martin Quinson
Only compile stateless MC when libevent is found
tree
|
commitdiff
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
tree
|
commitdiff
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
tree
|
commitdiff
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-31
Arnaud Giersch
Allow to skip some stages of "make distcheck".
tree
|
commitdiff
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-31
Adrien
Add battery plugin and fix DAG doc
tree
|
commitdiff
2023-03-30
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-30
mlaurent
Rename 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
mlaurent
Add missing file
tree
|
commitdiff
2023-03-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-24
Martin Quinson
More explicit error message
tree
|
commitdiff
2023-03-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
tree
|
commitdiff
2023-03-22
Martin Quinson
jenkins::Flags if you run the tests, be verbose on...
tree
|
commitdiff
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-20
mlaurent
add wait guide and mofidication for the heuristic compu...
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Remove empty Comb.cpp
tree
|
commitdiff
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
tree
|
commitdiff
2023-03-19
Martin Quinson
Fix make distcheck
tree
|
commitdiff
2023-03-16
Arnaud Giersch
Decrease required version for nlohmann_json; add to...
tree
|
commitdiff
2023-03-13
Martin Quinson
Test for JSON before using it
tree
|
commitdiff
2023-03-13
Martin Quinson
fix make distcheck
tree
|
commitdiff
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-13
Maxwell Pirtle
Add Comb data structure for K-partial alternatives
tree
|
commitdiff
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
tree
|
commitdiff
2023-03-10
Martin Quinson
Merge branch 'udpor-phase5' into 'master'
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Add src/.../udpor/udpor_tests_private.hpp to CMake
tree
|
commitdiff
2023-03-08
Martin Quinson
Merge branch 'udpor-phase4' into 'master'
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add iterator_wrapping convenience container
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
tree
|
commitdiff
2023-03-06
Martin Quinson
sthread: Add a way to verify accesses to non-reentrant...
tree
|
commitdiff
2023-03-06
Arnaud Giersch
Enable compile optimizations when tests will be run.
tree
|
commitdiff
2023-03-05
Arnaud Giersch
Missing ']'
tree
|
commitdiff
2023-03-05
Arnaud Giersch
Enable _GLIBCXX_DEBUG for one of the builds.
tree
|
commitdiff
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
tree
|
commitdiff
2023-03-04
Augustin Degomme
remove ns3 from ubuntu stable and github actions, as...
tree
|
commitdiff
2023-03-03
Martin Quinson
Bump cmake to at least 3.12
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Add first implementation of maximal_subsets_iterator
tree
|
commitdiff
2023-02-28
Augustin Degomme
Merge branch 'udpor-phase3' into 'master'
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Remove CompatibilityGraph and friends
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Add tests for LazyKSubsets and LazyPowerset
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Add LazyPowerSet and LazyKSubsets
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Remove subsets.cpp file
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add first "implementation" of k-subsets iterator
tree
|
commitdiff
2023-02-27
Martin Quinson
Add 3 figures to the design goals + minor rewording
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add 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 Degomme
bigdft - attempt at fixing build error with new C+...
tree
|
commitdiff
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-23
Martin Quinson
Revert "Get ready for more versions of ns3"
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Fix distcheck.
tree
|
commitdiff
2023-02-23
Martin Quinson
Get ready for more versions of ns3
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Merge branch 'simgrid-udpor-integration' into 'master'
tree
|
commitdiff
2023-02-22
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-22
Maxwell Pirtle
Add preliminary tests for Configuration
tree
|
commitdiff
2023-02-21
Martin Quinson
Cosmetics
tree
|
commitdiff
2023-02-21
Martin Quinson
Let the xbt_log module register its finalizer itself
tree
|
commitdiff
2023-02-21
Martin Quinson
Simplify the library initialization + deprecate 2 XBT...
tree
|
commitdiff
2023-02-21
Maxwell Pirtle
Add first batch of tests for History class
tree
|
commitdiff
2023-02-20
Maxwell Pirtle
Add History object skeleton
tree
|
commitdiff
next