Commit Graph

Select branches

Hide Pull Requests

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

fsf

fsf-14

fsf-15

master

#1

Mono Color

• 21851ad1ee Fix incorrect contract on Splice in formal lists Claire Dross 2025-04-14 10:58:56 +02:00
• 6551a3bca3 Merge branch 'topic/none-huguet-update-tests' into 'master' Claire Dross 2025-04-10 18:57:10 +00:00
• 599a50f987 Session files update Joffrey Huguet 2025-04-10 16:41:30 +02:00
• 6d5bf4ebd0 Merge branch 'topic/kanig-sparklib' into 'master' Joffrey Huguet 2025-04-03 10:07:01 +00:00
• 38a5f6886d Minor session updates Johannes Kanig 2025-04-03 18:58:11 +09:00
• 40387df193 Merge branch 'topic/kanig-sparklib' into 'master' Joffrey Huguet 2025-03-31 13:08:43 +00:00
• e43f08cd2a Update SPARKlib baselines Johannes Kanig 2025-03-31 18:31:09 +09:00
• 87480c9550 Minor baseline update Johannes Kanig 2025-03-27 18:01:49 +09:00
• 3666424642 Merge branch 'topic/kanig-882-taglarge' into 'master' Johannes Kanig 2025-03-27 09:51:05 +00:00
• 718dd946e6 update baseline for warning tag Johannes Kanig 2025-03-27 18:02:14 +09:00
• 7bdc2166e6 Merge branch 'topic/kanig-866-testsuite' into 'master' Johannes Kanig 2025-03-25 09:09:10 +00:00
• bc261c6909 Update sessions for alt-ergo SMT input Johannes Kanig 2025-03-25 18:05:48 +09:00
• e9512f0d0b Merge branch 'topic/kanig-1490-win' into '25.2' Johannes Kanig 2025-03-19 09:06:23 +00:00
• e57fee9a63 Disable test on windows for 25.2 Johannes Kanig 2025-03-19 09:32:59 +09:00
• f4636f0662 Merge branch 'topic/877-kanig-timeout' into 'master' Johannes Kanig 2025-03-12 09:35:53 +00:00
• 227d76f178 Remove slow part of the test Johannes Kanig 2025-03-12 09:47:36 +09:00
• 9871715075 Merge branch 'topic/kanig-testsuite' into 'master' Johannes Kanig 2025-03-10 10:26:10 +00:00
• 40cde28d64 Session updates Johannes Kanig 2025-03-10 19:13:07 +09:00
• 49918e2f02 Merge branch 'topic/update-sessions' into 'master' Claire Dross 2025-03-05 08:26:09 +00:00
• b2f66a7922 Update session tests Claire Dross 2025-03-05 09:01:42 +01:00
• e4c15eed7b Merge branch 'topic/865-dross-ghost-cleanup' into 'master' Claire Dross 2025-03-03 13:29:31 +00:00
• e8f66f1099 Minor diffs in test outputs Claire Dross 2025-02-28 11:00:05 +01:00
• 2fe2d2ce2f Pass normal equality to model containers instead of logical equality Claire Dross 2025-02-26 16:32:11 +01:00
• 7300a9c8c3 Do not use operators on map models in formal containers Claire Dross 2025-02-26 15:55:25 +01:00
• 0fd13c9a41 Do not use operators on sequence models in formal containers Claire Dross 2025-02-26 14:35:51 +01:00
• c3eb56fe2b Merge branch 'topic/861-dross-simplify-reference' into 'master' Claire Dross 2025-02-28 08:58:24 +00:00
• 3d1ba85468 Merge branch 'topic/kanig-testsuite' into '25.2' Johannes Kanig 2025-02-26 08:35:03 +00:00
• 6540182491 Minor baseline updates Johannes Kanig 2025-02-26 09:46:35 +09:00
• 310af9fe1e Simplify Reference functions in containers and pointers libraries Claire Dross 2025-02-13 12:12:04 +01:00
• 385a3d95d0 Merge branch 'topic/546-huguet-update-output' into 'master' Johannes Kanig 2025-02-19 23:38:37 +00:00
• 69f2a9507b Update tests outputs Joffrey Huguet 2025-02-19 17:03:53 +01:00
• 28c0ef20d2 Merge branch 'topic/none-huguet-update-tests' into 'master' Johannes Kanig 2025-02-12 23:37:32 +00:00
• b16199ea0a Update test output and config Joffrey Huguet 2025-02-12 22:29:15 +01:00
• e7aa2bc882 Merge branch 'topic/546-kanig-info' into 'master' Johannes Kanig 2025-02-12 08:49:36 +00:00
• 856fe845e8 Update sparklib baselines Johannes Kanig 2025-02-12 17:42:14 +09:00
• 128d3a6c8c Merge branch 'topic/kanig-precommit' into 'master' Johannes Kanig 2025-02-06 10:23:46 +00:00
• ed41b61d18 bump pre-commit hooks version Johannes Kanig 2025-02-06 18:58:01 +09:00
• acd61b40c8 Merge branch 'topic/831-kanig-7.1.1' into 'master' Johannes Kanig 2025-02-04 10:06:04 +00:00
• b46dec8ca0 Fix incorrect flake8 version Johannes Kanig 2025-02-04 19:01:35 +09:00
• cf4cb20b29 Merge branch 'topic/811-dross-ada_2022' into 'master' Johannes Kanig 2025-02-04 09:53:25 +00:00
• 5628249a3e Bump flake8 and black versions Johannes Kanig 2025-02-04 09:53:34 +09:00
• da9e439288 Merge branch 'topic/minor-dross-update-sessions' into 'master' Claire Dross 2025-02-03 16:26:33 +00:00
• 71e7879c33 Update session files in proof tests Claire Dross 2025-02-03 16:12:52 +01:00
• 26fe1a20cc Merge branch 'topic/811-merge-24.2' into '25.2' Claire Dross 2025-01-28 14:58:31 +00:00
• 5cb0d3b3a9 Minor update line number in large container tests Claire Dross 2025-01-22 14:11:59 +01:00
• bfc74d280c Add Ada_2022 pragma to hash table packages Claire Dross 2025-01-17 11:59:02 +01:00
• cb2f009e93 Merge branch 'topic/811-dross-ada_2022' into 'master' Claire Dross 2025-01-23 09:52:25 +00:00
• 3035dc4c65 Minor update line number in large container tests Claire Dross 2025-01-22 14:11:59 +01:00
• 5d27461f1a Merge branch 'topic/811-dross-ada_2022' into 'master' Claire Dross 2025-01-21 08:51:59 +00:00
• 4d76a322af Add Ada_2022 pragma to hash table packages Claire Dross 2025-01-17 11:59:02 +01:00
• bfbd5f1be2 Merge branch 'topic/kanig-794-cvc5' into 'master' Johannes Kanig 2025-01-20 11:00:35 +00:00
• 608b82c8a0 Baselines for cvc5 update Johannes Kanig 2025-01-20 19:41:35 +09:00
• eda7748aa5 Merge branch 'topic/kanig-489-sparklib' into 'master' Johannes Kanig 2025-01-20 09:33:57 +00:00
• aaf716888c sparklib baseline update after quantifier grouping Johannes Kanig 2025-01-17 09:34:57 +00:00
• b68d99beb8 Merge branch 'topic/unary_parens' into 'master' Piotr Trojanek 2025-01-10 11:23:59 +00:00
• 0c2a4ee720 Remove redundant parentheses inside unary operators Piotr Trojanek 2025-01-10 12:06:04 +01:00
• e3e5287e62 Merge branch 'topic/795-kanig-z3' into 'master' Johannes Kanig 2025-01-10 00:35:14 +00:00
• 0ecac34e03 Z3 baseline updates - mixed or negative Johannes Kanig 2025-01-07 19:24:40 +09:00
• 11ed53afdf Z3 baseline updates - positive Johannes Kanig 2025-01-07 19:24:26 +09:00
• 874ef0a590 Merge branch 'topic/gnat-790-huguet-update-tests' into 'master' Joffrey Huguet 2025-01-08 17:00:49 +00:00
• 789327ec7a Enable assertions on tests Joffrey Huguet 2025-01-08 17:55:03 +01:00
• 87d5930a04 Merge branch 'topic/kanig-779-exit' into 'master' Johannes Kanig 2025-01-08 09:19:10 +00:00
• fde5103923 Update baseline for exit cases Johannes Kanig 2025-01-08 08:57:58 +00:00
• bc6f47da00 Merge branch 'topic/kanig-797-copyright' into 'master' Johannes Kanig 2025-01-06 09:22:01 +00:00
• ff63734084 Copyright update Johannes Kanig 2025-01-06 09:49:38 +09:00
• a5b2201852 Merge branch 'topic/489-kanig-fixproject' into 'master' Johannes Kanig 2024-12-04 09:40:33 +00:00
• 0ac033bd2d Remove useless project indirection Johannes Kanig 2024-12-04 18:27:26 +09:00
• a5895a8780 Merge branch 'topic/kanig-9-precommit' into 'master' Johannes Kanig 2024-12-03 10:14:12 +00:00
• c8b3e3b934 Hide internal URL Boris Yakobowski 2024-11-27 19:39:00 +01:00
• 962dc442b2 Remove private url for public packages Johannes Kanig 2024-11-26 17:22:47 +09:00
• 5ccc0764e1 Merge branch 'cherry-pick-3e25f066' into '25.1' 25.1 Joffrey Huguet 2024-11-22 09:28:01 +00:00
• 311979c5b3 Merge branch 'topic/776-kanig-helper' into 'master' Johannes Kanig 2024-11-22 09:21:03 +00:00
• 3e25f066a8 Merge branch 'topic/776-kanig-helper' into 'master' Johannes Kanig 2024-11-22 09:18:58 +00:00
• b6f905ef15 Revert "SKIP tests on Windows" Johannes Kanig 2024-11-22 11:11:03 +09:00
• 96c0647d20 Update test outputs Johannes Kanig 2024-11-22 11:08:13 +09:00
• 180b11c93b SPARKlib tests: Use helper function from python library for compilation Johannes Kanig 2024-10-01 10:07:17 +09:00
• 6516b549eb Merge branch 'topic/25.1-none-huguet-update-tests' into '25.1' Johannes Kanig 2024-11-21 23:31:44 +00:00
• 19f7f24d59 SKIP tests on Windows Joffrey Huguet 2024-11-21 18:20:34 +01:00
• 5e41cad601 Update various session tests and outputs Joffrey Huguet 2024-11-21 18:18:23 +01:00
• a0f573587d Merge branch 'topic/776-huguet-skip-tests' into 'master' Joffrey Huguet 2024-11-21 16:45:09 +00:00
• 69f98d812c SKIP tests on Windows Joffrey Huguet 2024-11-21 14:58:39 +01:00
• 6dfd6f8b0f Merge branch 'topic/none-huguet-update-tests' into 'master' Joffrey Huguet 2024-11-21 15:09:13 +00:00
• 52a53d597e Extend timeout for tests Joffrey Huguet 2024-11-21 14:46:41 +01:00
• bc86927beb Merge branch 'topic/768-kanig-opt' into 'master' Johannes Kanig 2024-11-13 11:01:54 +00:00
• 92549a907c Add checking of opt files Johannes Kanig 2024-11-13 10:21:16 +09:00
• f539319e3d Merge branch 'topic/none-huguet-update-tests' into 'master' Johannes Kanig 2024-11-04 23:13:05 +00:00
• 332ec51f67 Update session tests and outputs Joffrey Huguet 2024-11-04 18:09:55 +01:00
• 8e11c84535 Merge branch 'cherry-pick-54a5f47b' into '25.1' Claire Dross 2024-10-31 16:23:50 +00:00
• 71277c6f12 Merge branch 'topic/750__big_integers_light' into 'master' Claire Dross 2024-10-31 16:09:59 +00:00
• 54a5f47b3c Merge branch 'topic/750__big_integers_light' into 'master' Claire Dross 2024-10-31 16:09:50 +00:00
• bd92fc3cf4 Add SPARK_Mode Off to big integer conversions Claire Dross 2024-10-31 15:59:33 +01:00
• c42db0ab3b Merge branch 'cherry-pick-3c71f7e6' into '25.1' Claire Dross 2024-10-31 09:07:18 +00:00
• e503f38f58 Merge branch 'topic/750__big_integers_light' into 'master' Claire Dross 2024-10-28 14:28:41 +00:00
• f82e947598 Merge branch 'cherry-pick-d2c61524' into '25.1' Claire Dross 2024-10-31 09:06:23 +00:00
• 3c71f7e6c0 Merge branch 'topic/750__big_integers_light' into 'master' Claire Dross 2024-10-28 14:28:28 +00:00
• c9aaace5ac Fix project files of tests using SPARKlib Claire Dross 2024-10-28 14:53:19 +01:00
• 409906d081 Merge branch 'topic/750__big_integers_light' into 'master' Claire Dross 2024-10-25 09:37:27 +00:00
• d2c6152429 Merge branch 'topic/750__big_integers_light' into 'master' Claire Dross 2024-10-25 09:35:14 +00:00
• ba010efd6d Stop using Big_Integers_Ghost in the SPARKlib Claire Dross 2024-10-25 09:32:21 +02:00
• 11713aaf3d Merge branch 'topic/747-dross-insert_vector' into 'master' Claire Dross 2024-10-23 10:17:30 +00:00