ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • add6393de0 Merge branch 'topic/rac_concat_check' into 'master' master Piotr Trojanek 2026-02-12 14:47:18 +01:00
  • b6ea3bd887 Add range check to concatenation operator in RAC Piotr Trojanek 2026-02-06 19:33:46 +01:00
  • 48d8862baa Use existing renaming in RAC code for concatenation Piotr Trojanek 2026-02-06 18:01:20 +01:00
  • 13434116d4 Add test with missing counterexample on string concatenation Piotr Trojanek 2026-02-06 19:48:40 +01:00
  • 8a4b0aff07 Merge branch 'topic/kanig-1099-large' into 'master' Johannes Kanig 2026-02-12 09:16:57 +00:00
  • 1b8773df0c Apply 1 suggestion(s) to 1 file(s) Johannes Kanig 2026-02-11 23:35:38 +00:00
  • ea51a9627b Improve job status based on large test violation Johannes Kanig 2026-02-11 11:15:37 +09:00
  • 346742a22a Merge branch 'topic/1184-test-update' into 'master' Claire Dross 2026-02-11 11:14:40 +00:00
  • e0c189acf6 Missing large test updates Claire Dross 2026-02-11 09:38:07 +01:00
  • 83ccfd6454 Merge branch 'topic/kill_wait' into 'master' Piotr Trojanek 2026-02-11 11:10:21 +01:00
  • c0d87d81f8 Reclaim why3server resources after killing it Piotr Trojanek 2026-02-10 15:39:47 +01:00
  • 31aee052ca Merge branch 'topic/1184-dross-annotate' into 'master' Claire Dross 2026-02-11 07:28:46 +00:00
  • 217c994941 Use kinds for incorrect uses of annotations Claire Dross 2026-02-09 12:13:11 +01:00
  • ff1dbbba77 Merge branch 'topic/1184-dross-lrm-references' into 'master' Claire Dross 2026-02-10 10:18:49 +00:00
  • ee3a77155e Add more LRM references for violations Claire Dross 2026-02-05 17:11:38 +01:00
  • 9141eac132 Merge branch 'automated-submodule-update-723d72a7' into 'master' Johannes Kanig 2026-02-10 09:44:55 +00:00
  • 0829d5083d Automatic submodule commit eng-bot 2026-02-10 09:44:39 +00:00
  • b7210ab527 Merge branch 'topic/1187-dross-proof-cyclic' into 'master' Claire Dross 2026-02-10 09:29:09 +00:00
  • 2a2ddad4d3 Improve warnings for proof dependencies Claire Dross 2026-02-05 17:43:24 +01:00
  • a5418999d4 Merge branch 'topic/1207-merge-25-sustained' into '25-sustained' 25-sustained Claire Dross 2026-02-10 09:28:03 +00:00
  • a75288f014 Merge branch 'topic/1207-merge-26.2' into '26.2' 26.2 Claire Dross 2026-02-10 09:27:50 +00:00
  • 8d72aac15a Merge branch 'topic/1207-merge-24-sustained' into '24-sustained' 24-sustained Claire Dross 2026-02-10 09:27:34 +00:00
  • a8a8ab567a Merge branch 'topic/kanig-1454-kill' into 'master' Johannes Kanig 2026-02-10 01:15:31 +00:00
  • abf11f2f76 Avoid calling GNAT.OS_Lib.Kill_Process_Tree Johannes Kanig 2026-02-09 19:10:08 +09:00
  • b2287c6f07 Support reverse on container iteration with Iterable Claire Dross 2026-02-05 16:13:45 +01:00
  • ebf5fb686a Support reverse on container iteration with Iterable Claire Dross 2026-02-05 16:13:45 +01:00
  • 9c9d094425 Support reverse on container iteration with Iterable Claire Dross 2026-02-05 16:13:45 +01:00
  • 71caed2b84 Merge branch 'topic/1184-dross-refactor-limitations' into 'master' Claire Dross 2026-02-09 10:10:05 +00:00
  • 5a7e90a2a2 Refactor handling of root cause for limitations Claire Dross 2026-02-05 11:12:23 +01:00
  • 45a5a5c978 Merge branch 'revert-338cf5b3' into 'master' Johannes Kanig 2026-02-09 10:02:51 +00:00
  • 08da2c7776 Revert "Merge branch 'topic/kanig-1062-core' into 'master'" Johannes Kanig 2026-02-09 00:29:11 +00:00
  • 0da5c111f5 Merge branch 'topic/freezing_adaptation' into 'master' Piotr Trojanek 2026-02-09 10:00:21 +01:00
  • 5f2e86a89f Adapt test to make it accepted after recent changes to freezing Piotr Trojanek 2026-02-03 21:47:32 +01:00
  • 5eb7d6a46f Adapt test to make it accepted after recent changes to freezing Piotr Trojanek 2026-02-03 21:45:09 +01:00
  • 3d77c3e5ae Merge branch 'topic/1207-dross-reverse' into 'master' Claire Dross 2026-02-06 16:28:18 +00:00
  • 83e8962c52 Support reverse on container iteration with Iterable Claire Dross 2026-02-05 16:13:45 +01:00
  • c6ca48f081 Merge branch 'topic/1203-dross-iterable' into 'master' Claire Dross 2026-02-06 10:13:42 +00:00
  • 1079ac32ac Update legality rules for Iterable Claire Dross 2026-02-05 15:35:21 +01:00
  • 3ecf0bd346 Merge branch 'topic/1184-dross-more-violations' into 'master' Claire Dross 2026-02-06 09:10:25 +00:00
  • e56748ae7e Add kinds for remaining violations Claire Dross 2026-02-03 19:03:45 +01:00
  • 5a31fa2cf1 Merge branch 'topic/rac_attribute_id' into 'master' Piotr Trojanek 2026-02-06 08:11:58 +01:00
  • 0dd8858eeb Handle attributes Old and Loop_Entry by their attribute id Piotr Trojanek 2026-02-04 00:12:41 +01:00
  • 156cb4e0d7 Handle attributes by their id and not by their name Piotr Trojanek 2026-02-04 00:03:17 +01:00
  • cb9248b962 Merge branch 'topic/fuzz_integer_cleanup' into 'master' Piotr Trojanek 2026-02-05 20:00:35 +01:00
  • 2772b084b4 Refactor copying container with fuzzed CE integer values Piotr Trojanek 2026-02-05 12:29:45 +01:00
  • 187fa095bb Refactor repeated search in map of CE fuzzer values Piotr Trojanek 2026-02-05 12:14:51 +01:00
  • 3a5f6ac6a9 Merge branch 'topic/1196-dross-rm-overlays' into 'master' Claire Dross 2026-02-05 15:22:56 +00:00
  • 3f15907d9c Add additional rules for overlays in the RM Claire Dross 2026-02-05 12:07:16 +01:00
  • 35320d958f Merge branch 'topic/1198-dross-subp-access' into 'master' Claire Dross 2026-02-05 15:21:33 +00:00
  • ecf292a4bc Fix LRM to say that P'Access is supported Claire Dross 2026-02-05 11:51:16 +01:00
  • 079aa4112d Merge branch 'topic/1193-dross-move-to-constant' into 'master' Claire Dross 2026-02-05 15:20:51 +00:00
  • ca9557a334 Describe move to constants in the LRM Claire Dross 2026-02-05 12:20:16 +01:00
  • 56413cd2c4 Merge branch 'topic/1197-dross-relaxed-discrs' into 'master' Claire Dross 2026-02-05 15:20:14 +00:00
  • 311ca923bc Say that immutable discriminants cannot have relaxed initialization Claire Dross 2026-02-05 12:32:13 +01:00
  • 121a7e59e8 Merge branch 'topic/1204-dross-uc-to-access' into 'master' Claire Dross 2026-02-05 10:56:51 +00:00
  • f17cd26a1d Add rules to disallow UC on types with access subcomponents Claire Dross 2026-02-04 16:58:03 +01:00
  • dfb53ee0b8 Merge branch 'topic/1171-dross-rm' into 'master' Claire Dross 2026-02-05 10:55:58 +00:00
  • feefcbc3e5 Remove rule about Program_Exit on ghost subprograms Claire Dross 2026-02-04 15:47:56 +01:00
  • 48a25434d5 Merge branch 'topic/1202-dross-untagged-partial' into 'master' Claire Dross 2026-02-04 14:59:07 +00:00
  • 76f0ac8e9c Disallow dispatching calls on types with untagged partial view Claire Dross 2026-02-04 11:12:02 +01:00
  • 5c884f8fa3 Merge branch 'topic/kanig-1062-simplify' into 'master' Johannes Kanig 2026-02-04 09:03:33 +00:00
  • 945faa2603 Remove last references to SPARK Discovery Johannes Kanig 2026-02-02 18:08:44 +09:00
  • 9dd80ae3fe Merge branch 'topic/1188-dross-test-updates' into 'master' Claire Dross 2026-02-04 07:46:12 +00:00
  • 4fc48e52c4 Update tests after change in containers library Claire Dross 2026-02-02 15:46:38 +01:00
  • 683c1621ff Merge branch 'topic/1184-dross-violations' into 'master' Claire Dross 2026-02-04 07:45:14 +00:00
  • cc2f218127 Introduce error kinds for violations and incorrect annotations Claire Dross 2026-02-02 14:25:44 +01:00
  • ff1bded83e Merge branch 'topic/kanig-1195-makefile' into 'master' Johannes Kanig 2026-02-03 23:54:19 +00:00
  • 96211883af Fix path to MANIFEST.bench Johannes Kanig 2026-02-03 10:17:34 +09:00
  • dd14b49061 Merge branch 'topic/kanig-python-output' into 'master' Johannes Kanig 2026-02-03 09:24:37 +00:00
  • 68fe8a8d1f Refactor output code in test_support Johannes Kanig 2026-01-30 17:47:24 +09:00
  • 309a36b240 Merge branch 'topic/1044-clochard-leftover-test' into 'master' Martin Clochard 2026-02-02 15:59:48 +00:00
  • e28ff36487 Update test after change of message Martin Clochard 2026-02-02 15:45:43 +01:00
  • 06a588af7f Merge branch 'topic/1096-clochard-old-RTE' into 'master' Martin Clochard 2026-02-02 14:12:04 +00:00
  • 8e09535f3a Update tests Martin Clochard 2026-01-28 17:12:36 +01:00
  • aaa959a9aa Handle properly RTE checks for conditionally evaluated 'Old attributes Martin Clochard 2026-01-19 17:29:28 +01:00
  • fcf8dac61f Merge branch 'topic/kanig-1176-revert' into 'master' Johannes Kanig 2026-02-02 09:25:58 +00:00
  • b482cc670a Centralize setting of qualifiers for build plans Johannes Kanig 2026-02-02 10:45:14 +09:00
  • f82ed75f28 Revert "Disable coverage to avoid build crash" Johannes Kanig 2026-02-02 10:19:21 +09:00
  • a491f777c3 Merge branch 'topic/set_directory' into 'master' Piotr Trojanek 2026-02-02 10:06:07 +01:00
  • ddd098c800 Avoid repeated search in map of output files Piotr Trojanek 2026-01-31 12:15:39 +01:00
  • 4393705ef1 Replace warning suppression with assertion Piotr Trojanek 2026-01-31 12:08:49 +01:00
  • 8dd84119d1 Replace local copy of a string with renaming Piotr Trojanek 2026-01-31 01:08:18 +01:00
  • 661d1bc9dd Merge branch 'topic/set_directory' into 'master' Piotr Trojanek 2026-01-31 01:06:19 +01:00
  • 6a80a6fd7a Chop trailing NUL from file name with gnatwhy3 results Piotr Trojanek 2026-01-30 17:20:13 +01:00
  • 05a5e371c3 Merge branch 'topic/set_directory' into 'master' Piotr Trojanek 2026-01-30 01:20:30 +01:00
  • a635026042 Remove use of internal GNAT package Tempdir Piotr Trojanek 2026-01-29 20:07:27 +01:00
  • 93513dbd8c Strip trailing slash before passing object directory to gnat2why Piotr Trojanek 2026-01-29 19:08:54 +01:00
  • 3fb60de8c5 Replace repeated call with a use of a local constant Piotr Trojanek 2026-01-29 18:51:38 +01:00
  • 26a59d1793 Avoid querying the current directory for every run of gnatwhy3 Piotr Trojanek 2026-01-29 18:48:04 +01:00
  • 8d674a2445 Remove repeated switching of directories for every run of gnatwhy3 Piotr Trojanek 2026-01-29 15:13:49 +01:00
  • cda48fdc5a Merge branch 'topic/24-fix-test' into '24-sustained' Claire Dross 2026-01-29 15:50:50 +00:00
  • 880ad1b5ba minor test output update Claire Dross 2026-01-29 10:57:26 +01:00
  • 583a5e49c8 Merge branch 'topic/cert-gcc-windows' into 'master' Piotr Trojanek 2026-01-29 10:12:02 +01:00
  • ccd5bf30cf Adapt test for broken GCC to work on Windows Piotr Trojanek 2026-01-27 00:31:36 +01:00
  • 66d5d015bb Merge branch 'topic/1179-26-merge' into '26.2' Claire Dross 2026-01-29 09:08:41 +00:00
  • a4c95b57a6 Merge branch 'topic/1179-25-merge' into '25-sustained' Claire Dross 2026-01-29 09:06:00 +00:00
  • 338cf5b389 Merge branch 'topic/kanig-1062-core' into 'master' Johannes Kanig 2026-01-29 00:28:36 +00:00
  • 635d11aaf3 Removal of spark2014-core Johannes Kanig 2026-01-16 17:37:35 +09:00
  • 270ca0e3dc Merge branch 'topic/1179-dross-length' into 'master' Claire Dross 2026-01-28 18:01:26 +00:00
  • b3f3da23ea File test Claire Dross 2026-01-28 14:50:08 +01:00