ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
fsf-15
SPARKlib/tests
History
Joffrey Huguet 71afecf069 Change project file names 
The previous project files had ambiguous names and some .gpr were not
working out of the box. This patch changes the names and replaces the
non-functional .gpr files by templates.
2025-06-10 12:32:18 +02:00
..
63__c_strings_proof
Z3 baseline updates - positive
2025-01-09 08:42:22 +00:00
665__c_constant_strings_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__c_strings_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_doubly_linked_lists_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_hashed_maps_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_hashed_sets_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_unbounded_doubly_linked_lists_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_unbounded_hashed_maps_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_unbounded_hashed_sets_test
Z3 baseline updates - mixed or negative
2025-01-09 08:42:22 +00:00
665__formal_unbounded_vectors_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__formal_vectors_test
Revert "SKIP tests on Windows"
2024-11-22 11:18:57 +09:00
665__functional_infinite_sequences_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__functional_maps_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__functional_sets_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__functional_vectors_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
P405-006__sparklib_proof
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02:00
R509-011__higher_order_proof
Z3 baseline updates - positive
2025-01-09 08:42:22 +00:00
V818-010__functional_multiset_proof
Z3 baseline updates - positive
2025-01-09 08:42:22 +00:00
V913-014__sparklib_full
Change project file names
2025-06-10 12:32:18 +02:00
V916-025__sparklib_light
Change project file names
2025-06-10 12:32:18 +02:00
W127-011__functional_maps_HO_proof
Z3 baseline updates - positive
2025-01-09 08:42:22 +00:00
W127-011__functional_sequences_HO_proof
Various baseline and session updates
2024-10-08 16:35:16 +09:00
W127-011__functional_sets_HO_proof
Z3 baseline updates - positive
2025-01-09 08:42:22 +00:00
W127-011__functional_vectors_HO_proof
Various baseline and session updates
2024-10-08 16:35:16 +09:00
Z999-999__sparklib_always_fail
add test that always fails
2023-04-21 08:43:58 +09:00