A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
simgrid.git
2023-02-27
Maxwell Pirtle
Add first steps towards an implementation of ex(C)
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add CompatibilityGraph and CompatibilityGraphNode
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Augustin Degomme
[ci skip] add lstdc++ to bigdft flags as well
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Augustin Degomme
bigdft - attempt at fixing build error with new C+...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Allow to control the problem size from the cmd line...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Revalidate a tesh file (result of a merge error)
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Use bool for booleans
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Kill a now useless field
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Also detect the disk failures
commit
|
commitdiff
|
tree
|
snapshot
2023-02-26
Martin Quinson
Further simplify the way host failures are detected
commit
|
commitdiff
|
tree
|
snapshot
2023-02-25
Martin Quinson
Simplify the way Execs detect host failures
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Revert "Include the output of this test in the tesh...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Bummer :(
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Arnaud Giersch
Clear timeout detectors on finish().
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Arnaud Giersch
Fill cmdline_ for each instance of EngimeImpl.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Arnaud Giersch
Update sonar-project.properties [ci-skip]
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Two more random hints to contributors (and reindent...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Add some Noteworthy tests to the Contributor's doc
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
When the chaos monkey is invoked with nothing to do...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Include the output of this test in the tesh file, becau...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Allow to specify the parameters on the command line...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Merge branch 'udpor-phase2' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
mlaurent
fix the done marking of multiple times taken transitions
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Maxwell Pirtle
Add complicated topological sort test
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Maxwell Pirtle
Add first unit tests for topological sorting
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Maxwell Pirtle
Add topological sort of configuration events
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Document more changes, and update the Release Notes
commit
|
commitdiff
|
tree
|
snapshot
2023-02-24
Martin Quinson
Add a comment on why we need such a callback
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Martin Quinson
Merge ActivityImpl::post() and ::finish()
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Martin Quinson
Do not clean twice in Activity::post(), so that even...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Fred Suter
uniformization: call post that calls finish
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Martin Quinson
Revert "Get ready for more versions of ns3"
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Martin Quinson
Sanitize the handling of timeouts in CommImpl, ExecImpl...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Fix distcheck.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Martin Quinson
Prefer ActivityImpl::post() to ::finish() that should die
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Martin Quinson
Get ready for more versions of ns3
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Comment out unused private fields (fix compilation...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Merge branch 'simgrid-udpor-integration' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Useless casts to (void*).
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Comment is not relevant anymore.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Use type aid_t for an actor's PID.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
More Sonar issues.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Use normal strings instead of f-strings (Sonar).
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Use C++17's std::scoped_lock where appropriate.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Don't access variable ouside of the critical section.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-23
Arnaud Giersch
Various cleanups.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
mlaurent
transitions in the same actor are dependent
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Martin Quinson
Partially revert 2ad536e710c5936ff8e525e4bbb5e7046f292a...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Martin Quinson
Implement the semaphore functions in sthread
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
mlaurent
fix a few test with dpor
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Maxwell Pirtle
Add tests for adding events to configurations
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Maxwell Pirtle
Add preliminary tests for Configuration
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Martin Quinson
protect the dict initialization against multithreading
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Maxwell Pirtle
Implement adding events to configurations
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Maxwell Pirtle
Add extensive tests for checking valid configurations
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
Cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
logs: protect finalization against multiple calls
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
Let the xbt_log module register its finalizer itself
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Maxwell Pirtle
Add method to check if an EventSet is a config
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
Kill simgrid::xbt::cmdline and simgrid::xbt::binary_name
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
Simplify the library initialization + deprecate 2 XBT...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
Remove a useless lib constructor (simpler is better)
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Martin Quinson
Initialize the dict module on need, w/o relying on...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Maxwell Pirtle
Add first batch of tests for History class
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Maxwell Pirtle
Add first implementations of History class
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Maxwell Pirtle
Introduce extrinsic equivalence between events
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Maxwell Pirtle
Add tests for the Unfolding object
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Maxwell Pirtle
Add set operator tests for EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add tests for EventSet equality
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add History object skeleton
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Remove StateManager
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add first batch of tests for UDPOR
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
"Finalize" interface to UnfoldingEvent
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Allow actor transitions to be shared
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add Unfolding data structure
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add implementations for EventSet + Configurations
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add xbt_assert() for state handle overflow
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Use std::unordered_set instead of std::set for EventSet
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Move UDPOR constructs out of udpor_global.cpp
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add `udpor` directory under `mc/explo`
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Remove currently unused methods from udpor_globals
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add minor clean ups
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add implementation for state management
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add incomplete implementations of udpor_globals.cpp
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add `udpor` namespace
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Begin porting implementation from tiny_simgrid
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Add methods between EventSet and Configuration
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Convert EventSet into class from typedef
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Arnaud Giersch
Revert "Upgrade embedded xxhash (-> v0.8.1)."
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Arnaud Giersch
Merge branch 'fix-probe' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Maxwell Pirtle
Send actor action probes one at a time
commit
|
commitdiff
|
tree
|
snapshot
2023-02-19
Martin Quinson
Remove more occurences of 'surf' with uppercases
commit
|
commitdiff
|
tree
|
snapshot
2023-02-19
Martin Quinson
Document that surf is gone
commit
|
commitdiff
|
tree
|
snapshot
2023-02-19
Arnaud Giersch
Upgrade embedded xxhash (-> v0.8.1).
commit
|
commitdiff
|
tree
|
snapshot
2023-02-19
Arnaud Giersch
Upgrade embedded catch2 (-> v2.13.10).
commit
|
commitdiff
|
tree
|
snapshot
2023-02-19
Martin Quinson
Finally kill surf_interface.hpp watched_host was actual...
commit
|
commitdiff
|
tree
|
snapshot
next