Commit Graph

  • 76910eb724 Accepting request 1318938 from devel:libraries:c_c++ factory Ana Guerrero 2025-11-21 15:56:16 +00:00
  • a44a35a48f Accepting request 1318806 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2025-11-20 22:17:24 +00:00
  • 23cd15d257 Accepting request 1306537 from devel:libraries:c_c++ Ana Guerrero 2025-09-22 15:06:36 +00:00
  • 4ac3c2560d Accepting request 1305939 from home:glaubitz:branches:devel:libraries:c_c++ Marcus Meissner 2025-09-22 12:58:49 +00:00
  • 799168009e Accepting request 1293102 from devel:libraries:c_c++ Ana Guerrero 2025-07-15 14:43:48 +00:00
  • cb6eddaad0 Accepting request 1291937 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2025-07-14 10:19:58 +00:00
  • c9c2dd6ac1 Accepting request 1277358 from devel:libraries:c_c++ Ana Guerrero 2025-05-14 15:01:53 +00:00
  • 43a2b1dbce Accepting request 1277353 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2025-05-14 08:54:52 +00:00
  • c39a80ab7c Accepting request 1267115 from devel:libraries:c_c++ Ana Guerrero 2025-04-04 15:34:27 +00:00
  • a829848e98 Accepting request 1266565 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2025-04-04 10:59:03 +00:00
  • 4c1360f7e7 Accepting request 1256214 from devel:libraries:c_c++ Ana Guerrero 2025-03-26 20:22:55 +00:00
  • a60e011655 Accepting request 1254032 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2025-03-26 12:34:30 +00:00
  • 5dd7ab211f Accepting request 1253627 from devel:libraries:c_c++ Ana Guerrero 2025-03-17 21:18:15 +00:00
  • 0fdd400349 Accepting request 1253002 from home:glaubitz:branches:devel:libraries:c_c++ Marcus Meissner 2025-03-17 08:27:49 +00:00
  • 35a83fc112 Accepting request 1252772 from devel:libraries:c_c++ Ana Guerrero 2025-03-13 14:06:15 +00:00
  • 8fa7ca834e Accepting request 1252655 from home:AndreasStieger:branches:devel:libraries:c_c++ Dirk Mueller 2025-03-13 13:09:10 +00:00
  • f389a26cb0 Accepting request 1252223 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2025-03-12 11:48:36 +00:00
  • 2b7ab26232 Accepting request 1247337 from devel:libraries:c_c++ Ana Guerrero 2025-02-20 15:41:39 +00:00
  • eaa1d3acc3 Accepting request 1247041 from home:glaubitz:branches:devel:libraries:c_c++ Marcus Meissner 2025-02-20 09:38:38 +00:00
  • 84ccba185e Accepting request 1243452 from devel:libraries:c_c++ Ana Guerrero 2025-02-06 21:05:25 +00:00
  • 958a69b75e Accepting request 1242728 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2025-02-05 16:02:14 +00:00
  • 005000f82d Accepting request 1241125 from devel:libraries:c_c++ Ana Guerrero 2025-01-29 15:18:07 +00:00
  • 9de215be5a Accepting request 1240575 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2025-01-29 08:33:35 +00:00
  • 67eef70f18 Accepting request 1237375 from devel:libraries:c_c++ Ana Guerrero 2025-01-13 16:53:09 +00:00
  • d8d63652cf Accepting request 1237325 from home:AndreasStieger:branches:devel:libraries:c_c++ Dirk Mueller 2025-01-13 10:12:38 +00:00
  • 63b3c963bd Accepting request 1236134 from devel:libraries:c_c++ Ana Guerrero 2025-01-09 14:12:07 +00:00
  • 1380ca010f Accepting request 1235559 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2025-01-09 10:00:30 +00:00
  • 90269aa653 Accepting request 1229002 from devel:libraries:c_c++ Ana Guerrero 2024-12-08 10:37:53 +00:00
  • d1571a4b52 Accepting request 1228249 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2024-12-07 08:39:43 +00:00
  • b242d8fa78 Accepting request 1224799 from devel:libraries:c_c++ Ana Guerrero 2024-11-18 19:00:37 +00:00
  • 0232e4019b Accepting request 1224184 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-11-18 09:28:05 +00:00
  • 7c2d0c11ee Accepting request 1218384 from devel:libraries:c_c++ Ana Guerrero 2024-10-27 10:25:12 +00:00
  • bf2011b95f Accepting request 1218031 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-10-25 15:09:52 +00:00
  • 9d76b8c452 Accepting request 1202600 from devel:libraries:c_c++ leap-16.1 leap-16.0 Ana Guerrero 2024-09-24 15:31:59 +00:00
  • 146bcc6298 Accepting request 1202600 from devel:libraries:c_c++ Ana Guerrero 2024-09-24 15:31:59 +00:00
  • 2af8d8edb5 - Update to version 0.9.28 * Add aws_ prefix to prebuild_dependency CMake function name by @sfod in (#1146) * Makefile.common updates for CBMC by @tautschnig in (#1148) * Run proofs with CBMC 6.2.0 by @graebm in (#1149) * Only set mtune neoverse if compiler supports it by @DmitriyMusatkin in (#1150) John Paul Adrian Glaubitz 2024-09-23 09:52:26 +00:00
  • c592e10b13 Accepting request 1201570 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2024-09-23 09:52:26 +00:00
  • 978ca43493 Accepting request 1197835 from devel:libraries:c_c++ Dominique Leuenberger 2024-09-01 17:21:46 +00:00
  • 9849444ccd Accepting request 1197835 from devel:libraries:c_c++ Dominique Leuenberger 2024-09-01 17:21:46 +00:00
  • 270d7a1ba4 - Update to version 0.9.27 * Fix -Wuseless-cast compiler warnings by @graebm in (#1145) - from version 0.9.26 * Add cmake module for building dependencies at configuration time by @sfod in (#1144) John Paul Adrian Glaubitz 2024-08-30 11:46:35 +00:00
  • b66b517a54 Accepting request 1196087 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2024-08-30 11:46:35 +00:00
  • b668183bf4 Accepting request 1192575 from devel:libraries:c_c++ Dominique Leuenberger 2024-08-09 14:14:44 +00:00
  • 9403bda3f7 Accepting request 1192575 from devel:libraries:c_c++ Dominique Leuenberger 2024-08-09 14:14:44 +00:00
  • 970814cde5 - Update to version 0.9.25 * Run proofs with CBMC 6.1.0 by @graebm in (#1140) * Avoiding allocating a handle in the Windows RNG by @teo-tsirpanis in (#1046) * Add no copy api variants to json interface by @DmitriyMusatkin in (#1138) * Allocate error space for aws-crt-swift by @xiazhvera in (#1129) Dirk Mueller 2024-08-08 09:41:35 +00:00
  • c87821ebc7 Accepting request 1192294 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-08-08 09:41:35 +00:00
  • 9469cea140 Accepting request 1190616 from devel:libraries:c_c++ Dominique Leuenberger 2024-07-31 11:31:01 +00:00
  • b67ed88602 Accepting request 1190616 from devel:libraries:c_c++ Dominique Leuenberger 2024-07-31 11:31:01 +00:00
  • d83c88f30a - Update to version 0.9.24 * Fix FreeBSD CI to install default python packages by @TingDaoK in (#1133) * Fix out variable in cmake sanitizer module by @sfod in (#1134) * Update MacOS CI to Arm64 by @waahm7 in (#1136) * Update builder to fix macos arm64 CI by @waahm7 in (#1137) * Bump the minimum stack size to at least 1MB by @waahm7 in (#1139) John Paul Adrian Glaubitz 2024-07-31 09:02:19 +00:00
  • c1ca7732ee Accepting request 1189762 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2024-07-31 09:02:19 +00:00
  • 64c35c373b Accepting request 1183218 from devel:libraries:c_c++ Ana Guerrero 2024-06-25 21:09:40 +00:00
  • 051e73e82c Accepting request 1183218 from devel:libraries:c_c++ Ana Guerrero 2024-06-25 21:09:40 +00:00
  • 676ca848c2 - Update to version 0.9.23 * cbor support by @TingDaoK in (#1131) - from version 0.9.22 * clang-format 18 by @graebm in (#1113) * Use CBMC version 5.95.1 by @tautschnig in (#1124) * latest_submodules.py uses AWS-LC-FIPS releases in aws-crt-java by @graebm in (#1125) * Use CBMC 6.0.0 by @graebm in (#1128) * Fix default thread options for windows to not pin to any cpu_id by @waahm7 in (#1126) Dirk Mueller 2024-06-25 15:35:06 +00:00
  • 6fd84dfb5c Accepting request 1183215 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-06-25 15:35:06 +00:00
  • c713e35d3f Accepting request 1179908 from devel:libraries:c_c++ Ana Guerrero 2024-06-11 16:30:40 +00:00
  • 650767093d Accepting request 1179908 from devel:libraries:c_c++ Ana Guerrero 2024-06-11 16:30:40 +00:00
  • bb1f7afdd5 Accepting request 1179902 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-06-11 07:43:20 +00:00
  • 22829504ba Accepting request 1179902 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-06-11 07:43:20 +00:00
  • 6fb0f2c7d8 Accepting request 1178904 from devel:libraries:c_c++ Ana Guerrero 2024-06-06 10:34:24 +00:00
  • 46ec658154 Accepting request 1178904 from devel:libraries:c_c++ Ana Guerrero 2024-06-06 10:34:24 +00:00
  • a78290200c Accepting request 1178702 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-06-06 06:59:51 +00:00
  • 9a6919bb8d Accepting request 1178702 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-06-06 06:59:51 +00:00
  • 23c3e843c8 Accepting request 1173651 from devel:libraries:c_c++ Ana Guerrero 2024-05-16 15:13:51 +00:00
  • b01230272e Accepting request 1173651 from devel:libraries:c_c++ Ana Guerrero 2024-05-16 15:13:51 +00:00
  • 042f843730 Accepting request 1173602 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-05-13 12:14:13 +00:00
  • a39c254175 Accepting request 1173602 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-05-13 12:14:13 +00:00
  • a4f6cc5238 Accepting request 1172873 from devel:libraries:c_c++ Dominique Leuenberger 2024-05-09 11:12:59 +00:00
  • 6e95c7ac19 Accepting request 1172873 from devel:libraries:c_c++ Dominique Leuenberger 2024-05-09 11:12:59 +00:00
  • 48a25a6bb7 Accepting request 1172732 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-05-09 08:21:07 +00:00
  • 75d40824e0 Accepting request 1172732 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-05-09 08:21:07 +00:00
  • 0475998503 Accepting request 1165448 from devel:libraries:c_c++ Ana Guerrero 2024-04-07 20:10:30 +00:00
  • 015fdc5df1 Accepting request 1165448 from devel:libraries:c_c++ Ana Guerrero 2024-04-07 20:10:30 +00:00
  • 14795d881c Accepting request 1164984 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2024-04-05 08:39:13 +00:00
  • 29ee56eb6c Accepting request 1164984 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2024-04-05 08:39:13 +00:00
  • 49597bd1d3 Accepting request 1158911 from devel:libraries:c_c++ Ana Guerrero 2024-03-18 15:46:30 +00:00
  • 2d71b8549f Accepting request 1158911 from devel:libraries:c_c++ Ana Guerrero 2024-03-18 15:46:30 +00:00
  • f59f6ccab9 - update to 0.9.14: * Accept all RFC3339-compliant timestamps Dirk Mueller 2024-03-18 08:28:08 +00:00
  • f7d9a1398e - update to 0.9.14: * Accept all RFC3339-compliant timestamps Dirk Mueller 2024-03-18 08:28:08 +00:00
  • ea7bc1e583 Accepting request 1148508 from devel:libraries:c_c++ Ana Guerrero 2024-02-21 16:59:08 +00:00
  • ae67145f2c Accepting request 1148508 from devel:libraries:c_c++ Ana Guerrero 2024-02-21 16:59:08 +00:00
  • f66e21b063 Accepting request 1147619 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-02-21 10:13:10 +00:00
  • 56731bfca0 Accepting request 1147619 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-02-21 10:13:10 +00:00
  • 3b1647aa5d Accepting request 1141981 from devel:libraries:c_c++ Ana Guerrero 2024-01-29 21:27:21 +00:00
  • 80b466ee11 Accepting request 1141981 from devel:libraries:c_c++ Ana Guerrero 2024-01-29 21:27:21 +00:00
  • 50bf185149 Accepting request 1136530 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-01-03 18:39:45 +00:00
  • daad0d6b07 Accepting request 1136530 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2024-01-03 18:39:45 +00:00
  • e6f91f5f77 Accepting request 1127863 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-11-23 09:20:17 +00:00
  • 847ef0c1b6 Accepting request 1127863 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-11-23 09:20:17 +00:00
  • 0b32cfdf9c Accepting request 1115623 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-10-09 11:08:27 +00:00
  • 724feb189d Accepting request 1115623 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-10-09 11:08:27 +00:00
  • 94cdf0d6b5 Accepting request 1109201 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-09-07 08:02:52 +00:00
  • 09c6d17874 Accepting request 1109201 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-09-07 08:02:52 +00:00
  • 2ff999794f Accepting request 1108048 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-09-04 07:48:17 +00:00
  • 6bf70bcce2 Accepting request 1108048 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-09-04 07:48:17 +00:00
  • adab90ea11 Accepting request 1100563 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-07-26 06:45:01 +00:00
  • 081d4c8c0b Accepting request 1100563 from home:glaubitz:branches:devel:libraries:c_c++ Dirk Mueller 2023-07-26 06:45:01 +00:00
  • 39c8bedc85 Accepting request 1090889 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2023-06-10 02:42:15 +00:00
  • 2aaeb9f3fe Accepting request 1090889 from home:glaubitz:branches:devel:libraries:c_c++ John Paul Adrian Glaubitz 2023-06-10 02:42:15 +00:00
  • 74ae434370 Accepting request 1090017 from home:glaubitz:branches:devel:libraries:c_c++ Marcus Meissner 2023-06-01 07:57:29 +00:00
  • 4a217e8201 Accepting request 1090017 from home:glaubitz:branches:devel:libraries:c_c++ Marcus Meissner 2023-06-01 07:57:29 +00:00
  • 664a78806a Accepting request 1087354 from home:glaubitz:branches:devel:libraries:c_c++ Adam Majer 2023-05-16 14:17:25 +00:00