Martin Quinson [Tue, 4 Oct 2022 22:35:41 +0000 (00:35 +0200)]
Let the latest MBI tests compile with our paranoid compil flags
Pierre-Antoine Rouby [Mon, 11 Jul 2022 13:11:58 +0000 (15:11 +0200)]
teshsuite: smpi: MBI: Merge change form MBI.
Martin Quinson [Tue, 4 Oct 2022 20:44:07 +0000 (22:44 +0200)]
We don't use doxygen to build the docs anymore
This integrates another debian patch
Martin Quinson [Tue, 4 Oct 2022 20:35:59 +0000 (22:35 +0200)]
Integrate the patch javadoc-openjdk17 from Debian
Arnaud Giersch [Thu, 6 Oct 2022 19:07:17 +0000 (19:07 +0000)]
Merge branch 'wifi_clean' into 'master'
Wi-Fi callback mechanism
See merge request simgrid/simgrid!118
Clément Courageux-Sudan [Thu, 6 Oct 2022 15:10:00 +0000 (17:10 +0200)]
syntax issues
Clément Courageux-Sudan [Thu, 6 Oct 2022 15:09:15 +0000 (17:09 +0200)]
fix make distcheck
Arnaud Giersch [Thu, 6 Oct 2022 12:16:55 +0000 (14:16 +0200)]
Do not expose Activity::set_remaining publicly.
Prevents confusion with Comm::set_payload_size.
Arnaud Giersch [Thu, 6 Oct 2022 12:16:37 +0000 (14:16 +0200)]
s/set_/get_/ in doc
Arnaud Giersch [Tue, 4 Oct 2022 13:27:24 +0000 (15:27 +0200)]
Coding style: prefer keyword "not" to "!".
Martin Quinson [Tue, 4 Oct 2022 12:54:57 +0000 (14:54 +0200)]
docker-stable gh action: push all tags; display the pushed version
Arnaud Giersch [Tue, 4 Oct 2022 06:54:20 +0000 (08:54 +0200)]
Define macro XBT_ATTRIB_DEPRECATED_v337.
Arnaud Giersch [Tue, 4 Oct 2022 06:54:20 +0000 (08:54 +0200)]
Remove deprecated features for next release (3.33).
Martin Quinson [Mon, 3 Oct 2022 23:21:16 +0000 (01:21 +0200)]
Start the next dev cycle
Augustin Degomme [Mon, 3 Oct 2022 21:38:20 +0000 (21:38 +0000)]
Don't crash simulation if size is 0 in sendrecv_replace, as it is legal.
Martin Quinson [Mon, 3 Oct 2022 18:38:53 +0000 (20:38 +0200)]
Release v3.32: The Wiedervereinigung release
Martin Quinson [Mon, 3 Oct 2022 17:14:56 +0000 (19:14 +0200)]
Fix an error message
Augustin Degomme [Mon, 3 Oct 2022 16:43:51 +0000 (16:43 +0000)]
MPI_Win: set to MPI_WIN_NULL after deletion to avoid possibility of calling it multiple times
Arnaud Giersch [Mon, 3 Oct 2022 12:25:18 +0000 (14:25 +0200)]
Minor polishing.
[ci-skip]
Fred Suter [Mon, 3 Oct 2022 12:17:22 +0000 (08:17 -0400)]
[noci] check v3.32 notes
Fred Suter [Tue, 19 Jul 2022 13:50:21 +0000 (09:50 -0400)]
docs/source/Release_Notes.rst
[noci] check v3.32 notes
Martin Quinson [Sun, 2 Oct 2022 23:45:24 +0000 (01:45 +0200)]
Draft of release notes
Martin Quinson [Sun, 2 Oct 2022 21:53:37 +0000 (23:53 +0200)]
Tentative NEWS file for the 3.32 release
Martin Quinson [Sun, 2 Oct 2022 21:39:59 +0000 (23:39 +0200)]
docs: tiny improvement about cmake+SMPI in user code
Martin Quinson [Sun, 2 Oct 2022 21:28:25 +0000 (23:28 +0200)]
More helpful error message when someone needs --cfg=model-check/setenv
Martin Quinson [Sun, 2 Oct 2022 19:35:32 +0000 (21:35 +0200)]
Cosmetics in the ChangeLog
Martin Quinson [Sun, 2 Oct 2022 15:05:37 +0000 (17:05 +0200)]
Document all commits since 3.31. The changelog may be reordered for clarity
Martin Quinson [Sun, 2 Oct 2022 14:37:20 +0000 (16:37 +0200)]
Hint the users about how to avoid dwarf5 errors around MC
Arnaud Giersch [Thu, 29 Sep 2022 15:29:41 +0000 (17:29 +0200)]
Use std::fill instead of memset.
It's a bit more C++'ish, and it seems to help to workaround what looks like an
optimization bug in IntelLLVM 2022.2.0 (xbt::dict unit tests are failing).
Arnaud Giersch [Thu, 29 Sep 2022 14:03:20 +0000 (16:03 +0200)]
Useless cast.
Arnaud Giersch [Thu, 29 Sep 2022 08:42:43 +0000 (10:42 +0200)]
Reduce code duplication.
Arnaud Giersch [Thu, 29 Sep 2022 08:41:43 +0000 (10:41 +0200)]
Cosmetics: parameter is obviously not empty.
Arnaud Giersch [Wed, 28 Sep 2022 20:34:48 +0000 (22:34 +0200)]
Update .mailmap.
Lucas Nesi [Wed, 28 Sep 2022 15:47:51 +0000 (17:47 +0200)]
Remove old fPIC placement
Lucas Nesi [Wed, 28 Sep 2022 14:26:26 +0000 (16:26 +0200)]
Ensure a fPIC in case CMDARGS has a fPIE
Arnaud Giersch [Wed, 21 Sep 2022 14:02:21 +0000 (16:02 +0200)]
Lambdas should not have too many lines (sonar).
Arnaud Giersch [Wed, 21 Sep 2022 12:45:27 +0000 (14:45 +0200)]
Kill obsolete FIXME.
Arnaud Giersch [Fri, 16 Sep 2022 15:04:39 +0000 (17:04 +0200)]
Initialize all members (PVS V730).
Arnaud Giersch [Fri, 16 Sep 2022 14:55:45 +0000 (16:55 +0200)]
Useless assignment (PVS V1048).
Arnaud Giersch [Fri, 16 Sep 2022 14:48:30 +0000 (16:48 +0200)]
Also check result for last call of MPI_Alltoallv in this example.
Arnaud Giersch [Fri, 16 Sep 2022 13:53:10 +0000 (15:53 +0200)]
Fix potential use of invalid data (PVS V1024).
Arnaud Giersch [Fri, 16 Sep 2022 12:46:44 +0000 (14:46 +0200)]
Use existing function.
Arnaud Giersch [Fri, 16 Sep 2022 12:19:10 +0000 (14:19 +0200)]
Use existing macros (and fix error code).
Augustin Degomme [Fri, 16 Sep 2022 12:44:45 +0000 (14:44 +0200)]
this was not supposed to be modified, actually
Arnaud Giersch [Thu, 15 Sep 2022 08:57:48 +0000 (10:57 +0200)]
Delete unused file.
Its content is already in clusters.tesh.
[ci-skip]
adegomme [Thu, 15 Sep 2022 16:04:14 +0000 (16:04 +0000)]
fat tree routing: fix d-mod-k usage of cables when several are available
Arnaud Giersch [Fri, 9 Sep 2022 11:09:39 +0000 (13:09 +0200)]
Completely remove detached comms when they are finished.
Arnaud Giersch [Wed, 7 Sep 2022 13:01:05 +0000 (15:01 +0200)]
Auto for sonar.
Martin Quinson [Thu, 8 Sep 2022 13:52:18 +0000 (15:52 +0200)]
CentOS uses dnf nowadays
Arnaud Giersch [Tue, 6 Sep 2022 16:00:27 +0000 (18:00 +0200)]
Fix double-free.
Arnaud Giersch [Sat, 3 Sep 2022 10:02:20 +0000 (12:02 +0200)]
Ignore ASan odr violation warnings seen with bmf unit tests.
[ci-skip]
Arnaud Giersch [Fri, 2 Sep 2022 12:34:02 +0000 (14:34 +0200)]
Revert change erroneously introduced in commit
223f79c1a096e4157772f8bc3b4f5cdf5161b524
Arnaud Giersch [Fri, 2 Sep 2022 12:26:18 +0000 (14:26 +0200)]
Do not mangle recorded paths when building for coverage.
... and see if it helps for coverage reports (cobertura, sonar, ...)
Arnaud Giersch [Wed, 31 Aug 2022 13:15:57 +0000 (15:15 +0200)]
Use std::string_view (sonar).
Arnaud Giersch [Wed, 31 Aug 2022 13:12:42 +0000 (15:12 +0200)]
Reduce scope for global variables.
Arnaud Giersch [Mon, 29 Aug 2022 16:14:45 +0000 (18:14 +0200)]
Increase test timeout for coverage too.
[ci-ckip]
Arnaud Giersch [Mon, 29 Aug 2022 14:06:22 +0000 (16:06 +0200)]
Try gcovr with option --gcov-ignore-parse-errors.
It seems to help locally.
Arnaud Giersch [Sat, 27 Aug 2022 16:41:07 +0000 (18:41 +0200)]
Use the init-statement to declare variables inside the if statement.
Augustin Degomme [Mon, 29 Aug 2022 08:20:28 +0000 (08:20 +0000)]
Merge branch 'adegomme-master-patch-45262' into 'master'
let's see if this finds more coverage reports
See merge request simgrid/simgrid!117
Augustin Degomme [Mon, 29 Aug 2022 08:04:18 +0000 (08:04 +0000)]
let's see if this finds more coverage reports
Arnaud Giersch [Sat, 27 Aug 2022 13:07:38 +0000 (15:07 +0200)]
Guard against invalid idx.
Fixes tests mbi_ParamMatching_Com_Exscan_ok, mbi_ParamMatching_Com_Scan_ok.
Arnaud Giersch [Fri, 26 Aug 2022 13:52:46 +0000 (15:52 +0200)]
Type consistency.
Arnaud Giersch [Fri, 26 Aug 2022 13:36:05 +0000 (15:36 +0200)]
Attribute "printf" for ModelChecker::dot_output.
Arnaud Giersch [Fri, 26 Aug 2022 13:23:21 +0000 (15:23 +0200)]
Don't throw an exception from destructor.
boost::circular_buffer_space_optimized::pop_back() may throw std::bad_alloc
Arnaud Giersch [Fri, 26 Aug 2022 13:13:01 +0000 (15:13 +0200)]
Arnaud Giersch [Fri, 26 Aug 2022 12:51:20 +0000 (14:51 +0200)]
Reduce depth of nested statements
Arnaud Giersch [Fri, 26 Aug 2022 12:48:09 +0000 (14:48 +0200)]
Don't give write permissions to others with mkdir.
Arnaud Giersch [Fri, 26 Aug 2022 09:16:07 +0000 (11:16 +0200)]
Use "std::vector" instead of C-style array (sonar).
Arnaud Giersch [Fri, 26 Aug 2022 09:09:30 +0000 (11:09 +0200)]
Avoid to send/receive zero-size messages.
There seems to be something broken with them on freebsd.
Arnaud Giersch [Thu, 25 Aug 2022 12:20:58 +0000 (14:20 +0200)]
Arnaud Giersch [Thu, 25 Aug 2022 10:01:06 +0000 (12:01 +0200)]
Misc cosmetics for sonar.
Arnaud Giersch [Thu, 25 Aug 2022 09:59:17 +0000 (11:59 +0200)]
Remove temporary object (sonar).
Arnaud Giersch [Thu, 25 Aug 2022 09:51:15 +0000 (11:51 +0200)]
Declare functions "const" (sonar).
Arnaud Giersch [Thu, 25 Aug 2022 09:29:58 +0000 (11:29 +0200)]
Make parameters pointer/reference-to-const (sonar).
Arnaud Giersch [Wed, 10 Aug 2022 15:05:41 +0000 (17:05 +0200)]
Kill redundant blank lines (codefactor.io)
[ci-skip]
Augustin Degomme [Wed, 10 Aug 2022 20:56:52 +0000 (20:56 +0000)]
[ci-skip] try to help gcovr find files (it needs to be run in the same dir as gcc)
Martin Quinson [Tue, 9 Aug 2022 21:05:46 +0000 (23:05 +0200)]
MC: apply some sonar advices
Arnaud Giersch [Tue, 9 Aug 2022 20:39:20 +0000 (22:39 +0200)]
Fix the fixme (inline templated struct).
Arnaud Giersch [Tue, 9 Aug 2022 20:30:44 +0000 (22:30 +0200)]
Unused include.
Augustin Degomme [Tue, 9 Aug 2022 15:14:56 +0000 (17:14 +0200)]
remove spurious debug message and warning
Augustin Degomme [Tue, 9 Aug 2022 14:29:31 +0000 (16:29 +0200)]
update teshes
Augustin Degomme [Tue, 9 Aug 2022 14:23:54 +0000 (16:23 +0200)]
multiple attemps to tune behavior of read/write_all
Augustin Degomme [Tue, 9 Aug 2022 14:23:11 +0000 (16:23 +0200)]
fix mpi_file set/get view to set shared pointer properly and return disp
Augustin Degomme [Tue, 9 Aug 2022 14:21:24 +0000 (16:21 +0200)]
update file pointer to match shared one after shared calls when needed
Augustin Degomme [Tue, 9 Aug 2022 14:13:53 +0000 (16:13 +0200)]
seek and other calls must use number of elements and not bytes displacement
Augustin Degomme [Tue, 9 Aug 2022 14:12:18 +0000 (16:12 +0200)]
update teshes as there are now more seek calls
Augustin Degomme [Tue, 9 Aug 2022 14:10:42 +0000 (16:10 +0200)]
smpi io: restore position after calls which should not modify it (add seek calls which are not ideal but harmless)
Augustin Degomme [Tue, 9 Aug 2022 14:03:17 +0000 (16:03 +0200)]
s4u filesystem: correctly update size of files when changed
Augustin Degomme [Tue, 9 Aug 2022 14:00:13 +0000 (16:00 +0200)]
intercept getpid call in SMPI, to provide internal PID instead of same of for all processes.
Augustin Degomme [Tue, 9 Aug 2022 13:56:32 +0000 (15:56 +0200)]
implement MPI_File_get_type_extent, MPI_File_s/get_atomicity, MPI_File_get_byte_offset
Augustin Degomme [Sat, 6 Aug 2022 10:51:12 +0000 (12:51 +0200)]
filesystem, correctly update file size when seeking past it
Martin Quinson [Mon, 8 Aug 2022 23:17:39 +0000 (01:17 +0200)]
Don't test statequality: it's ~15h w/o DPOR and hard to optimize
Martin Quinson [Mon, 8 Aug 2022 22:55:45 +0000 (00:55 +0200)]
Correctly disable DPOR when StateEq reduction is enabled
Martin Quinson [Mon, 8 Aug 2022 21:15:13 +0000 (23:15 +0200)]
Add the teshfiles to the archive even when MC is disabled
Martin Quinson [Sun, 7 Aug 2022 23:39:35 +0000 (01:39 +0200)]
Add tests of state equality reduction and nodpor for DFS explo
Martin Quinson [Sun, 7 Aug 2022 23:17:54 +0000 (01:17 +0200)]
kill a parameter that is always true
Martin Quinson [Sun, 7 Aug 2022 23:08:48 +0000 (01:08 +0200)]
mc:DFSExplo: cosmetics in the backtracking
Martin Quinson [Sun, 7 Aug 2022 22:29:08 +0000 (00:29 +0200)]
Merge mc_safety.hpp into DFSExplorer class
Martin Quinson [Sun, 7 Aug 2022 21:52:11 +0000 (23:52 +0200)]
Useless cosmetics while trying to understand that code
Martin Quinson [Sun, 7 Aug 2022 17:30:19 +0000 (19:30 +0200)]
Integrate the (WIP) hashing logic in the Snapshot object