Test ran at 2025-08-11 13:07:55.190915+00:00 SOLUTION: sparknacl=4.0.1: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library Origin: commit 8e3cc2e6a67826cbfb1e36559238e03cb024a706 from https://github.com/rod-chapman/sparknacl.git Properties: Author: Rod Chapman Description: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library GPR Scenario: SPARKNACL_BUILD_MODE := debug | O1 | O2 | O3 | Os GPR Scenario: SPARKNACL_COMPILE_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_CONTRACTS := enabled | disabled GPR Scenario: SPARKNACL_LIBRARY_TYPE := relocatable | static | static-pic GPR Scenario: SPARKNACL_RUNTIME_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_RUNTIME_MODE := full | zfp GPR Scenario: SPARKNACL_STYLE_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_TARGET_ARCH := unspecified | rv32im | rv32imc | rv32imc_a4 License: BSD-3-Clause Long_Description: SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties Maintainer: Rod Chapman Maintainer: Jon Andrew Maintainers_Logins: rod-chapman Maintainers_Logins: docandrew Name: sparknacl Tag: spark Tag: cryptography Tag: security Tag: nacl Tag: curve25519 Tag: ed25519 Tag: tweetnacl Version: 4.0.1 Website: https://github.com/rod-chapman/SPARKNaCl Dependencies (direct): gnat>=14.2.1 Dependencies (solution): gnat=14.2.1 (gnat_external) Dependencies (graph): sparknacl=4.0.1 --> gnat=14.2.1 (gnat_external) (>=14.2.1) LOG: [alr test] Testing sparknacl=4.0.1 [alr test] Spawning retrieval for remote crate: alr -d -n get sparknacl=4.0.1 Note: Deploying sparknacl=4.0.1... sparknacl=4.0.1 successfully retrieved. Dependencies were solved as follows: +b gnat 14.2.1 (new,gnat_external,executable in path) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Alire has selected automatically this toolchain: gprbuild=25.0.1 gnat_native=15.1.2 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=25.0.1... #=#=# ###### 8.5% ################# 23.6% ############################ 38.9% ################################# 46.9% ############################################## 64.3% ######################################################## 77.8% ################################################################# 91.1% ######################################################################## 100.0% Note: gprbuild=25.0.1 installed successfully. Note: Deploying gnat_native=15.1.2... #=#=# 0.4% # 2.0% # 2.8% ### 4.6% ### 5.5% ##### 7.7% ###### 8.8% ###### 9.4% ###### 9.4% ####### 11.0% ######### 13.0% ######### 13.8% ########### 15.9% ############ 17.3% ############# 18.7% ############## 20.3% ############### 22.0% ################# 24.0% ################# 25.0% ################### 27.0% #################### 28.6% ##################### 30.2% ####################### 33.0% ######################## 34.6% ######################### 35.7% ########################## 37.1% ############################ 39.6% ############################# 41.2% ############################### 43.1% ############################### 44.0% ################################ 45.8% ################################# 46.7% ################################### 49.0% ################################### 49.8% ##################################### 51.4% ##################################### 52.3% ###################################### 53.3% ###################################### 53.4% ####################################### 55.0% ######################################### 57.2% ######################################### 58.0% ########################################### 59.8% ########################################### 60.5% ############################################ 62.3% ############################################# 63.2% ############################################### 65.5% ############################################### 66.5% ################################################# 68.3% ################################################## 70.1% #################################################### 72.6% #################################################### 72.6% ##################################################### 74.2% ###################################################### 76.0% ####################################################### 76.9% ######################################################## 79.1% ########################################################### 82.0% ############################################################ 83.5% ############################################################# 85.2% ############################################################## 86.8% ############################################################### 87.9% ################################################################ 90.2% ################################################################## 91.8% ################################################################### 93.4% #################################################################### 95.8% ###################################################################### 98.0% ####################################################################### 99.2% ######################################################################## 100.0% Note: gnat_native=15.1.2 installed successfully. Note: Building sparknacl=4.0.1/sparknacl.gpr... Setup [mkdir] object directory for project Sparknacl Compile [Ada] sparknacl-hashing-sha384.adb [Ada] sparknacl-mac.adb [Ada] sparknacl-hashing-sha256.adb [Ada] sparknacl-core.adb [Ada] sparknacl-debug.adb [Ada] sparknacl-hashing-sha2_common.adb [Ada] sparknacl-scalar.adb [Ada] sparknacl-utils.adb [Ada] sparknacl-sign-utils.adb [Ada] sparknacl-hkdf.adb [Ada] sparknacl-hashing-sha512.adb [Ada] sparknacl-car.adb [Ada] sparknacl-sign.adb [Ada] sparknacl-cryptobox.adb [Ada] sparknacl-hashing-rfsb509.adb [Ada] sparknacl.adb [Ada] sparknacl-hashing.ads [Ada] sparknacl-stream.adb [Ada] sparknacl-secretbox.adb [Ada] sparknacl-pdebug.adb [Ada] sparknacl-aes.adb Build Libraries [gprlib] Sparknacl.lexch [archive] libSparknacl.a [index] libSparknacl.a Success: Build finished successfully in 1.07 seconds. Found declared GPR file: sparknacl.gpr [alr test] Test completed SUCCESSFULLY