Commit Graph

Select branches

Hide Pull Requests

devel

factory

Mono Color

• 54d7fd4f88 lit fix & up to 1.4.0+20180614 Jiri Slaby 2018-06-16 09:13:58 +00:00
• 7b046f65f1 Accepting request 612990 from devel:tools:statica Dominique Leuenberger 2018-05-30 10:24:15 +00:00
• 3860f9c5c2 remove stale file Jiri Slaby 2018-05-30 06:40:57 +00:00
• 043f641e69 fix changes Jiri Slaby 2018-05-30 06:36:02 +00:00
• e2ce9b9cb2 up to 1.4.0+20180524 Jiri Slaby 2018-05-25 11:02:36 +00:00
• f7338a04e6 more of 5+6 support Jiri Slaby 2018-05-23 13:11:28 +00:00
• eafaf9805f up to 1.4.0+20180522 Jiri Slaby 2018-05-23 12:34:50 +00:00
• 660884f541 up to 1.4.0+20180522 Jiri Slaby 2018-05-23 12:32:10 +00:00
• c5fd26f59f up to 1.4.0+20180518 Jiri Slaby 2018-05-21 09:40:31 +00:00
• 0b8d8658dd Accepting request 571294 from devel:tools:statica Dominique Leuenberger 2018-01-31 18:53:28 +00:00
• 9596527f6a add klee-skip-some-tests.patch Jiri Slaby 2018-01-24 07:59:22 +00:00
• ce02d65e19 fix changes Jiri Slaby 2018-01-22 19:55:22 +00:00
• e782cc3eba Accepting request 564487 from devel:tools:statica Dominique Leuenberger 2018-01-16 08:43:00 +00:00
• 777c059881 up to 1.4.0+20180108 Jiri Slaby 2018-01-15 11:59:55 +00:00
• a1f875cd43 py3 Jiri Slaby 2018-01-15 07:50:21 +00:00
• a19dfb2ae5 add python3-setuptools Jiri Slaby 2018-01-08 07:19:09 +00:00
• 7729329c3d Accepting request 545450 from devel:tools:statica Dominique Leuenberger 2017-11-27 21:17:05 +00:00
• 7805bcbfd3 up to 1.4.0+20171026 Jiri Slaby 2017-11-18 07:19:07 +00:00
• 3afdc30a7b up to 1.4.0+20171026 Jiri Slaby 2017-11-17 17:18:06 +00:00
• b21ea4efcb Accepting request 534467 from devel:tools:statica Dominique Leuenberger 2017-10-23 14:44:02 +00:00
• c36a5d68b2 up to 1.4.0+20171009 Jiri Slaby 2017-10-10 13:09:53 +00:00
• d5526682f3 up to 1.4.0+20170811 Jiri Slaby 2017-08-17 12:28:29 +00:00
• 1ed96462f9 Accepting request 508051 from devel:tools:statica Dominique Leuenberger 2017-07-08 10:33:59 +00:00
• 5d22a3fd47 switch to py 3 Jiri Slaby 2017-06-27 08:43:20 +00:00
• 14b43f5ef3 Accepting request 502372 from devel:tools:statica Dominique Leuenberger 2017-06-12 13:32:07 +00:00
• 2f85ee1739 req proper klee-uclibc-devel-static Jiri Slaby 2017-06-08 12:25:10 +00:00
• a2658acfe8 llvm 4 & update Jiri Slaby 2017-06-08 12:15:29 +00:00
• a8b3a83553 up to 1.3.0+20170602 Jiri Slaby 2017-06-05 07:56:22 +00:00
• 3db80908b0 Accepting request 491222 from devel:tools:statica Dominique Leuenberger 2017-04-28 07:13:49 +00:00
• 4091f8aa43 up to 20170409 Jiri Slaby 2017-04-26 09:27:22 +00:00
• d950c44f6b fix deleted patches Jiri Slaby 2017-04-04 14:28:34 +00:00
• c13a764bf8 up to 20170328 Jiri Slaby 2017-03-28 13:46:37 +00:00
• bf7d27b77c fix files Jiri Slaby 2017-03-27 07:00:57 +00:00
• 9b9b2aab5a up to 20170324 Jiri Slaby 2017-03-27 06:47:25 +00:00
• 1d4f24e001 fix changes Jiri Slaby 2017-03-27 06:28:09 +00:00
• 879c9db16a check only on x86_64 Jiri Slaby 2017-03-18 12:33:31 +00:00
• 63c7d4b094 up and enable checks Jiri Slaby 2017-03-17 12:47:13 +00:00
• fbacf18efd require explicitly klee-uclibc-devel-static Jiri Slaby 2017-03-17 08:05:42 +00:00
• e862f96ab7 fix build & update Jiri Slaby 2017-03-16 16:19:41 +00:00
• bcb81be84f enable uclibc Jiri Slaby 2017-03-02 14:16:34 +00:00
• f4f00b978e enable uclibc Jiri Slaby 2017-03-02 14:13:43 +00:00
• c84247b608 enable uclibc Jiri Slaby 2017-03-02 14:13:01 +00:00
• c6bb1cb51e enable uclibc Jiri Slaby 2017-03-02 14:12:40 +00:00
• a1752d2bff enable uclibc Jiri Slaby 2017-03-02 14:12:24 +00:00
• 2560897075 add %doc Jiri Slaby 2017-03-02 13:49:15 +00:00
• 3998dbd8c4 up to 20170221 Jiri Slaby 2017-02-22 12:32:55 +00:00
• e32e7e3e7c Accepting request 456830 from devel:tools:statica Dominique Leuenberger 2017-03-10 20:45:54 +00:00
• 9ee0ad4aea factorize rpmlintrc Jiri Slaby 2017-02-13 13:05:59 +00:00
• b43f3a2f26 fix Jiri Slaby 2017-02-13 12:15:17 +00:00
• 96d1e5174c Accepting request 456778 from home:jirislaby:statica Jiri Slaby 2017-02-13 12:09:45 +00:00