ada/ada-traits-containers
0
0
Fork 0
mirror of https://github.com/AdaCore/ada-traits-containers.git synced 2026-02-12 12:29:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
ada-traits-containers/tests
History
Fabien Chouteau 4cebb62525 Switch license to Apache-2.0 WITH LLVM-exception 
Part of W216-024.

no-precommit-check

Change-Id: Ie1a2ae007230fed939b2328597a64dd2a933d972
2023-03-09 11:36:27 +01:00
..
algo_equals
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
algo_shuffle
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
algo_sort
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
lists_definite_bounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
lists_definite_limited_bounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
lists_definite_unbounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
lists_indefinite_unbounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
lists_indefinite_unbounded_spark
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
maps
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
perfs
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
post
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
random
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
scc
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
shared
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
spark
Fix contracts after modifications of vector/list API
2016-12-19 09:37:57 +01:00
vectors_definite_bounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
vectors_definite_unbounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
vectors_indefinite_unbounded
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
vectors_indefinite_unbounded_spark
Switch license to Apache-2.0 WITH LLVM-exception
2023-03-09 11:36:27 +01:00
run-test
Add support for not running some tests automatically
2016-06-15 11:39:21 +02:00
support.py
Initial implementation and testing for Insert and Replace_Element in lists
2016-12-13 17:42:23 +01:00
testsuite.py
Add support for not running some tests automatically
2016-06-15 11:39:21 +02:00