reliforp/reli-prof
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| March 25 2026, 16:04:30 | 8875e2e | 99.985% | 13.4K |
| March 25 2026, 16:04:12 | 25b800e | 99.985% | 13.4K |
| March 25 2026, 16:03:44 | f5a6fbb | 99.985% | 13.4K |
| March 25 2026, 07:03:32 | 262b2ab | 99.985% | 13.4K |
| March 25 2026, 07:01:25 | 2348bfb | 99.985% | 13.6K |
| March 24 2026, 14:06:51 | 506a30e | 99.985% | 13.6K |
| March 24 2026, 12:35:17 | 26294a0 | 99.985% | 13.6K |
| March 23 2026, 00:47:38 | da56c57 | 99.985% | 12.9K |
| March 21 2026, 00:16:57 | 84a2e21 | 99.984% | 12.8K |
| March 20 2026, 15:17:54 | 91ef3f2 | 99.984% | 12.8K |
| March 20 2026, 14:54:24 | 3cbd294 | 99.984% | 12.8K |
| March 20 2026, 14:40:55 | 9899ff3 | 99.984% | 12.8K |
| March 20 2026, 14:32:50 | 1fe2342 | 99.984% | 12.8K |
| March 20 2026, 14:32:36 | 8e4e412 | 99.984% | 12.8K |
| March 20 2026, 14:32:20 | c93aaac | 99.984% | 12.8K |
| March 20 2026, 14:22:05 | 3119d48 | 99.984% | 12.8K |
| March 20 2026, 13:01:36 | 479282a | 99.984% | 12.8K |
| March 18 2026, 14:26:18 | 20a3bbc | 99.984% | 12.8K |
| March 16 2026, 22:06:18 | 0fd761a | 99.984% | 12.8K |
| March 15 2026, 05:22:38 | 085d01a | 99.984% | 12.8K |
| March 15 2026, 05:22:03 | 90f7920 | 99.984% | 12.8K |
| March 13 2026, 00:43:04 | 936ffba | 99.984% | 12.8K |
| March 12 2026, 23:52:09 | 949014f | 99.984% | 12.8K |
| March 12 2026, 23:51:17 | 7f9d178 | 99.984% | 12.8K |
| January 20 2025, 15:06:42 | 9bdf8e9 | 99.984% | 12.5K |
| January 20 2025, 14:36:36 | c9fe52c | 99.984% | 12.5K |
| January 17 2025, 16:33:55 | f0d03c9 | 99.984% | 12.5K |
| January 17 2025, 16:33:17 | f59e702 | 99.984% | 12.5K |
| January 15 2025, 18:23:20 | f3432d9 | 99.984% | 12.5K |
| January 15 2025, 18:14:17 | 588c65a | 99.984% | 12.5K |
| June 1 2024, 14:08:21 | a9511b5 | 99.984% | 12.5K |
| June 1 2024, 14:02:15 | bc52087 | 99.984% | 12.5K |
| June 1 2024, 13:54:53 | 0c02c09 | 99.984% | 12.5K |
| April 29 2024, 18:18:08 | 29ddf96 | 99.984% | 12.5K |
| April 29 2024, 18:17:54 | 6e7ba15 | 99.984% | 12.5K |
| April 29 2024, 18:14:23 | 550eab5 | 99.984% | 12.5K |
| April 26 2024, 15:54:02 | ff38ab4 | 99.984% | 12.5K |
| April 26 2024, 15:49:30 | a05b20e | 99.984% | 12.5K |
| April 23 2024, 00:30:39 | 5266e3e | 99.984% | 12.5K |
| April 23 2024, 00:29:27 | dc36fd8 | 99.984% | 12.5K |
| April 23 2024, 00:29:13 | 2406217 | 99.984% | 12.5K |
| April 23 2024, 00:17:36 | e8fa4ad | 99.984% | 12.5K |
| April 6 2024, 21:54:13 | 5bc9ca7 | 99.984% | 12.5K |
| April 6 2024, 21:39:20 | 48efa61 | 99.984% | 12.5K |
| March 27 2024, 18:48:30 | fbbee89 | 99.984% | 12.5K |
| March 27 2024, 18:48:19 | d5569c1 | 99.984% | 12.5K |
| March 23 2024, 16:14:05 | 2a7f6b7 | 99.984% | 12.5K |
| March 23 2024, 16:06:03 | b76fa55 | 99.984% | 12.5K |
| March 21 2024, 10:20:31 | 9779808 | 99.984% | 12.5K |
| March 20 2024, 09:59:12 | bf37514 | 99.984% | 12.5K |
| March 20 2024, 09:44:29 | 3a645e0 | 99.984% | 12.5K |
| March 18 2024, 23:29:48 | 364f468 | 99.984% | 12.5K |
| March 18 2024, 20:17:43 | 3e96700 | 99.984% | 12.5K |
| March 18 2024, 20:11:38 | df582ef | 99.984% | 12.5K |
| March 18 2024, 20:11:20 | 04833a6 | 99.984% | 12.5K |
| March 18 2024, 20:11:05 | f9ad025 | 99.984% | 12.5K |
| March 11 2024, 00:52:32 | f147170 | 99.984% | 12.5K |
| March 10 2024, 06:47:21 | ccb6b99 | 99.984% | 12.5K |
| March 10 2024, 06:46:55 | 0eb0c96 | 99.984% | 12.5K |
| March 7 2024, 09:21:03 | 70d7f33 | 99.984% | 12.4K |
| February 28 2024, 15:46:58 | 5487f23 | 99.983% | 11.8K |
| February 28 2024, 15:46:23 | ac3613b | 99.983% | 11.8K |
| February 17 2024, 23:15:54 | bd58bfb | 99.983% | 11.8K |
| February 16 2024, 17:39:52 | be5f0dd | 99.983% | 11.8K |
| February 14 2024, 21:43:03 | 20c4a14 | 99.983% | 11.8K |
| February 14 2024, 21:40:20 | b09459e | 99.983% | 11.8K |
| February 14 2024, 21:29:23 | d2f3add | 99.983% | 11.8K |
| February 14 2024, 21:28:10 | b0ce7bf | 99.983% | 11.8K |
| February 14 2024, 21:27:29 | f982f1a | 99.983% | 11.8K |
| February 7 2024, 13:39:58 | b7151b1 | 99.983% | 11.5K |
| January 27 2024, 03:43:38 | cb38549 | 99.983% | 11.4K |
| January 18 2024, 18:35:40 | 67cc89e | 99.983% | 11.4K |
| January 18 2024, 18:31:39 | d68b88d | 99.983% | 11.4K |
| January 18 2024, 17:36:22 | 107d0af | 99.983% | 11.4K |
| January 17 2024, 13:32:57 | 0a96983 | 99.983% | 11.4K |
| December 30 2023, 20:54:04 | c920889 | 99.983% | 11.4K |
| December 22 2023, 17:16:54 | 7f8bb5e | 99.983% | 11.4K |
| December 18 2023, 16:56:32 | 8322794 | 99.983% | 11.4K |
| December 18 2023, 16:22:12 | 6e80663 | 99.983% | 11.4K |
| December 18 2023, 16:01:17 | 1cb561b | 99.982% | 11.4K |
| December 18 2023, 15:58:19 | 501d831 | 99.982% | 11.4K |
| December 17 2023, 18:39:49 | 9be46fb | 99.982% | 11.4K |
| December 17 2023, 18:34:56 | 06f626a | 99.982% | 11.4K |
| December 17 2023, 18:33:29 | 5ac1eac | 99.982% | 11.4K |
| December 17 2023, 18:14:21 | a5b75e8 | 99.982% | 11.4K |
| December 17 2023, 18:12:47 | 2f79375 | 99.982% | 11.4K |
| December 17 2023, 17:50:27 | 18e133f | 99.982% | 11.4K |
| December 16 2023, 23:47:03 | b2ad3e4 | 99.982% | 11.4K |
| December 14 2023, 21:25:16 | 5e974e3 | 99.982% | 11K |
| December 10 2023, 12:15:01 | 662c45c | 99.982% | 11K |
| December 4 2023, 23:14:48 | db53461 | 99.982% | 11K |
| December 1 2023, 21:52:13 | 5a7f058 | 99.982% | 11K |
| December 1 2023, 17:19:08 | 19cf7e4 | 99.982% | 11K |
| November 29 2023, 14:18:00 | c3a362a | 99.982% | 11K |
| November 27 2023, 05:01:30 | a75eb44 | 99.982% | 11K |
| November 27 2023, 04:20:48 | fc94521 | 99.982% | 11K |
| November 25 2023, 19:26:32 | 961e084 | 99.982% | 11K |
| November 25 2023, 17:45:08 | 7bc890e | 99.982% | 10.9K |
| November 25 2023, 17:43:00 | 95da17a | 99.982% | 10.9K |
| November 25 2023, 00:48:36 | 2b97581 | 99.982% | 10.9K |
| November 25 2023, 00:45:05 | 598c4c9 | 99.982% | 10.9K |
| November 24 2023, 04:44:09 | 21d257b | 99.982% | 10.9K |
| November 24 2023, 04:21:26 | 5af99d1 | 99.982% | 10.9K |
| November 23 2023, 23:56:37 | a91914b | 99.982% | 10.9K |
| November 23 2023, 23:27:19 | c494602 | 99.982% | 10.9K |
| November 23 2023, 22:51:54 | 154d33b | 99.982% | 10.9K |
| November 23 2023, 21:27:46 | 6d5e174 | 99.982% | 10.9K |
| November 23 2023, 20:36:21 | 5619e7c | 99.982% | 10.9K |
| November 23 2023, 20:08:32 | 588a110 | 99.982% | 10.9K |
| November 23 2023, 19:52:04 | 5ff5f89 | 99.982% | 10.9K |
| November 23 2023, 19:37:46 | a3873c3 | 99.982% | 10.9K |
| November 23 2023, 19:32:24 | 23dbcbd | 99.982% | 10.9K |
| November 23 2023, 19:29:45 | cb564a6 | 99.982% | 10.9K |
| November 23 2023, 19:23:48 | b2b6fc6 | 99.982% | 10.9K |
| November 23 2023, 19:20:04 | 7b82977 | 99.982% | 10.9K |
| November 23 2023, 19:14:26 | a065210 | 99.982% | 10.9K |
| November 23 2023, 19:10:35 | c5c5766 | 99.982% | 10.9K |
| November 23 2023, 17:24:23 | 22c7ae2 | 99.982% | 10.9K |
| November 23 2023, 16:53:23 | 400b6df | 99.982% | 10.9K |
| November 23 2023, 07:57:10 | ffb6997 | 99.982% | 10.9K |
| November 23 2023, 00:26:21 | 7fb57be | 99.982% | 10.9K |
| November 23 2023, 00:13:38 | 42cbca7 | 99.982% | 10.9K |
| November 22 2023, 15:03:05 | aae3dc2 | 99.982% | 10.9K |
| November 21 2023, 23:55:08 | f99d12a | 99.982% | 10.9K |
| November 21 2023, 21:21:10 | 4877c4f | 99.982% | 10.8K |
| November 21 2023, 21:15:14 | 5170188 | 99.982% | 10.8K |
| November 21 2023, 21:09:26 | 6fabc66 | 99.982% | 10.8K |
| November 20 2023, 14:10:29 | 33f255c | 99.982% | 10.8K |
| November 19 2023, 23:15:55 | d709d47 | 99.981% | 10.7K |
| November 19 2023, 21:46:19 | 65e1dbd | 99.981% | 10.7K |
| November 19 2023, 21:33:55 | a1075c0 | 99.981% | 10.7K |
| November 19 2023, 17:40:10 | 44cb2bc | 99.981% | 10.7K |
| November 19 2023, 17:25:59 | 30faa69 | 99.981% | 10.6K |
| November 19 2023, 17:05:05 | 2b56fd9 | 99.981% | 10.6K |
| November 19 2023, 16:58:44 | 07918b5 | 99.981% | 10.6K |
| November 16 2023, 14:25:23 | cdb3e7e | 99.981% | 10.6K |
| November 16 2023, 00:04:30 | 06807ff | 99.981% | 10.6K |
| November 13 2023, 16:56:03 | 91b6115 | 99.981% | 10.6K |
| November 13 2023, 14:46:16 | 55f7769 | 99.981% | 10.6K |
| November 13 2023, 14:14:17 | 03cd53f | 99.981% | 10.6K |
| November 12 2023, 22:45:58 | edefdf9 | 99.962% | 5.2K |
| November 12 2023, 22:43:32 | 03d9938 | 99.962% | 5.2K |
| November 12 2023, 21:17:36 | 8530ace | 99.962% | 5.2K |
| November 12 2023, 20:41:14 | 31da803 | 99.962% | 5.2K |
| November 12 2023, 19:55:56 | f4b6099 | 99.961% | 5.1K |
| November 12 2023, 19:54:03 | 37d5019 | 99.961% | 5.1K |
| November 12 2023, 19:48:00 | a1c1c3e | 99.961% | 5.1K |
| November 12 2023, 19:40:32 | c89eaa7 | 99.961% | 5.1K |
| November 11 2023, 14:02:52 | 62e6dbb | 99.961% | 5.1K |
| November 2 2023, 18:11:47 | 8dbfbe0 | 99.961% | 5.1K |
| October 30 2023, 15:06:45 | 07c90b3 | 99.961% | 5.1K |
| October 30 2023, 15:04:54 | 98a559e | 99.961% | 5.1K |
| October 8 2023, 08:11:54 | 1211e2d | 99.961% | 5.1K |
| October 7 2023, 17:10:28 | 3ab12da | 99.961% | 5.1K |
| September 5 2023, 14:56:09 | f9c9c56 | 99.961% | 5.1K |
| September 5 2023, 14:50:46 | d48c9ad | 99.961% | 5.1K |
| August 31 2023, 15:34:48 | 9a906c9 | 99.961% | 5.1K |
| August 28 2023, 13:19:52 | 2096f91 | 99.961% | 5.1K |
| August 22 2023, 16:31:55 | 7756cf5 | 99.961% | 5.1K |
| August 22 2023, 16:22:57 | 09fb2c8 | 99.961% | 5.1K |
| August 17 2023, 16:33:28 | fd37240 | 99.961% | 5.1K |
| August 17 2023, 16:25:16 | c78c84b | 99.961% | 5.1K |
| August 17 2023, 15:29:40 | 571df93 | 99.961% | 5.1K |
| August 15 2023, 23:48:51 | 39a7f67 | 99.961% | 5.1K |
| August 15 2023, 17:14:38 | 1cb20b2 | 99.961% | 5.1K |
| August 15 2023, 17:05:29 | 059cfdd | 99.961% | 5.1K |
| August 7 2023, 15:30:12 | e94b28b | 99.961% | 5.1K |
| August 7 2023, 15:28:54 | f0d3661 | 99.961% | 5.1K |
| August 7 2023, 15:27:04 | ded43db | 99.961% | 5.1K |
| July 30 2023, 14:19:17 | e3b73f9 | 99.961% | 5.1K |
| July 28 2023, 19:28:25 | e7e17d7 | 99.961% | 5.1K |
| July 28 2023, 19:25:27 | 6bab225 | 99.961% | 5.1K |
| July 28 2023, 19:23:43 | 3c58b5a | 99.961% | 5.1K |
| June 28 2023, 13:07:33 | 0b771a9 | 99.961% | 5.1K |
| June 27 2023, 21:40:02 | d6e6ebf | 99.961% | 5.1K |
| June 27 2023, 21:34:42 | 42c1e70 | 99.961% | 5.1K |
| June 18 2023, 17:06:44 | 3ed949a | 99.960% | 5K |
| June 18 2023, 11:15:40 | 654cbc1 | 99.960% | 5K |
| June 9 2023, 15:07:25 | fccbbc4 | 99.960% | 5K |
| June 9 2023, 14:55:53 | 27ee808 | 99.960% | 5K |
| June 8 2023, 14:10:14 | f8f706c | 99.960% | 5K |
| June 8 2023, 13:56:44 | b01d7b4 | 99.960% | 5K |
| June 3 2023, 21:42:21 | 9118b2b | 99.960% | 5K |
| June 3 2023, 21:18:59 | ec59d40 | 99.960% | 5K |
| June 3 2023, 21:17:33 | 145670b | 99.960% | 5K |
| June 3 2023, 21:16:52 | 4b77bcc | 99.960% | 5K |
| June 3 2023, 21:16:12 | b64fbef | 99.960% | 5K |
| June 3 2023, 21:15:38 | 6d73e63 | 99.960% | 5K |
| June 3 2023, 21:15:02 | 403a6ec | 99.960% | 5K |
| May 15 2023, 22:53:58 | dd650f9 | 99.960% | 5K |
| May 13 2023, 22:50:41 | 4f71113 | 99.960% | 5K |
| May 12 2023, 17:39:26 | 86df673 | 99.960% | 5K |
| May 11 2023, 16:39:09 | dd5414b | 99.960% | 5K |
| May 11 2023, 16:14:27 | 34e3e72 | 99.960% | 5K |
| May 11 2023, 16:12:42 | 61bbe96 | 99.960% | 5K |
| May 11 2023, 16:10:30 | a1aed73 | 99.960% | 5K |
| May 11 2023, 15:02:41 | 309eb71 | 99.941% | 5K |
| May 11 2023, 14:57:56 | 552970a | 99.941% | 5K |
| May 11 2023, 14:51:50 | 4d79820 | 99.941% | 5K |
| May 11 2023, 14:50:14 | 4489c80 | 99.941% | 5K |
| May 11 2023, 14:48:44 | f8f20e5 | 99.941% | 5K |
| May 11 2023, 14:42:57 | d28c631 | 99.941% | 5K |
| May 11 2023, 14:36:43 | e43a7e1 | 99.941% | 5K |
| May 11 2023, 14:32:47 | d1f5dc8 | 99.941% | 5K |
| May 5 2023, 12:56:57 | aeb6252 | 99.941% | 5K |
| February 26 2023, 14:55:35 | ae90433 | 99.941% | 5K |
| February 26 2023, 14:23:26 | c15e931 | 99.941% | 5K |
| February 26 2023, 14:12:19 | 73721fc | 99.941% | 5K |
| February 26 2023, 13:14:46 | 1c47d2c | 99.941% | 5K |
| February 26 2023, 13:03:04 | 481e2c4 | 99.941% | 5K |
| February 15 2023, 23:24:34 | 310d723 | 99.941% | 5K |
| December 12 2022, 18:26:57 | 16ad294 | 99.941% | 5K |
| December 12 2022, 18:22:03 | e624dde | 99.941% | 5K |
| December 12 2022, 18:18:50 | 991ef69 | 99.941% | 5K |
| November 6 2022, 22:41:46 | d4143bb | 99.941% | 5K |
| November 6 2022, 22:38:05 | b8214b7 | 99.941% | 5K |
| November 6 2022, 22:31:02 | ecd1c2c | 99.941% | 5K |
| November 6 2022, 22:30:33 | 8aa45d6 | 99.941% | 5K |
| November 6 2022, 22:26:05 | 233e499 | 99.940% | 5K |
| November 6 2022, 22:07:06 | b9fc782 | 99.940% | 4.9K |
| November 1 2022, 17:51:24 | d3da515 | 99.940% | 4.9K |
| October 5 2022, 22:26:25 | 3b8492e | 99.940% | 4.9K |
| October 5 2022, 19:37:39 | aac31e6 | 99.940% | 4.9K |
| October 5 2022, 19:30:02 | 5f91536 | 99.940% | 4.9K |
| October 5 2022, 19:29:29 | b9d83a7 | 99.940% | 4.9K |
| October 5 2022, 19:27:34 | 8de5203 | 99.940% | 4.9K |
| October 5 2022, 19:25:14 | 9816c91 | 99.940% | 4.9K |
| October 5 2022, 19:23:30 | a98caae | 99.940% | 4.9K |
| October 5 2022, 18:49:13 | 9a19481 | 99.940% | 4.9K |
| August 8 2022, 05:02:17 | 8ce9ebc | 99.940% | 4.9K |
| August 8 2022, 05:01:31 | abcf7fd | 99.940% | 4.9K |
| August 3 2022, 16:33:12 | ecdcc42 | 99.979% | 4.7K |
| August 3 2022, 15:56:58 | 8fe4a00 | 99.979% | 4.7K |
| August 3 2022, 15:55:53 | 54a92d4 | 99.979% | 4.7K |
| June 13 2022, 12:04:11 | d9076f0 | 99.979% | 4.7K |
| June 9 2022, 14:22:17 | ec85a96 | 99.979% | 4.7K |
| June 7 2022, 21:04:16 | 9b956b2 | 99.979% | 4.7K |
| May 28 2022, 08:04:28 | 605f098 | 99.979% | 4.7K |
| May 6 2022, 12:21:20 | ad8c3ef | 99.979% | 4.7K |
| April 30 2022, 08:24:40 | b45fcbc | 99.979% | 4.7K |
| April 30 2022, 08:21:52 | 29d9ce7 | 99.979% | 4.7K |
| April 30 2022, 08:16:32 | 8b7bff5 | 99.979% | 4.7K |
| April 28 2022, 16:14:30 | 6a35ea8 | 99.979% | 4.6K |
| April 27 2022, 15:22:57 | 63d4f09 | 99.979% | 4.6K |
| April 15 2022, 14:54:49 | d31ab39 | 99.979% | 4.6K |
| April 14 2022, 02:36:41 | 6cfcdd8 | 99.979% | 4.6K |
| April 10 2022, 12:13:02 | 008759d | 99.979% | 4.6K |
| April 10 2022, 12:10:45 | 9e6394c | 99.979% | 4.6K |
| April 2 2022, 12:45:17 | 33f0f7a | 99.979% | 4.6K |
| April 1 2022, 15:39:34 | 27c7e68 | 99.979% | 4.6K |
| March 29 2022, 21:45:03 | 5de5410 | 99.979% | 4.6K |
| March 29 2022, 21:41:13 | 8857a8d | 99.979% | 4.6K |
| March 29 2022, 21:39:48 | d6d1df3 | 99.979% | 4.6K |
| March 29 2022, 21:38:24 | ba28d68 | 99.979% | 4.6K |
| March 29 2022, 21:30:15 | 445a04f | 99.979% | 4.6K |
| March 29 2022, 21:29:38 | c5ea048 | 99.979% | 4.6K |
| March 28 2022, 20:00:14 | 928e1fb | 99.979% | 4.6K |