b2e9ec205e
No longer use reserved identifiers for include guards
...
Automatically detected using clang-tidy with bugprone-reserved-identifier
check.
By the way, homogeneize the define identifiers in relation to camel case
convention.
2023-12-01 15:39:01 +01:00
7e6abc97c4
Add [[nodiscard]] attribute to various functions
...
Automatically detected using clang-tidy with modernize-use-nodiscard check.
2023-12-01 14:14:44 +01:00
d463607e90
Reformat C++ source code using clang-format 15
2023-11-30 15:58:32 +01:00
74ef3457b4
Use secure URL for link to GNU licenses
2021-06-09 17:21:00 +02:00
24db5e6033
Minor simplifications in graph algorithms
2020-04-29 18:12:22 +02:00
8eafd9ab4f
Block decomposition: various refactorings
2020-04-17 19:23:52 +02:00
5431451db3
Block decomposition: refactor algorithms on the variable dependency graph
...
In particular, move them into a separate class rather than a namespace.
2020-04-10 12:55:07 +02:00
Sébastien Villemot