Johannes Kanig
|
991bb51f78
|
Submodule update
|
2025-09-01 09:47:27 +00:00 |
|
Johannes Kanig
|
cff7c8a398
|
Merge branch 'topic/690-coverage' into 'master'
Ad-hoc script for sparklib coverage
Issue: eng/spark/spark2014#690
See merge request eng/spark/spark2014!2138
|
2025-09-01 09:33:53 +00:00 |
|
Johannes Kanig
|
e71709a2fa
|
Ad-hoc script for sparklib coverage
|
2025-08-28 10:22:30 +09:00 |
|
Johannes Kanig
|
6932585738
|
Merge branch 'topic/kanig-cont' into 'master'
Improve test to avoid ghost on package
Issue: eng/toolchain/gnat#701
See merge request eng/spark/spark2014!2172
|
2025-08-28 01:19:35 +00:00 |
|
Johannes Kanig
|
df2d1aac1e
|
Improve test to avoid ghost on package
|
2025-08-27 18:21:10 +09:00 |
|
Johannes Kanig
|
b8649e3460
|
Merge branch 'topic/kanig-minor' into 'master'
Minor testsuite diffs
no-issue-check
See merge request eng/spark/spark2014!2171
|
2025-08-27 08:06:46 +00:00 |
|
Johannes Kanig
|
7a72035212
|
Minor testsuite diffs
|
2025-08-27 08:06:29 +00:00 |
|
Johannes Kanig
|
01137dff2b
|
Merge branch 'topic/kanig-701-tests' into 'master'
Update tests after ghost code changes
Issue: eng/toolchain/gnat#701
See merge request eng/spark/spark2014!2170
|
2025-08-27 08:04:21 +00:00 |
|
Johannes Kanig
|
0d37cd0b36
|
Update tests
|
2025-08-27 08:03:21 +00:00 |
|
Johannes Kanig
|
ce71661d7f
|
Merge branch 'topic/kanig-sessions' into 'master'
Session updates
no-issue-check
See merge request eng/spark/spark2014!2169
|
2025-08-27 07:52:02 +00:00 |
|
Johannes Kanig
|
a57cd18cf0
|
Session updates
|
2025-08-27 16:22:17 +09:00 |
|
Claire Dross
|
d7b81dc702
|
Merge branch 'topic/973-dross-iterable' into 'master'
Allow ghost entities in the Iterable aspect of non-ghost types
Issue: eng/spark/spark2014#973
See merge request eng/spark/spark2014!2168
|
2025-08-25 09:25:18 +00:00 |
|
Claire Dross
|
c178cde082
|
Allow ghost entities in the Iterable aspect of non-ghost types
This has always been allowed in the tool, but the RM wording needs to
match.
|
2025-08-25 09:05:25 +02:00 |
|
Piotr Trojanek
|
ffc170493f
|
Merge branch 'topic/ghost_markup' into 'master'
Fix markup and layout in description of assertion levels
eng/toolchain/gnat#701
See merge request eng/spark/spark2014!2167
|
2025-08-22 13:29:31 +02:00 |
|
Piotr Trojanek
|
f4205e6d89
|
Fix markup and layout in description of assertion levels
|
2025-08-22 11:30:06 +02:00 |
|
Johannes Kanig
|
3a7f40aa12
|
Merge branch 'topic/gnatformat_update' into 'master'
Format sources with the latest gnatformat
no-issue-check
See merge request eng/spark/spark2014!2166
|
2025-08-20 23:41:47 +00:00 |
|
Piotr Trojanek
|
6aa440edc9
|
Format sources with the latest gnatformat
|
2025-08-20 15:35:16 +02:00 |
|
Johannes Kanig
|
e50c7e7ab1
|
Merge branch 'topic/kanig-1015-baselines' into 'master'
Testsuite updates
Issue: eng/spark/spark2014#1015
Depends-On: eng/spark/spark-internal-testsuite!376
See merge request eng/spark/spark2014!2164
|
2025-08-19 09:30:29 +00:00 |
|
Johannes Kanig
|
153258b009
|
Testsuite updates
For eng/spark/spark2014#1015
For eng/toolchain/gnat#1539
|
2025-08-19 18:08:45 +09:00 |
|
Johannes Kanig
|
3038c629ba
|
Merge branch 'topic/kanig-1539-gnat' into 'master'
Update SPARK testsuite
Issue: eng/toolchain/gnat#1539
See merge request eng/spark/spark2014!2163
|
2025-08-19 08:11:53 +00:00 |
|
Johannes Kanig
|
ebb43c4bd9
|
Update SPARK testsuite
For eng/toolchain/gnat#1539
|
2025-08-18 08:27:18 +09:00 |
|
Johannes Kanig
|
c11121a6b9
|
Merge branch 'topic/and_or_chains' into 'master'
Filter trivial true/false terms when building and/or connections
Issue: eng/spark/spark2014#1015
Depends-On: eng/spark/spark-internal-testsuite!375
Depends-On: eng/toolchain/acats!678
See merge request eng/spark/spark2014!2150
|
2025-08-17 23:20:11 +00:00 |
|
Piotr Trojanek
|
5254413b9a
|
Update session files for removed chains of and/or with true/false
|
2025-08-14 23:52:55 +00:00 |
|
Piotr Trojanek
|
ed40533c6b
|
Update outputs with removed trivial VCs
|
2025-08-14 23:52:55 +00:00 |
|
Piotr Trojanek
|
2f13035109
|
Remove explicit optimization for conjunction with true predicate
|
2025-08-14 23:52:55 +00:00 |
|