| 2022-08-08 |
Martin Quinson | Don't test statequality: it's ~15h w/o DPOR and hard... |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Correctly disable DPOR when StateEq reduction is enabled |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Add the teshfiles to the archive even when MC is disabled |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Add tests of state equality reduction and nodpor for... |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | kill a parameter that is always true |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | mc:DFSExplo: cosmetics in the backtracking |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Merge mc_safety.hpp into DFSExplorer class |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Useless cosmetics while trying to understand that code |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Integrate the (WIP) hashing logic in the Snapshot object |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Finish the removal of mc::api by moving the last bits... |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Convert simgrid::mc::snapshot_equal() into Snapshot... |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Move the dot_output global into ModelChecker |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Make the RemoteApp a field of the Exploration, and... |
commit | commitdiff | tree | snapshot |
| 2022-08-05 |
Martin Quinson | Simplify the MC initialization code |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | only 3 more functions to go in mc::api |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | Kill another mc::api function |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | Pass the remote app as a parameter to all exploration... |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | Kill 2 more functions from mc::api |
commit | commitdiff | tree | snapshot |
| 2022-08-03 |
Martin Quinson | Move the automaton from mc::api to Liveness. An ugly... |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | log_state has nothing to do in RemoteApp, it belongs... |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Sanitize MC finalization process and inline a function |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Kill mc::api::get_remote_app() |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Kill another function of mc::api |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Kill an unimplemented declaration |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Convert Api::get_maxpid() into RemoteApp::get_maxpid() |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Merge an initialization function into the constructor |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Rename mc::Session into mc::api::RemoteApp |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Augustin Degomme | [ci-skip] activate ccache on sanitizer builds |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Martin Quinson | Ensure that the verified application still works if... |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Augustin Degomme | [ci-skip] Flags - let's see if this trailing whitespace... |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Augustin Degomme | [ci-skip] use ccache on flags build as well. |
commit | commitdiff | tree | snapshot |
| 2022-07-31 |
Martin Quinson | Kill a now useless variable |
commit | commitdiff | tree | snapshot |
| 2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
commit | commitdiff | tree | snapshot |
| 2022-07-31 |
Martin Quinson | Fix SMPI builds by reintroducing a killed MC function... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time) |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | MC: rename a file to sort out the mess |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now commun... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Give read access to a private field |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | inline a function, kill a file |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Well the last rogue call to RemoteProcess::actors(... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | try to hide something under the rug for now |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | remove useless field |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | fix build for clang <15 |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Liveness: rename graph_state -> app_state and automaton... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | further reduce the amount of call sites for RemoteProce... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | small cosmetics to not spread unrelated logic all aroun... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | MC: make it clear that we only have the info about... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Reduce the amount of MC locations reading the memory... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | ignore new deprecation warning on freebsd |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | use ccache for main ci build. |
commit | commitdiff | tree | snapshot |
| 2022-07-29 |
Martin Quinson | Fix RST formatting + one URL in Release_Notes.rst |
commit | commitdiff | tree | snapshot |
| 2022-07-29 |
Martin Quinson | If there is no LOCK in mmalloc anymore, then there... |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Martin Quinson | Remove the need of pthread_mutex in mmalloc, to allow... |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Arnaud Giersch | Stick to dwarf-4 for MC builds. |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Martin Quinson | Kill useless complexity in mmalloc: one of the dlsym |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Martin Quinson | Allow dlsym to call free() on memory that is allocated... |
commit | commitdiff | tree | snapshot |
| 2022-07-25 |
Augustin Degomme | more protection for non linux builds |
commit | commitdiff | tree | snapshot |
| 2022-07-25 |
Augustin Degomme | Disable mmap privatization if MUSL is detected, as... |
commit | commitdiff | tree | snapshot |
| 2022-07-22 |
Martin Quinson | Another attempt at PRELOADing mmalloc (WIP) |
commit | commitdiff | tree | snapshot |
| 2022-07-22 |
Augustin Degomme | Merge branch 'adegomme-master-patch-16995' into 'master' |
commit | commitdiff | tree | snapshot |
| 2022-07-22 |
Augustin Degomme | SMPI/replay: Fix issue with recv of size =0. |
commit | commitdiff | tree | snapshot |
| 2022-07-22 |
Augustin Degomme | Merge branch 'support-sendrecv-ti' into 'master' |
commit | commitdiff | tree | snapshot |
| 2022-07-21 |
Martin Quinson | Fix build error due to clang-format reordering the... |
commit | commitdiff | tree | snapshot |
| 2022-07-21 |
Martin Quinson | Split mmalloc in a separate library |
commit | commitdiff | tree | snapshot |
| 2022-07-21 |
Martin Quinson | Further small simplifications to mmalloc, killing dead... |
commit | commitdiff | tree | snapshot |
| 2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
| 2022-07-21 |
Martin Quinson | Separate mmalloc from xbt |
commit | commitdiff | tree | snapshot |
| 2022-07-21 |
Martin Quinson | Kill a function that is unused and unimplemented |
commit | commitdiff | tree | snapshot |
| 2022-07-20 |
Arnaud Giersch | Java NativeLib: delete temporary files ASAP. |
commit | commitdiff | tree | snapshot |
| 2022-07-20 |
Arnaud Giersch | Kill useless commented code. |
commit | commitdiff | tree | snapshot |
| 2022-07-20 |
chaix | Quick and dirty support of SendRecv in time-independent... |
commit | commitdiff | tree | snapshot |
| 2022-07-19 |
Augustin Degomme | have automatic teshsuite use only stdout to avoid tesh... |
commit | commitdiff | tree | snapshot |
| 2022-07-19 |
Augustin Degomme | add casts in case types don't match (musl). Let's hope... |
commit | commitdiff | tree | snapshot |
| 2022-07-18 |
Fred Suter | doc fix [no-ci] |
commit | commitdiff | tree | snapshot |
| 2022-07-18 |
Arnaud Giersch | Remove redundant cast. |
commit | commitdiff | tree | snapshot |
| 2022-07-15 |
Arnaud Giersch | Fix distcheck (populate tesh_files, even when !HAVE_MC). |
commit | commitdiff | tree | snapshot |
| 2022-07-15 |
Fred Suter | Prevent segfault when VM's host is created with pstate > 0 |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
Martin Quinson | sthread: correctly switch to within simgrid when callin... |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
Martin Quinson | mc::api: Inline a useless function |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
Martin Quinson | Make sure that all MC tests are built on target tests-mc |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
Martin Quinson | mmalloc: rename a symbol to prepare further refactorings |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
SUTER Frederic | When multi-threaded Exec are launched on VM, account... |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
SUTER Frederic | get access to Exec thread count |
commit | commitdiff | tree | snapshot |
| 2022-07-13 |
Arnaud Giersch | Use fixed point arithmetic to avoid rounding errors. |
commit | commitdiff | tree | snapshot |
| 2022-07-12 |
Arnaud Giersch | Fix CMakeLists for when makecontext is not compilable. |
commit | commitdiff | tree | snapshot |
| 2022-07-12 |
Arnaud Giersch | Fix build error with musl libc. |
commit | commitdiff | tree | snapshot |
| 2022-07-12 |
Arnaud Giersch | Fix definition of overriding gettimeofday. |
commit | commitdiff | tree | snapshot |
| 2022-07-11 |
Arnaud Giersch | Handle different types for second parameter of gettimeo... |
commit | commitdiff | tree | snapshot |
| 2022-07-11 |
Arnaud Giersch | For sonar... |
commit | commitdiff | tree | snapshot |
| 2022-07-11 |
Martin Quinson | The variable is named LD_BIND_NOW so these lines were... |
commit | commitdiff | tree | snapshot |
| 2022-07-10 |
Martin Quinson | Survive with old cmakes |
commit | commitdiff | tree | snapshot |
| 2022-07-10 |
Martin Quinson | Compile pthread-mutex-simple in a way that allows its... |
commit | commitdiff | tree | snapshot |
| 2022-07-10 |
Martin Quinson | MC: allow to pass env variables to the verified application |
commit | commitdiff | tree | snapshot |
| 2022-07-10 |
Martin Quinson | sthread: Intercept gettimeofday + sleep + usleep |
commit | commitdiff | tree | snapshot |
| 2022-07-08 |
Bruno Donassolo | Fix changelog [ci-skip] |
commit | commitdiff | tree | snapshot |
| 2022-07-08 |
Bruno Donassolo | Merge branch 'issue111' into 'master' |
commit | commitdiff | tree | snapshot |
| next |
