Johannes Kanig 311979c5b3 Merge branch 'topic/776-kanig-helper' into 'master' ...

Order output in sparklib tests via helper function

Issue: eng/spark/spark2014#776

See merge request eng/spark/sparklib!105

(cherry picked from commit 3e25f066a8)

180b11c9 SPARKlib tests: Use helper function from python library for compilation
96c0647d Update test outputs
b6f905ef Revert "SKIP tests on Windows"

Co-authored-by: Johannes Kanig <kanig@adacore.com>

2024-11-22 09:21:03 +00:00

..

63__c_strings_proof

Update various session tests and outputs

2024-11-21 18:18:29 +01:00

665__c_constant_strings_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__c_strings_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_doubly_linked_lists_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_hashed_maps_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_hashed_sets_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_unbounded_doubly_linked_lists_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_unbounded_hashed_maps_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_unbounded_hashed_sets_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_unbounded_vectors_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__formal_vectors_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__functional_infinite_sequences_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__functional_maps_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__functional_sets_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

665__functional_vectors_test

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00: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

Update various session tests and outputs

2024-11-21 18:18:29 +01:00

V818-010__functional_multiset_proof

Update various session tests and outputs

2024-11-21 18:18:29 +01:00

V913-014__sparklib_full

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

V916-025__sparklib_light

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00:00

W127-011__functional_maps_HO_proof

Add ghost aspects to iteration primitives on functional sets and maps

2024-07-26 16:23:36 +02:00

W127-011__functional_sequences_HO_proof

Various baseline and session updates

2024-10-23 07:18:05 +00:00

W127-011__functional_sets_HO_proof

Add ghost aspects to iteration primitives on functional sets and maps

2024-07-26 16:23:36 +02:00

W127-011__functional_vectors_HO_proof

Various baseline and session updates

2024-10-23 07:18:05 +00:00

Z999-999__sparklib_always_fail

add test that always fails

2023-04-21 08:43:58 +09:00