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

Commit Graph

  • 44c9f597a6 Merge branch 'topic/1187-minor-test-update' into 'master' master Joffrey Huguet 2026-02-11 15:06:36 +00:00
  • 6b203cac3d Minor update of test output Claire Dross 2026-02-11 09:28:32 +01:00
  • 7e9d23fdd4 Merge branch 'topic/1187-dross-proof-cyclic' into 'master' Claire Dross 2026-02-10 09:28:51 +00:00
  • fccd05adf7 Update warnings about recursive subprograms Claire Dross 2026-02-06 17:54:49 +01:00
  • ca214c2cc4 Merge branch 'topic/1188-dross-replace-element' into 'master' Claire Dross 2026-02-04 07:45:58 +00:00
  • 5b1cdd6403 Fix precondition of Replace_Element on formal sets Claire Dross 2026-02-02 09:20:19 +01:00
  • 9c35056cf7 Merge branch 'topic/blake3' into 'master' Piotr Trojanek 2026-01-28 09:59:55 +01:00
  • e91968c3c7 Switch from SHA1 to Blake3 to squeeze long Why3 filenames (part 3) Piotr Trojanek 2026-01-27 01:35:09 +01:00
  • 8fc84e846f Switch from SHA1 to Blake3 to squeeze long Why3 filenames (part 2) Piotr Trojanek 2026-01-27 01:32:16 +01:00
  • 6645568407 Switch from SHA1 to Blake3 to squeeze long Why3 filenames (part 1) Piotr Trojanek 2026-01-26 21:07:10 +01:00
  • a3e69f200a Merge branch 'topic/kanig-sparklib' into 'master' Johannes Kanig 2026-01-20 09:40:26 +00:00
  • f5e451566d Fixes to sparklib proofs Johannes Kanig 2026-01-20 10:30:27 +09:00
  • 6a2ac48b4d New sessions after prover updates Johannes Kanig 2026-01-20 10:30:08 +09:00
  • b9b3c7272d Merge branch 'topic/kanig-1152-baselines' into 'master' Johannes Kanig 2026-01-16 09:23:38 +00:00
  • 5205d4b4fa Baselines for prover updates Johannes Kanig 2026-01-13 09:56:25 +00:00
  • 24f6b1860d Merge branch 'topic/fsf_merge_269/20251226' into 'fsf' fsf Johannes Kanig 2026-01-13 00:55:51 +00:00
  • c438d61d27 Merge commit 'd787e29610639dafb1070fffb459346a8a5b62a3' into topic/fsf_merge_269/20251226 Marc Poulhiès 2026-01-12 16:12:13 +01:00
  • 28eeabc4ca Merge branch 'topic/kanig-773-preproc' into 'master' Johannes Kanig 2026-01-09 08:05:21 +00:00
  • 373215ff07 Fix generate_session.py Johannes Kanig 2025-11-05 08:57:39 +09:00
  • 83611539c5 Merge branch 'topic/kanig-copyright' into 'master' Johannes Kanig 2026-01-07 08:16:41 +00:00
  • e14fdaf74e Update copyright info Johannes Kanig 2026-01-05 08:21:40 +09:00
  • 0f9ea09e3c Merge branch 'topic/kanig-merge' into 'master' Johannes Kanig 2026-01-05 09:50:29 +00:00
  • 613b2bf465 Update sparklib sessions after why3 update Johannes Kanig 2025-12-16 11:20:58 +09:00
  • 4daa25c47e Merge branch 'topic/kanig-1148-extract' into 'master' Johannes Kanig 2026-01-04 23:26:40 +00:00
  • 5c0ebb457e Merge branch 'topic/26.1-update-tests' into '26.1' 26.2 26.1 Joffrey Huguet 2025-12-19 15:51:36 +00:00
  • 403c6d2cbe SKIP test on Windows because of small proof regressions Joffrey Huguet 2025-12-19 14:48:56 +01:00
  • 45fefdf609 Remove explicit gnatformat date from sparklib Johannes Kanig 2025-12-19 18:59:39 +09:00
  • d787e29610 Merge branch 'topic/1139-test-update' into 'master' Claire Dross 2025-12-19 10:24:16 +00:00
  • 50bfe58c69 Remaining large test updates Claire Dross 2025-12-19 09:36:02 +01:00
  • 511bfa639a Merge branch 'topic/1139-dross-sparklib-tests' into 'master' Claire Dross 2025-12-18 10:23:36 +00:00
  • 58ccb4aa1b Formatting of check messages Claire Dross 2025-12-18 10:16:47 +01:00
  • cd11cbb1fa Merge branch 'topic/kanig-1148-gnatformat' into 'master' Johannes Kanig 2025-12-18 09:05:29 +00:00
  • 9bcc455246 Fix gnatformat version Johannes Kanig 2025-12-16 18:40:31 +09:00
  • b5b39dd3e2 Merge branch 'topic/kanig-formatting' into 'master' Johannes Kanig 2025-12-18 00:07:56 +00:00
  • e001b98084 Merge branch 'topic/26.1-update-tests' into '26.1' Joffrey Huguet 2025-12-16 09:22:40 +00:00
  • eb85e719be SKIP test on Windows Joffrey Huguet 2025-12-16 10:16:13 +01:00
  • 0f780887c4 Update baselines for formatting Johannes Kanig 2025-12-16 10:56:04 +09:00
  • c19a5ef0c0 Automatic formatting Johannes Kanig 2025-12-12 19:08:09 +09:00
  • 63d381e8b9 Merge branch 'topic/kanig-272-fialures' into 'master' Johannes Kanig 2025-12-11 10:19:43 +00:00
  • 34777dfcc7 Baseline updates for prover failure message Johannes Kanig 2025-12-08 17:37:16 +09:00
  • 298aaf253d Merge branch 'topic/kanig-reformat' into 'master' Johannes Kanig 2025-12-10 23:49:23 +00:00
  • 9a3630475e Baseline changes Johannes Kanig 2025-12-08 11:58:36 +09:00
  • c4f6e59163 Automatic reformatting Johannes Kanig 2025-12-05 17:37:07 +09:00
  • c4d3c89a33 Merge branch 'topic/kanig-session' into 'master' Johannes Kanig 2025-12-05 09:13:31 +00:00
  • 294e31ac13 Merge branch 'topic/kanig-2176-strings' into '25-sustained' 25-sustained Johannes Kanig 2025-12-05 09:12:52 +00:00
  • fe139cc7d9 Update session for test Johannes Kanig 2025-12-05 17:17:00 +09:00
  • 803692ade3 Update sessions for 63__c_strings_proof Johannes Kanig 2025-12-05 09:23:45 +09:00
  • 6a3773ae4c Merge branch 'topic/fsf_merge_269/20251119' into 'fsf' Marc Poulhiès 2025-11-28 00:59:19 +01:00
  • 041741ae11 Merge commit '7d4a6442768c79624d3583944e1ea45884e16b90' into topic/fsf_merge_269/20251119 Marc Poulhiès 2025-11-27 13:59:23 +01:00
  • 12d100d847 Merge branch 'topic/665-dross-ordered-maps' into 'master' Claire Dross 2025-11-27 11:12:09 +00:00
  • 85b7b4f4d5 Add test for formal ordered maps Claire Dross 2025-11-25 13:12:36 +01:00
  • 8a1160d923 Merge branch 'topic/1070-dross-trees' into 'master' Claire Dross 2025-11-26 16:32:29 +00:00
  • a7d8ec3f94 Add functional trees to SPARKlib Claire Dross 2025-11-05 15:13:08 +01:00
  • 951a3ee56f Merge branch 'topic/kanig-272-failure' into 'master' Johannes Kanig 2025-11-26 00:14:52 +00:00
  • ebb303115f Update baselines for sparklib Johannes Kanig 2025-11-19 18:39:38 +09:00
  • 8ea5121411 Merge branch 'topic/1129-dross-ordered-map' into 'master' Claire Dross 2025-11-25 11:10:37 +00:00
  • 272491a63e Improve post of Delete_Last on ordered maps Claire Dross 2025-11-25 11:24:39 +01:00
  • 7005037b56 Merge branch 'topic/1126-dross-ordered-maps' into 'master' Claire Dross 2025-11-25 08:24:40 +00:00
  • bb844ba247 Use logical equality for First/Last_Key/Element in ordered maps Claire Dross 2025-11-24 14:06:52 +01:00
  • b309deb9ce Merge branch 'topic/665-minor-test-update' into 'master' Claire Dross 2025-11-24 10:51:24 +00:00
  • d67200376b Change of locations in test output Claire Dross 2025-11-24 10:36:03 +01:00
  • bd8e3aeb83 Merge branch 'topic/665-dross-collisions' into 'master' Claire Dross 2025-11-21 10:08:39 +00:00
  • efa96f0a1f Factor out considerations of collisions in hashed structures Claire Dross 2025-11-19 12:35:57 +01:00
  • cb7a4ecdf5 Merge branch 'cherry-pick-cc2a7acf' into '26.1' Claire Dross 2025-11-21 10:07:39 +00:00
  • 743cb98a18 Merge branch 'topic/fsf_merge_269/20251112' into 'fsf' Marc Poulhiès 2025-11-21 10:11:45 +01:00
  • d833d42a18 Merge commit '6ae1d02777ea260ca814d988ffc4a19bff5b8bc9' into topic/fsf_merge_269/20251112 Marc Poulhiès 2025-11-21 09:36:06 +01:00
  • 8f35de43e3 Merge branch 'topic/1120-dross-empty-vector' into 'master' Claire Dross 2025-11-21 08:04:27 +00:00
  • cc2a7acf93 Merge branch 'topic/1120-dross-empty-vector' into 'master' Claire Dross 2025-11-20 13:50:38 +00:00
  • 2b82cbdc48 Add a precondition to Empty_Vector Claire Dross 2025-11-20 09:56:36 +01:00
  • 8cdc482317 Merge branch 'topic/665-dross-set-difference' into 'master' Claire Dross 2025-11-20 08:15:02 +00:00
  • 0838d0c446 Merge branch 'topic/26.1-update-tests' into '26.1' Joffrey Huguet 2025-11-19 18:15:15 +00:00
  • 3595244d1d SKIP tests on Windows Joffrey Huguet 2025-11-19 18:54:42 +01:00
  • ccd9ba6ce3 Add a test for hashed set difference where left is smaller than right Claire Dross 2025-11-18 17:31:58 +01:00
  • 7d4a644276 Merge branch 'topic/665-location-update' into 'master' Claire Dross 2025-11-19 10:50:11 +00:00
  • 8c7c67972c Update location in test outputs Claire Dross 2025-11-19 11:11:03 +01:00
  • e7f225f8c0 Merge branch 'topic/665-dross-delete-full-list' into 'master' Claire Dross 2025-11-19 10:28:59 +00:00
  • e64ca35bae Edit test.adb Claire Dross 2025-11-19 09:34:57 +00:00
  • b1d00b6642 Test deletion in full linked list Claire Dross 2025-11-18 16:17:30 +01:00
  • a84745baf4 Merge branch 'topic/665-dross-aggregate-functions' into 'master' Claire Dross 2025-11-19 09:14:18 +00:00
  • 132065670d Use Static level for expression functions used as proof artifacts Claire Dross 2025-11-18 14:35:18 +01:00
  • a2b153f9a0 Merge branch 'topic/665-dross-test-copy-capacity' into 'master' Claire Dross 2025-11-19 09:13:27 +00:00
  • 754895f93f Add tests for version of Copy with a Capacity parameter Claire Dross 2025-11-18 16:47:18 +01:00
  • 13f8c142b1 Merge branch 'topic/minor-session-update' into 'master' Claire Dross 2025-11-19 09:12:22 +00:00
  • 59f1117088 Update session test Claire Dross 2025-11-19 09:43:51 +01:00
  • bb00aaa7ba Merge branch 'topic/fsf_merge_269/20251109' into 'fsf' Marc Poulhiès 2025-11-19 01:42:21 +01:00
  • 3566a656a2 Merge commit '4937310342d96fd7f88aa2fb79e203cef7910098' into topic/fsf_merge_269/20251109 Marc Poulhiès 2025-11-18 16:08:37 +01:00
  • 199abb4dbe Merge branch 'topic/1113-dross-contains-infinite-seqs' into 'master' Claire Dross 2025-11-18 15:01:59 +00:00
  • 0c6d8fc1dc Support calling Contains with a very big Fst value Claire Dross 2025-11-18 15:24:37 +01:00
  • 5e04635283 Merge branch 'topic/1111-dross-test-update' into 'master' Claire Dross 2025-11-18 13:41:06 +00:00
  • 6bd0543195 Minor test update Claire Dross 2025-11-18 14:15:18 +01:00
  • 7839f869e2 Merge branch 'cherry-pick-993ef2b3' into '26.1' Claire Dross 2025-11-18 09:58:00 +00:00
  • 46c752b9b3 Merge branch 'topic/1059-dross-test-update' into 'master' Claire Dross 2025-11-18 09:12:11 +00:00
  • 034bdf882d Minor update in test output Claire Dross 2025-11-17 14:59:34 +01:00
  • fbe2f793bf Merge branch 'topic/1111-dross-session-update' into 'master' Claire Dross 2025-11-18 09:09:26 +00:00
  • 993ef2b309 Merge branch 'topic/1111-dross-session-update' into 'master' Claire Dross 2025-11-18 08:39:45 +00:00
  • cbaf645e05 Update session test Claire Dross 2025-11-17 17:09:30 +01:00
  • 6e037c14c5 Merge branch 'topic/fsf_merge_269/20251102' into 'fsf' Marc Poulhiès 2025-11-17 11:03:35 +01:00
  • 1a3baf357c Merge commit '29ef87347cc4e149e68f655d44599b4794cbfd72' into topic/fsf_merge_269/20251102 Marc Poulhiès 2025-11-13 16:40:34 +01:00
  • 6ae1d02777 Merge branch 'topic/kanig-1103-lines' into 'master' Johannes Kanig 2025-11-12 10:31:27 +00:00
  • d4db016f4b More line number updates Johannes Kanig 2025-11-12 19:10:47 +09:00