|
| From: | Andrea Corallo |
| Subject: | branch scratch/comp-safety2 created (now 21d7f3c1123) |
| Date: | Fri, 10 May 2024 13:55:30 -0400 (EDT) |
akrl pushed a change to branch scratch/comp-safety2.
at 21d7f3c1123 * etc/NEWS (Safety compilation parameter): Add entry.
This branch includes the following new commits:
new 4f7b379b564 Introduce 'compilation-safety' variable
new 4ef3ef15a12 Add 'safety' function declaration
new bf3a49d56fc Add some 'compilation-safety' documentation
new 21d7f3c1123 * etc/NEWS (Safety compilation parameter): Add entry.
| [Prev in Thread] | Current Thread | [Next in Thread] |