| 2022-08-26 |
Arnaud Giersch | Attribute "printf" for ModelChecker::dot_output. |
tree | commitdiff |
| 2022-08-26 |
Arnaud Giersch | Don't throw an exception from destructor. |
tree | commitdiff |
| 2022-08-26 |
Arnaud Giersch | Reduce depth of nested statements |
tree | commitdiff |
| 2022-08-26 |
Arnaud Giersch | Don't give write permissions to others with mkdir. |
tree | commitdiff |
| 2022-08-26 |
Arnaud Giersch | Use "std::vector" instead of C-style array (sonar). |
tree | commitdiff |
| 2022-08-26 |
Arnaud Giersch | Avoid to send/receive zero-size messages. |
tree | commitdiff |
| 2022-08-25 |
Arnaud Giersch | Misc cosmetics for sonar. |
tree | commitdiff |
| 2022-08-25 |
Arnaud Giersch | Remove temporary object (sonar). |
tree | commitdiff |
| 2022-08-25 |
Arnaud Giersch | Declare functions "const" (sonar). |
tree | commitdiff |
| 2022-08-25 |
Arnaud Giersch | Make parameters pointer/reference-to-const (sonar). |
tree | commitdiff |
| 2022-08-22 |
Arnaud Giersch | Kill redundant blank lines (codefactor.io) |
tree | commitdiff |
| 2022-08-09 |
Martin Quinson | MC: apply some sonar advices |
tree | commitdiff |
| 2022-08-09 |
Arnaud Giersch | Fix the fixme (inline templated struct). |
tree | commitdiff |
| 2022-08-09 |
Arnaud Giersch | Unused include. |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | remove spurious debug message and warning |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | multiple attemps to tune behavior of read/write_all |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | fix mpi_file set/get view to set shared pointer properl... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | update file pointer to match shared one after shared... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | seek and other calls must use number of elements and... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | smpi io: restore position after calls which should... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | s4u filesystem: correctly update size of files when... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | intercept getpid call in SMPI, to provide internal... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | implement MPI_File_get_type_extent, MPI_File_s/get_atom... |
tree | commitdiff |
| 2022-08-09 |
Augustin Degomme | filesystem, correctly update file size when seeking... |
tree | commitdiff |
| 2022-08-08 |
Martin Quinson | Don't test statequality: it's ~15h w/o DPOR and hard... |
tree | commitdiff |
| 2022-08-08 |
Martin Quinson | Correctly disable DPOR when StateEq reduction is enabled |
tree | commitdiff |
| 2022-08-07 |
Martin Quinson | kill a parameter that is always true |
tree | commitdiff |
| 2022-08-07 |
Martin Quinson | mc:DFSExplo: cosmetics in the backtracking |
tree | commitdiff |
| 2022-08-07 |
Martin Quinson | Merge mc_safety.hpp into DFSExplorer class |
tree | commitdiff |
| 2022-08-07 |
Martin Quinson | Useless cosmetics while trying to understand that code |
tree | commitdiff |
| 2022-08-07 |
Martin Quinson | Integrate the (WIP) hashing logic in the Snapshot object |
tree | commitdiff |
| 2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot |
tree | commitdiff |
| 2022-08-06 |
Martin Quinson | Finish the removal of mc::api by moving the last bits... |
tree | commitdiff |
| 2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess |
tree | commitdiff |
| 2022-08-06 |
Martin Quinson | Convert simgrid::mc::snapshot_equal() into Snapshot... |
tree | commitdiff |
| 2022-08-06 |
Martin Quinson | Move the dot_output global into ModelChecker |
tree | commitdiff |
| 2022-08-06 |
Martin Quinson | Make the RemoteApp a field of the Exploration, and... |
tree | commitdiff |
| 2022-08-05 |
Martin Quinson | Simplify the MC initialization code |
tree | commitdiff |
| 2022-08-04 |
Martin Quinson | only 3 more functions to go in mc::api |
tree | commitdiff |
| 2022-08-04 |
Martin Quinson | Kill another mc::api function |
tree | commitdiff |
| 2022-08-04 |
Martin Quinson | Pass the remote app as a parameter to all exploration... |
tree | commitdiff |
| 2022-08-04 |
Martin Quinson | Kill 2 more functions from mc::api |
tree | commitdiff |
| 2022-08-03 |
Martin Quinson | Move the automaton from mc::api to Liveness. An ugly... |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | log_state has nothing to do in RemoteApp, it belongs... |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Sanitize MC finalization process and inline a function |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Kill mc::api::get_remote_app() |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Kill another function of mc::api |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Kill an unimplemented declaration |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Convert Api::get_maxpid() into RemoteApp::get_maxpid() |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Merge an initialization function into the constructor |
tree | commitdiff |
| 2022-08-02 |
Martin Quinson | Rename mc::Session into mc::api::RemoteApp |
tree | commitdiff |
| 2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
| 2022-08-01 |
Martin Quinson | Ensure that the verified application still works if... |
tree | commitdiff |
| 2022-07-31 |
Martin Quinson | Kill a now useless variable |
tree | commitdiff |
| 2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
tree | commitdiff |
| 2022-07-31 |
Martin Quinson | Fix SMPI builds by reintroducing a killed MC function... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time) |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | MC: rename a file to sort out the mess |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now commun... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | Give read access to a private field |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | inline a function, kill a file |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | Well the last rogue call to RemoteProcess::actors(... |
tree | commitdiff |
| 2022-07-30 |
Augustin Degomme | try to hide something under the rug for now |
tree | commitdiff |
| 2022-07-30 |
Augustin Degomme | remove useless field |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | Liveness: rename graph_state -> app_state and automaton... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | further reduce the amount of call sites for RemoteProce... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | small cosmetics to not spread unrelated logic all aroun... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | MC: make it clear that we only have the info about... |
tree | commitdiff |
| 2022-07-30 |
Martin Quinson | Reduce the amount of MC locations reading the memory... |
tree | commitdiff |
| 2022-07-29 |
Martin Quinson | If there is no LOCK in mmalloc anymore, then there... |
tree | commitdiff |
| 2022-07-28 |
Martin Quinson | Remove the need of pthread_mutex in mmalloc, to allow... |
tree | commitdiff |
| 2022-07-28 |
Martin Quinson | Kill useless complexity in mmalloc: one of the dlsym |
tree | commitdiff |
| 2022-07-28 |
Martin Quinson | Allow dlsym to call free() on memory that is allocated... |
tree | commitdiff |
| 2022-07-25 |
Augustin Degomme | more protection for non linux builds |
tree | commitdiff |
| 2022-07-25 |
Augustin Degomme | Disable mmap privatization if MUSL is detected, as... |
tree | commitdiff |
| 2022-07-22 |
Martin Quinson | Another attempt at PRELOADing mmalloc (WIP) |
tree | commitdiff |
| 2022-07-22 |
Augustin Degomme | Merge branch 'adegomme-master-patch-16995' into 'master' |
tree | commitdiff |
| 2022-07-22 |
Augustin Degomme | SMPI/replay: Fix issue with recv of size =0. |
tree | commitdiff |
| 2022-07-22 |
Augustin Degomme | Merge branch 'support-sendrecv-ti' into 'master' |
tree | commitdiff |
| 2022-07-21 |
Martin Quinson | Fix build error due to clang-format reordering the... |
tree | commitdiff |
| 2022-07-21 |
Martin Quinson | Split mmalloc in a separate library |
tree | commitdiff |
| 2022-07-21 |
Martin Quinson | Further small simplifications to mmalloc, killing dead... |
tree | commitdiff |
| 2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
| 2022-07-21 |
Martin Quinson | Separate mmalloc from xbt |
tree | commitdiff |
| 2022-07-21 |
Martin Quinson | Kill a function that is unused and unimplemented |
tree | commitdiff |
| 2022-07-20 |
Arnaud Giersch | Java NativeLib: delete temporary files ASAP. |
tree | commitdiff |
| 2022-07-20 |
Arnaud Giersch | Kill useless commented code. |
tree | commitdiff |
| 2022-07-20 |
chaix | Quick and dirty support of SendRecv in time-independent... |
tree | commitdiff |
| 2022-07-19 |
Augustin Degomme | add casts in case types don't match (musl). Let's hope... |
tree | commitdiff |
| 2022-07-18 |
Arnaud Giersch | Remove redundant cast. |
tree | commitdiff |
| 2022-07-15 |
Fred Suter | Prevent segfault when VM's host is created with pstate > 0 |
tree | commitdiff |
| 2022-07-13 |
Martin Quinson | sthread: correctly switch to within simgrid when callin... |
tree | commitdiff |
| 2022-07-13 |
Martin Quinson | mc::api: Inline a useless function |
tree | commitdiff |
| 2022-07-13 |
Martin Quinson | mmalloc: rename a symbol to prepare further refactorings |
tree | commitdiff |
| 2022-07-13 |
SUTER Frederic | When multi-threaded Exec are launched on VM, account... |
tree | commitdiff |
| 2022-07-13 |
SUTER Frederic | get access to Exec thread count |
tree | commitdiff |
| 2022-07-13 |
Arnaud Giersch | Use fixed point arithmetic to avoid rounding errors. |
tree | commitdiff |
| 2022-07-12 |
Arnaud Giersch | Fix definition of overriding gettimeofday. |
tree | commitdiff |
| 2022-07-11 |
Arnaud Giersch | Handle different types for second parameter of gettimeo... |
tree | commitdiff |
| next |
