Li-Wen Hsu
c07192f844
- Update to 2.7.1
...
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`
PR: 231443
Submitted by: Greg V <greg@unrelenting.technology>
2018-12-12 05:30:24 +00:00
..
2017-11-30 06:13:34 +00:00
2018-03-10 17:46:04 +00:00
2018-12-12 01:35:33 +00:00
2018-09-10 13:14:50 +00:00
2018-12-12 01:35:33 +00:00
2018-08-27 17:08:45 +00:00
2018-03-10 17:46:04 +00:00
2017-01-29 14:18:52 +00:00
2018-06-28 17:39:53 +00:00
2018-09-11 18:34:27 +00:00
2018-08-04 14:11:15 +00:00
2018-01-01 11:34:46 +00:00
2018-03-20 00:56:23 +00:00
2018-07-09 19:35:33 +00:00
2018-03-27 19:46:02 +00:00
2018-06-20 17:05:41 +00:00
2017-10-12 15:35:56 +00:00
2018-12-12 01:35:33 +00:00
2017-12-06 11:55:20 +00:00
2018-02-17 13:45:06 +00:00
2018-11-08 12:52:23 +00:00
2018-11-07 20:57:51 +00:00
2018-11-04 22:25:26 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-01-19 23:30:47 +00:00
2018-12-12 01:35:33 +00:00
2018-07-20 13:53:46 +00:00
2018-05-31 01:18:05 +00:00
2018-09-26 16:12:12 +00:00
2016-10-21 12:51:40 +00:00
2018-12-05 14:09:12 +00:00
2017-01-20 20:33:30 +00:00
2018-11-07 15:55:58 +00:00
2018-05-31 01:18:05 +00:00
2018-11-05 11:49:43 +00:00
2018-11-20 02:56:21 +00:00
2017-04-10 00:27:48 +00:00
2018-11-04 13:44:40 +00:00
2018-10-11 02:19:45 +00:00
2018-11-12 14:54:44 +00:00
2018-12-05 20:01:10 +00:00
2018-10-26 13:22:17 +00:00
2018-09-10 13:14:50 +00:00
2018-11-11 15:38:50 +00:00
2018-11-10 18:12:57 +00:00
2018-11-05 23:20:17 +00:00
2018-06-07 11:15:11 +00:00
2018-10-26 13:20:05 +00:00
2018-07-04 14:48:29 +00:00
2018-11-22 18:26:41 +00:00
2018-11-22 18:26:41 +00:00
2018-11-22 18:26:41 +00:00
2018-11-25 00:17:23 +00:00
2018-11-10 10:09:48 +00:00
2018-12-08 19:54:14 +00:00
2018-12-11 19:31:28 +00:00
2018-11-19 15:57:08 +00:00
2018-09-18 18:21:06 +00:00
2018-10-30 11:03:30 +00:00
2018-07-01 09:17:45 +00:00
2018-09-10 13:14:50 +00:00
2018-03-02 22:34:53 +00:00
2018-06-28 03:11:45 +00:00
2018-12-12 01:35:33 +00:00
2018-09-10 13:14:50 +00:00
2018-04-05 04:52:36 +00:00
2018-04-05 04:52:36 +00:00
2018-04-05 04:52:36 +00:00
2018-04-05 04:52:36 +00:00
2018-04-05 04:52:36 +00:00
2018-04-05 04:52:36 +00:00
2018-04-05 04:52:36 +00:00
2018-12-12 01:35:33 +00:00
2018-09-19 19:54:47 +00:00
2018-01-26 22:49:50 +00:00
2018-12-12 01:35:33 +00:00
2018-11-11 15:38:50 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-11-19 12:48:30 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-11-10 18:12:57 +00:00
2018-11-10 18:12:57 +00:00
2018-05-20 09:04:10 +00:00
2018-12-12 01:35:33 +00:00
2018-12-10 17:08:17 +00:00
2018-12-10 17:08:17 +00:00
2018-12-10 08:23:04 +00:00
2018-12-12 01:35:33 +00:00
2017-11-01 07:39:42 +00:00
2017-04-21 20:25:00 +00:00
2017-04-21 20:25:00 +00:00
2017-04-21 20:25:00 +00:00
2018-07-22 16:20:19 +00:00
2018-07-04 04:31:41 +00:00
2017-04-21 20:25:00 +00:00
2018-07-04 04:31:41 +00:00
2017-04-21 20:25:00 +00:00
2017-04-21 20:25:00 +00:00
2018-11-10 18:12:57 +00:00
2018-10-23 11:35:03 +00:00
2018-10-03 19:53:11 +00:00
2018-08-19 13:25:05 +00:00
2017-06-27 13:46:53 +00:00
2018-12-12 01:35:33 +00:00
2018-12-09 22:17:01 +00:00
2018-03-19 06:40:54 +00:00
2018-09-26 15:23:37 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-11-15 03:22:56 +00:00
2018-05-31 01:18:05 +00:00
2018-11-02 13:32:34 +00:00
2018-06-30 09:57:59 +00:00
2018-06-30 09:57:59 +00:00
2018-12-12 01:35:33 +00:00
2017-02-24 01:52:10 +00:00
2018-01-11 14:18:01 +00:00
2018-12-12 01:35:33 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2017-09-07 10:56:40 +00:00
2018-11-19 12:20:38 +00:00
2018-09-10 10:29:10 +00:00
2016-10-21 12:51:40 +00:00
2018-08-28 14:21:40 +00:00
2018-12-09 22:36:09 +00:00
2017-01-13 16:54:55 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2017-05-28 23:16:40 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-11-09 20:09:13 +00:00
2018-12-12 01:35:33 +00:00
2018-08-30 18:23:24 +00:00
2016-12-08 19:52:19 +00:00
2017-06-27 13:46:53 +00:00
2018-11-20 02:37:19 +00:00
2018-09-10 13:14:50 +00:00
2018-10-20 14:40:42 +00:00
2018-11-27 16:40:33 +00:00
2018-11-11 15:38:50 +00:00
2018-09-10 13:14:50 +00:00
2018-09-10 13:14:50 +00:00
2018-06-30 07:40:20 +00:00
2018-06-30 07:40:20 +00:00
2018-06-30 07:49:40 +00:00
2018-06-30 07:40:20 +00:00
2018-06-30 07:40:20 +00:00
2018-06-30 07:40:20 +00:00
2018-08-18 20:43:36 +00:00
2018-10-17 09:39:42 +00:00
2018-08-30 04:05:07 +00:00
2018-03-10 17:46:04 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 05:30:24 +00:00
2016-12-27 10:13:25 +00:00
2018-11-10 18:12:57 +00:00
2017-11-30 15:50:30 +00:00
2018-11-11 15:38:50 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-06-16 15:56:41 +00:00
2018-07-10 17:31:48 +00:00
2018-11-11 15:38:50 +00:00
2016-11-22 14:04:21 +00:00
2018-09-18 08:03:24 +00:00
2018-08-24 00:54:25 +00:00
2018-07-01 11:13:18 +00:00
2018-06-17 16:15:32 +00:00
2018-09-14 12:04:53 +00:00
2017-06-27 13:46:53 +00:00
2018-07-02 04:00:29 +00:00
2018-12-12 01:35:33 +00:00
2018-10-30 00:40:02 +00:00
2018-10-27 00:12:27 +00:00
2018-09-02 10:50:52 +00:00
2018-10-01 08:11:53 +00:00
2018-12-12 01:35:33 +00:00
2018-09-18 16:05:15 +00:00
2018-09-29 20:50:43 +00:00
2017-04-29 05:44:25 +00:00
2017-06-27 13:46:53 +00:00
2017-11-30 06:13:34 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-09-18 00:19:31 +00:00
2017-12-07 21:43:52 +00:00
2016-11-19 23:51:13 +00:00
2018-09-10 11:16:59 +00:00
2018-10-29 22:14:14 +00:00
2018-10-06 13:06:42 +00:00
2018-12-12 01:35:33 +00:00
2018-10-06 13:06:42 +00:00
2018-08-08 23:28:28 +00:00
2018-05-27 20:15:16 +00:00
2018-05-27 20:15:16 +00:00
2018-10-06 13:06:42 +00:00
2018-10-06 13:06:42 +00:00
2018-08-05 19:06:48 +00:00
2018-10-06 13:06:42 +00:00
2018-10-06 13:06:42 +00:00
2018-10-06 13:06:42 +00:00
2018-10-23 17:48:50 +00:00
2018-10-06 13:06:42 +00:00
2018-11-06 21:13:54 +00:00
2018-07-09 08:40:17 +00:00
2018-10-06 13:06:42 +00:00
2018-09-10 11:16:59 +00:00
2018-10-06 13:06:42 +00:00
2018-10-06 13:06:42 +00:00
2018-08-23 17:58:56 +00:00
2018-05-29 07:43:10 +00:00
2017-09-15 08:58:46 +00:00
2018-10-30 19:53:36 +00:00
2018-10-06 13:06:42 +00:00
2017-09-15 08:58:46 +00:00
2018-05-27 20:15:16 +00:00
2018-10-23 11:35:03 +00:00
2018-06-24 06:34:38 +00:00
2018-12-06 11:22:12 +00:00
2018-12-10 13:39:33 +00:00
2018-11-21 16:37:34 +00:00
2018-12-04 14:25:38 +00:00
2018-12-04 14:30:52 +00:00
2016-12-08 19:23:24 +00:00
2017-11-30 06:13:34 +00:00
2018-12-12 01:35:33 +00:00
2018-03-13 06:35:27 +00:00
2017-02-05 03:30:43 +00:00
2018-12-10 14:19:22 +00:00
2018-12-06 11:22:12 +00:00
2018-12-09 10:12:06 +00:00
2018-12-06 11:22:12 +00:00
2018-12-07 07:54:44 +00:00
2018-12-06 11:22:12 +00:00
2018-12-07 07:50:31 +00:00
2018-12-06 11:22:12 +00:00
2018-10-20 16:09:56 +00:00
2018-08-07 15:36:54 +00:00
2017-12-18 20:45:48 +00:00
2018-11-02 13:32:34 +00:00
2018-06-29 16:48:10 +00:00
2018-12-12 01:35:33 +00:00
2018-05-14 21:03:47 +00:00
2018-12-12 01:35:33 +00:00
2018-06-20 17:05:41 +00:00
2018-02-19 11:10:43 +00:00
2017-11-18 20:30:35 +00:00
2018-11-22 20:18:37 +00:00
2018-07-28 05:26:21 +00:00
2018-07-28 05:26:21 +00:00
2017-01-22 15:29:45 +00:00
2018-01-21 10:51:29 +00:00
2018-01-21 10:51:29 +00:00
2018-11-02 13:32:34 +00:00
2018-11-17 08:01:59 +00:00
2018-11-02 13:32:34 +00:00
2018-11-02 13:32:34 +00:00
2018-11-02 13:32:34 +00:00
2018-10-27 04:06:06 +00:00
2017-12-18 13:10:14 +00:00
2018-11-04 14:26:43 +00:00
2017-07-28 18:58:24 +00:00
2018-05-31 01:18:05 +00:00
2018-11-02 13:32:34 +00:00
2018-10-27 18:51:51 +00:00
2018-12-12 01:35:33 +00:00
2018-11-23 10:52:22 +00:00
2018-03-29 15:02:05 +00:00
2018-01-10 15:08:51 +00:00
2018-03-02 22:34:53 +00:00
2017-09-24 18:49:25 +00:00
2018-08-09 17:41:11 +00:00
2018-11-10 10:09:48 +00:00
2018-11-02 13:32:34 +00:00
2018-11-02 13:32:34 +00:00
2018-12-06 17:11:14 +00:00
2018-09-23 18:53:49 +00:00
2018-12-12 01:35:33 +00:00
2018-12-06 17:58:33 +00:00
2018-05-22 16:41:21 +00:00
2018-12-10 14:23:45 +00:00
2018-12-02 20:27:18 +00:00
2018-12-12 01:35:33 +00:00
2018-08-31 18:27:13 +00:00
2018-12-12 01:35:33 +00:00
2017-12-30 22:33:48 +00:00
2017-11-04 11:43:35 +00:00
2018-11-10 18:12:57 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-09-10 13:11:23 +00:00
2018-09-10 13:14:50 +00:00
2018-12-12 01:35:33 +00:00
2017-12-18 03:19:46 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-05-05 08:33:58 +00:00
2018-06-06 08:34:26 +00:00
2017-06-27 00:05:15 +00:00
2018-12-12 01:35:33 +00:00
2018-12-08 22:13:30 +00:00
2018-12-12 01:35:33 +00:00
2017-09-10 13:43:09 +00:00
2018-11-10 18:12:57 +00:00
2018-05-10 23:05:16 +00:00
2018-11-19 12:01:15 +00:00
2018-11-02 13:32:34 +00:00
2016-11-24 09:31:37 +00:00
2017-01-31 08:32:09 +00:00
2018-07-31 13:05:38 +00:00
2017-11-30 15:50:30 +00:00
2016-11-03 16:16:54 +00:00
2018-05-31 01:18:05 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-12-12 01:35:33 +00:00
2018-11-13 17:37:23 +00:00
2018-11-17 13:05:44 +00:00
2018-07-29 16:42:39 +00:00
2018-07-29 16:42:39 +00:00
2018-11-10 18:12:57 +00:00
2018-12-12 01:35:33 +00:00
2018-12-09 22:17:01 +00:00