Joffrey Huguet
5c0ebb457e
Merge branch 'topic/26.1-update-tests' into '26.1'
...
SKIP test on Windows
Issue: eng/shared/release#2121
See merge request eng/spark/sparklib!225
2025-12-19 15:51:36 +00:00
Joffrey Huguet
403c6d2cbe
SKIP test on Windows because of small proof regressions
2025-12-19 15:58:02 +01:00
Joffrey Huguet
e001b98084
Merge branch 'topic/26.1-update-tests' into '26.1'
...
SKIP test on Windows
Issue: eng/shared/release#2121
See merge request eng/spark/sparklib!220
2025-12-16 09:22:40 +00:00
Joffrey Huguet
eb85e719be
SKIP test on Windows
2025-12-16 10:16:13 +01:00
Claire Dross
cb7a4ecdf5
Merge branch 'cherry-pick-cc2a7acf' into '26.1'
...
Merge branch 'topic/1120-dross-empty-vector' into 'master'
Issue: eng/spark/spark2014#1120
See merge request eng/spark/sparklib!205
2025-11-21 10:07:39 +00:00
Claire Dross
8f35de43e3
Merge branch 'topic/1120-dross-empty-vector' into 'master'
...
Use Capacity_Range for the parameter of Empty_Vector
Issue: eng/spark/spark2014#1120
See merge request eng/spark/sparklib!204
(cherry picked from commit cc2a7acf932b82cbdcdross@adacore.com >
2025-11-21 08:04:27 +00:00
Joffrey Huguet
0838d0c446
Merge branch 'topic/26.1-update-tests' into '26.1'
...
SKIP tests on Windows
Issue: eng/shared/release#2121
See merge request eng/spark/sparklib!203
2025-11-19 18:15:15 +00:00
Joffrey Huguet
3595244d1d
SKIP tests on Windows
2025-11-19 18:54:42 +01:00
Claire Dross
7839f869e2
Merge branch 'cherry-pick-993ef2b3' into '26.1'
...
Merge branch 'topic/1111-dross-session-update' into 'master'
Issue: eng/spark/spark2014#1111
See merge request eng/spark/sparklib!191
2025-11-18 09:58:00 +00:00
Claire Dross
fbe2f793bf
Merge branch 'topic/1111-dross-session-update' into 'master'
...
Session update for new predicate check on deallocation
Issue: eng/spark/spark2014#1111
See merge request eng/spark/sparklib!190
(cherry picked from commit 993ef2b309cbaf645edross@adacore.com >
2025-11-18 09:09:26 +00:00
Joffrey Huguet
0f564ef7c2
Merge branch 'topic/26.0-test-update' into '26.0'
...
Update session tests
Issue: eng/shared/release#1941
See merge request eng/spark/sparklib!171
2025-10-08 22:16:16 +00:00
Joffrey Huguet
78d5ce785d
Update session tests
2025-10-08 18:06:22 +02:00
Johannes Kanig
f2509db2d6
Merge branch 'topic/kanig-sessions' into 'master'
...
Minor session updates
no-issue-check
See merge request eng/spark/sparklib!169
2025-09-18 09:12:46 +00:00
Johannes Kanig
07d9b81bf7
Minor session updates
2025-09-18 17:54:21 +09:00
Joffrey Huguet
6275b6f48a
Merge branch 'topic/752-dross-test-outputs' into 'master'
...
Move tests for the full runtime to large and update outputs
Issue: eng/spark/spark2014#752
See merge request eng/spark/sparklib!168
2025-09-16 20:21:28 +00:00
Claire Dross
ba89e7045e
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
Claire Dross
2ec8b5e22d
Merge branch 'topic/752-dross-add-tests-with-gnata' into 'master'
...
Make sure SPARKlib goes through with -gnata
Issue: eng/spark/spark2014#752
See merge request eng/spark/sparklib!167
2025-09-16 08:04:36 +00:00
Claire Dross
82a8328d17
Ensure that SPARKlib works with assertions enabled
...
Disable execution of lemmas and formal generic parameters in
floating_point_arithmetic so it compiles even when assertions are
enabled in the sparklib light. Add tests for the sparklib light and
full with and without assertions enabled. Replace former compilation
tests for uniformity.
2025-09-12 14:28:30 +02:00
Claire Dross
e99e239412
Merge branch 'topic/752-dross-ghost-level-in-sparklib' into 'master'
...
Introduce assertion levels in the SPARKlib
Issue: eng/spark/spark2014#752
See merge request eng/spark/sparklib!152
2025-09-10 19:14:24 +00:00
Claire Dross
406899cfb0
Update session test
2025-09-10 11:05:37 +02:00
Claire Dross
d0933b76f7
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
Johannes Kanig
3adc140410
Merge branch 'topic/kanig-sparklib' into 'master'
...
Update baselines for SPARKlib
no-issue-check
See merge request eng/spark/sparklib!164
2025-08-21 09:16:48 +00:00
Johannes Kanig
47f55feda6
Update baselines for SPARKlib
2025-08-21 10:00:37 +09:00
Piotr Trojanek
f7c2f68c9c
Merge branch 'topic/none-huguet-update-tests' into 'master'
...
Update session tests and outputs
no-issue-check
See merge request eng/spark/sparklib!163
2025-08-14 00:02:22 +02:00
Joffrey Huguet
f3068912d5
Update session tests and outputs
2025-08-13 18:41:58 +02:00
