adam/Alepha
1
0
Fork 0
forked from Alepha/Alepha
Code Pull Requests Activity

Start the C++23 adoption.

Browse Source
This commit is contained in:
ADAM David Alan Martin
2023-11-07 05:30:50 -05:00
parent 3b9fb24eec
commit d1157cabf7
107 changed files with 107 additions and 107 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Proof/Attestation.h
View File

@ -1,4 +1,4 @@
static_assert( __cplusplus > 2020'00 );
static_assert( __cplusplus > 2020'99 );
/*!
* @file
* @brief The `Attestation` framework permits code which can provide limited compiletime guarantees of conditions.