Commit Graph - klee - openSUSE Gitea

pool/klee

SHA256

Fork 1

b3b1fc0231 Accepting request 1242811 from devel:tools:statica factory Ana Guerrero 2025-02-03 20:45:25 +00:00
4ce0cd0779 up to 3.1+20250106 & llvm14 devel Jiri Slaby 2025-02-03 12:11:22 +00:00
08c4245089 up to 3.1+20250106 & llvm14 Jiri Slaby 2025-02-03 12:06:58 +00:00
fd240505bb Accepting request 1231347 from devel:tools:statica Ana Guerrero 2024-12-16 18:17:35 +00:00
f7f44311ab up to 3.1+20241105 Jiri Slaby 2024-12-09 08:18:31 +00:00
4dafd07f2b Accepting request 1185734 from devel:tools:statica Ana Guerrero 2024-07-05 17:50:50 +00:00
bd8cf4ee4d up to 3.1+20240614 Jiri Slaby 2024-06-28 07:45:50 +00:00
2e4d0cca7b Accepting request 1171230 from devel:tools:statica Ana Guerrero 2024-05-02 21:47:28 +00:00
505c9415f5 up to 3.1+20240418 Jiri Slaby 2024-04-25 06:16:24 +00:00
30029a9dbd Accepting request 1146146 from devel:tools:statica Ana Guerrero 2024-02-12 17:53:27 +00:00
46d524b4e8 fix tests Jiri Slaby 2024-02-12 11:31:38 +00:00
fbd4ff6b9b enable 2 more tests Jiri Slaby 2024-02-09 11:36:36 +00:00
86bb6dac9a up to 3.0+20240208 Jiri Slaby 2024-02-09 08:00:08 +00:00
002d2bbede Accepting request 1134421 from devel:tools:statica Ana Guerrero 2023-12-21 22:39:06 +00:00
a805f3e2f4 llvm 16 Jiri Slaby 2023-12-14 09:52:48 +00:00
dd7d750125 up to 3.0+20231023 Jiri Slaby 2023-12-14 07:48:18 +00:00
45693b8d67 Accepting request 1094768 from devel:tools:statica Dominique Leuenberger 2023-06-23 19:52:44 +00:00
5e53e27682 readd rpmlintrc filter for 15.5 Jiri Slaby 2023-06-16 05:40:57 +00:00
2e041283f4 up to 3.0+20230611 Jiri Slaby 2023-06-15 07:01:59 +00:00
72966c66b4 Accepting request 1076898 from devel:tools:statica Dominique Leuenberger 2023-04-03 15:46:45 +00:00
9f43b8723c up to 2.3+20230326 Jiri Slaby 2023-03-27 10:37:57 +00:00
10817b0486 Accepting request 1073721 from devel:tools:statica Dominique Leuenberger 2023-03-22 21:31:15 +00:00
e8dfce906f up to 2.3+20230320 Jiri Slaby 2023-03-22 09:06:38 +00:00
b24e610338 up to 2.3+20230320 Jiri Slaby 2023-03-22 08:46:28 +00:00
6e48b1b230 Accepting request 1031045 from devel:tools:statica Dominique Leuenberger 2022-10-25 09:20:29 +00:00
8a422213b0 up to 2.3+20220926 Jiri Slaby 2022-10-25 07:30:52 +00:00
0bee45619c up to 2.3+20220926 Jiri Slaby 2022-10-25 07:15:26 +00:00
032eb6db1b up to 2.3+20220926 Jiri Slaby 2022-10-25 06:59:43 +00:00
560ab21665 up FileCheck.cpp Jiri Slaby 2022-10-25 06:52:59 +00:00
ecadb04ff8 Accepting request 1003284 from devel:tools:statica Dominique Leuenberger 2022-09-13 13:09:59 +00:00
245af7d5da Switch to LLVM 14. Jiri Slaby 2022-09-06 09:27:02 +00:00
ae2998614f Switch to LLVM 14. Jiri Slaby 2022-09-06 09:22:11 +00:00
077fe5df81 up to 2.3+20220826 Jiri Slaby 2022-09-05 09:13:57 +00:00
d8e56af91f Accepting request 976213 from devel:tools:statica Dominique Leuenberger 2022-05-12 20:59:15 +00:00
2ac30758ef fix changes Jiri Slaby 2022-05-11 07:41:16 +00:00
311181a4d4 up to 2.3+20220506 Jiri Slaby 2022-05-10 10:18:51 +00:00
81bc6859d0 shlib-policy-name-error -> rpmlintrc Jiri Slaby 2022-05-10 08:42:41 +00:00
4577ac4127 Accepting request 964255 from devel:tools:statica Dominique Leuenberger 2022-03-23 19:18:49 +00:00
b362da2a7f up to 2.2+20220311 Jiri Slaby 2022-03-16 10:11:07 +00:00
10b6440008 Accepting request 927481 from devel:tools:statica Dominique Leuenberger 2021-10-26 18:13:59 +00:00
3f21f921a8 up to 2.2+20211017 & llvm13 Jiri Slaby 2021-10-19 09:22:25 +00:00
6729fb8a6b Accepting request 922992 from devel:tools:statica Dominique Leuenberger 2021-10-04 16:40:45 +00:00
e0fb142e28 up to 2.2+20210915 Jiri Slaby 2021-10-04 11:13:32 +00:00
edad6bd49d Accepting request 895887 from devel:tools:statica Dominique Leuenberger 2021-06-01 08:34:54 +00:00
dd2f909aa2 update patches Jiri Slaby 2021-05-28 06:06:41 +00:00
217f3362c2 update patches Jiri Slaby 2021-05-28 06:02:43 +00:00
a9dc652101 update patches Jiri Slaby 2021-05-28 06:01:47 +00:00
a4763be11c add patches to changes Jiri Slaby 2021-05-24 06:25:33 +00:00
566b14ecaf add test fixes Jiri Slaby 2021-05-20 10:17:17 +00:00
390a6f22c1 up to 2.2+20210510 & Switch to LLVM 12 Jiri Slaby 2021-05-20 09:05:51 +00:00
f4bb94e032 up to 2.2+20210510 & Switch to LLVM 12 Jiri Slaby 2021-05-20 08:31:32 +00:00
49105e9698 Accepting request 876179 from devel:tools:statica Richard Brown 2021-03-02 11:36:35 +00:00
385eb48374 up to 2.2+20210222 Jiri Slaby 2021-02-23 07:50:20 +00:00
e1b0466b7e Accepting request 873704 from devel:tools:statica Dominique Leuenberger 2021-02-19 22:45:21 +00:00
f96b173698 update patch Jiri Slaby 2021-02-19 09:10:49 +00:00
882245671a update patch Jiri Slaby 2021-02-19 09:00:15 +00:00
4d6e2f47f2 up to 2.2+20210216 and fix glibc 2.33 Jiri Slaby 2021-02-19 07:19:04 +00:00
94087958e8 Accepting request 862477 from devel:tools:statica Dominique Leuenberger 2021-01-14 14:05:06 +00:00
5c376ba7b2 Accepting request 862450 from home:aaronpuchert:branches:devel:tools:statica Jiri Slaby 2021-01-12 05:27:56 +00:00
83e551d8ed Accepting request 836443 from devel:tools:statica Dominique Leuenberger 2020-09-24 14:15:01 +00:00
52dec4dc72 fisable 32 bit Jiri Slaby 2020-09-24 05:41:11 +00:00
d962695681 up to 2.1+20200921 Jiri Slaby 2020-09-23 08:07:25 +00:00
4ab6ab94b0 Accepting request 826246 from devel:tools:statica Dominique Leuenberger 2020-08-14 07:32:53 +00:00
fec66e11f6 up to 2.1+20200730 Jiri Slaby 2020-08-06 09:40:00 +00:00
5dd2d85e55 Accepting request 814841 from devel:tools:statica Dominique Leuenberger 2020-06-16 11:45:47 +00:00
d35bf76ce7 up to 2.1+20200606 Jiri Slaby 2020-06-09 07:22:25 +00:00
6be1ba2b09 up to 2.1+20200606 Jiri Slaby 2020-06-09 07:22:15 +00:00
acf805f09f Accepting request 798304 from devel:tools:statica Dominique Leuenberger 2020-04-28 20:30:09 +00:00
1bd14479db Accepting request 798002 from home:aaronpuchert:branches:devel:tools:statica Martin Pluskal 2020-04-27 05:34:10 +00:00
0f966ff375 Accepting request 766883 from devel:tools:statica Dominique Leuenberger 2020-01-25 12:24:21 +00:00
4477202c6c up to 2.0+20200119 Jiri Slaby 2020-01-24 07:55:33 +00:00
603c38bee1 Accepting request 745088 from devel:tools:statica Dominique Leuenberger 2019-11-04 16:15:53 +00:00
b6a121fb96 llvm 9 & up to 2.0+20191031 Jiri Slaby 2019-11-04 07:03:50 +00:00
116571415d Accepting request 734968 from devel:tools:statica Dominique Leuenberger 2019-10-04 14:07:13 +00:00
a958cc23cd drop disable-failing-test.patch Jiri Slaby 2019-10-04 11:01:19 +00:00
e03b1ed9a6 up to 2.0+20190920 & add 0001-runtime-workaround-for-glibc-2.30.patch Jiri Slaby 2019-10-04 11:00:00 +00:00
a8b474c0ae Accepting request 715366 from devel:tools:statica Dominique Leuenberger 2019-07-16 06:41:28 +00:00
c32d8a5e2f Accepting request 715017 from home:aaronpuchert:branches:devel:tools:statica Jiri Slaby 2019-07-15 05:31:47 +00:00
f18b2810f7 Accepting request 712924 from home:aaronpuchert:branches:devel:tools:statica Jiri Slaby 2019-07-02 09:33:20 +00:00
e39b862338 Accepting request 705642 from devel:tools:statica Dominique Leuenberger 2019-05-28 07:43:03 +00:00
93dc786592 fix src Jiri Slaby 2019-05-27 10:41:41 +00:00
29b3354652 up to 2.0+20190507 Jiri Slaby 2019-05-27 09:52:01 +00:00
e3aec3fcaf Accepting request 678882 from devel:tools:statica Stephan Kulow 2019-02-25 16:59:44 +00:00
bbd00e45fc up to 1.4.0+20190115 Jiri Slaby 2019-02-25 10:31:13 +00:00
20d5000f99 up to 1.4.0+20181214 Jiri Slaby 2018-12-16 10:32:34 +00:00
d5cea8bb57 Accepting request 653715 from devel:tools:statica Dominique Leuenberger 2018-12-04 19:57:20 +00:00
5b025f700d add disable-failing-test.patch Jiri Slaby 2018-10-29 16:46:40 +00:00
14a3e76a0a switch to llvm7 Jiri Slaby 2018-10-29 16:29:13 +00:00
220a78369b switch to llvm7 Jiri Slaby 2018-10-29 16:28:45 +00:00
13fb9cc2f2 update to 1.4.0+20181026 Jiri Slaby 2018-10-27 12:07:05 +00:00
7b8f3e8bd6 update to 1.4.0+20181026 Jiri Slaby 2018-10-27 07:35:21 +00:00
f364bf2b8d Accepting request 637042 from devel:tools:statica Dominique Leuenberger 2018-09-24 11:13:11 +00:00
611b54d753 up to 1.4.0+20180920 Jiri Slaby 2018-09-21 11:28:25 +00:00
76df04b8b0 Accepting request 632727 from devel:tools:statica Dominique Leuenberger 2018-09-03 08:36:19 +00:00
51b6157cc6 up to 1.4.0+20180829 Jiri Slaby 2018-09-02 08:58:44 +00:00
2a206728e2 add klee-skip-some-tests.patch to changes Jiri Slaby 2018-09-02 08:39:13 +00:00
d15edc58ec Accepting request 617208 from devel:tools:statica Yuchen Lin 2018-06-19 10:03:33 +00:00
13e4a995d1 Accepting request 617208 from devel:tools:statica OBS User buildservice-autocommit 2018-06-19 10:03:33 +00:00
6bf8f5f89e Updating link to change in openSUSE:Factory/klee revision 10.0 OBS User buildservice-autocommit 2018-06-19 10:03:33 +00:00
e18feb65f3 switch to LLVM 6 Jiri Slaby 2018-06-16 09:35:04 +00:00

Commit Graph Select branches Hide Pull Requests devel factory Mono Color

Commit Graph

Select branches

Hide Pull Requests

devel

factory