gsteel/dot
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| November 18 2024, 00:25:00 | 527be99 | 99.802% | 504 |
| November 16 2024, 12:55:16 | 1a30550 | 99.802% | 504 |
| November 12 2024, 15:45:40 | 9395fdf | 99.802% | 504 |
| November 11 2024, 00:29:43 | a1be4fb | 99.802% | 504 |
| November 4 2024, 01:05:15 | a2bdc4c | 99.802% | 504 |
| October 28 2024, 16:40:28 | c41be88 | 99.802% | 504 |
| October 28 2024, 01:46:37 | 2355d9b | 99.802% | 504 |
| October 23 2024, 15:39:37 | 9f177f3 | 99.802% | 504 |
| October 19 2024, 13:17:35 | 3e3f602 | 99.802% | 504 |
| October 14 2024, 01:07:56 | c0269f0 | 99.802% | 504 |
| October 8 2024, 16:42:19 | 0306ab5 | 99.802% | 504 |
| October 7 2024, 19:53:31 | aa11797 | 99.802% | 504 |
| October 7 2024, 01:02:39 | 54a00e9 | 99.802% | 504 |
| September 30 2024, 00:25:44 | cdf4f09 | 99.802% | 504 |
| September 25 2024, 20:12:23 | be4218b | 99.802% | 504 |
| September 23 2024, 00:45:30 | 8bc5c3f | 99.802% | 504 |
| September 19 2024, 14:38:43 | 9860b2f | 99.802% | 504 |
| September 18 2024, 13:41:50 | 617abcc | 99.802% | 504 |
| September 16 2024, 00:34:05 | e20c949 | 99.802% | 504 |
| September 13 2024, 06:20:22 | 1346883 | 99.802% | 504 |
| September 9 2024, 16:32:43 | 6525609 | 99.802% | 504 |
| September 9 2024, 07:00:47 | 4d02882 | 99.802% | 504 |
| September 8 2024, 18:07:29 | 2e653e4 | 99.802% | 504 |
| September 4 2024, 15:26:51 | ec72343 | 99.802% | 504 |
| September 3 2024, 13:08:28 | f1b2e89 | 99.802% | 504 |
| September 2 2024, 00:16:58 | 5ebb13c | 99.802% | 504 |
| August 26 2024, 00:51:58 | 60cc470 | 99.802% | 504 |
| August 13 2024, 08:46:53 | 1aa39b1 | 99.802% | 504 |
| July 30 2024, 13:33:50 | 0e59f5e | 99.802% | 504 |
| July 25 2024, 14:11:48 | 69d7a6e | 99.802% | 504 |
| July 22 2024, 01:46:07 | baedc2a | 99.802% | 504 |
| July 18 2024, 17:00:39 | 99054d0 | 99.802% | 504 |
| July 15 2024, 03:16:06 | 3e75a90 | 99.802% | 504 |
| July 10 2024, 16:58:13 | ef5cabf | 99.802% | 504 |
| July 9 2024, 18:28:38 | 4da8c5f | 99.802% | 504 |
| July 8 2024, 08:24:59 | 651644c | 99.802% | 504 |
| July 3 2024, 06:46:05 | 4a8d81d | 99.802% | 504 |
| July 1 2024, 01:44:26 | 9e22027 | 99.802% | 504 |
| June 24 2024, 03:16:19 | 0664af8 | 99.802% | 504 |
| June 20 2024, 16:41:45 | 8de535e | 99.802% | 504 |
| June 20 2024, 09:32:42 | 67977ae | 99.802% | 504 |
| June 19 2024, 07:18:06 | 6283ec7 | 99.802% | 504 |
| June 15 2024, 10:11:40 | 09b1e45 | 99.802% | 504 |
| June 12 2024, 20:32:51 | 76cb8c7 | 99.802% | 504 |
| June 3 2024, 11:15:52 | 78190c0 | 99.802% | 504 |
| June 3 2024, 01:14:28 | 87357fb | 99.802% | 504 |
| May 27 2024, 01:46:34 | a01975c | 99.802% | 504 |
| May 20 2024, 13:53:52 | 6b1a55a | 99.802% | 504 |
| May 17 2024, 00:40:38 | bb64ea4 | 99.802% | 504 |
| May 13 2024, 01:29:33 | cb63476 | 99.802% | 504 |
| May 8 2024, 20:17:06 | 0a84fc1 | 99.802% | 504 |
| May 6 2024, 01:30:49 | f133c4d | 99.802% | 504 |
| May 1 2024, 22:18:45 | f012635 | 99.802% | 504 |
| April 25 2024, 17:45:08 | 5aeb051 | 99.802% | 504 |
| April 24 2024, 06:43:34 | a75b732 | 99.802% | 504 |
| April 23 2024, 22:54:32 | 93bfa01 | 99.802% | 504 |
| April 22 2024, 15:34:27 | 776d589 | 99.802% | 504 |
| April 21 2024, 18:07:03 | b990568 | 99.802% | 504 |
| April 17 2024, 17:32:59 | 488c6b8 | 99.802% | 504 |
| April 15 2024, 00:27:21 | 36276bf | 99.802% | 504 |
| April 14 2024, 10:07:02 | 6d2caaf | 99.802% | 504 |
| April 8 2024, 00:11:10 | 69f6700 | 99.802% | 504 |
| April 5 2024, 10:31:10 | 2a093b1 | 99.802% | 504 |
| April 1 2024, 01:05:26 | 1a18332 | 99.802% | 504 |
| March 31 2024, 23:17:54 | 41f0abd | 99.802% | 504 |
| March 30 2024, 23:01:45 | 565f4aa | 99.802% | 504 |
| March 28 2024, 12:57:03 | f5a66c4 | 99.802% | 504 |
| March 25 2024, 12:03:22 | 2f98b4f | 99.802% | 504 |
| March 25 2024, 01:21:10 | 311ec3f | 99.802% | 504 |
| March 22 2024, 04:52:16 | f95fa20 | 99.802% | 504 |
| March 21 2024, 09:38:39 | 4fde372 | 99.802% | 504 |
| March 18 2024, 02:33:28 | 4c1825d | 99.802% | 504 |
| March 15 2024, 14:33:15 | 467ff3d | 99.802% | 504 |
| March 12 2024, 16:02:21 | 6c59926 | 99.802% | 504 |
| March 11 2024, 22:08:39 | 5de73bc | 99.802% | 504 |
| March 11 2024, 01:01:47 | 764b392 | 99.802% | 504 |
| March 9 2024, 21:18:23 | 730012d | 99.802% | 504 |
| March 9 2024, 14:09:11 | 19448a2 | 99.802% | 504 |
| March 4 2024, 01:47:56 | 5ac4004 | 99.802% | 504 |
| March 1 2024, 11:31:05 | b34ce90 | 99.802% | 504 |
| February 29 2024, 16:38:20 | 88ccbd9 | 99.802% | 504 |
| February 28 2024, 16:18:28 | 2dfa88c | 99.802% | 504 |
| February 26 2024, 00:10:08 | b7f19d0 | 99.802% | 504 |
| February 25 2024, 16:16:34 | dcdf1c9 | 99.802% | 504 |
| February 23 2024, 00:51:30 | afc549c | 99.802% | 504 |
| February 16 2024, 16:12:09 | 44ea01f | 99.802% | 504 |
| February 16 2024, 01:58:06 | 15e6e28 | 99.802% | 504 |
| February 14 2024, 06:26:21 | abbf22f | 99.802% | 504 |
| February 4 2024, 10:22:19 | ff5be49 | 99.802% | 504 |
| January 31 2024, 23:43:04 | 64451d1 | 99.802% | 504 |
| January 31 2024, 01:38:51 | bd7cdeb | 99.802% | 504 |
| January 29 2024, 02:47:27 | e016449 | 99.802% | 504 |
| January 22 2024, 16:12:20 | 75e9ca7 | 99.802% | 504 |
| January 17 2024, 12:46:54 | cbad7b1 | 99.802% | 504 |
| January 15 2024, 11:06:16 | 66cce25 | 99.802% | 504 |
| January 15 2024, 02:34:18 | 07209fe | 99.802% | 504 |
| January 14 2024, 19:45:47 | 04dc530 | 99.802% | 504 |
| January 13 2024, 13:29:04 | 5baba05 | 99.802% | 504 |
| January 11 2024, 21:24:46 | c442302 | 99.802% | 504 |
| January 9 2024, 23:06:30 | ea52fbb | 99.802% | 504 |
| January 8 2024, 00:22:16 | ff5223f | 99.802% | 504 |
| January 1 2024, 00:11:28 | dbaca72 | 99.802% | 504 |
| December 27 2023, 17:19:54 | ab16e32 | 99.802% | 504 |
| December 25 2023, 01:15:40 | aec6c2e | 99.802% | 504 |
| December 16 2023, 13:54:07 | 286e8d5 | 99.802% | 504 |
| December 13 2023, 10:44:48 | 64e74af | 99.802% | 504 |
| December 11 2023, 01:03:59 | 3c63e45 | 99.802% | 504 |
| December 8 2023, 13:36:47 | 1cd172c | 99.802% | 504 |
| December 5 2023, 15:41:05 | bc6f3d1 | 99.802% | 504 |
| December 4 2023, 15:03:55 | da26374 | 99.802% | 504 |
| December 4 2023, 02:45:24 | f828fd3 | 99.802% | 504 |
| December 1 2023, 17:05:53 | 16f0b4e | 99.802% | 504 |
| December 1 2023, 06:52:58 | 81f1a90 | 99.802% | 504 |
| November 27 2023, 14:32:42 | c587f19 | 99.802% | 504 |
| November 27 2023, 01:07:02 | b45448c | 99.802% | 504 |
| November 22 2023, 22:42:52 | 9c52584 | 99.802% | 504 |
| November 20 2023, 02:13:09 | d9c46d3 | 99.802% | 504 |
| November 7 2023, 13:51:45 | 1630f18 | 99.802% | 504 |
| November 1 2023, 21:55:04 | e46b116 | 99.802% | 504 |
| October 26 2023, 08:11:48 | 72c5bb2 | 99.802% | 504 |
| October 19 2023, 09:20:29 | 725b0a3 | 99.802% | 504 |
| October 16 2023, 00:05:56 | 362f0bc | 99.802% | 504 |
| October 9 2023, 01:12:49 | 1b50360 | 99.802% | 504 |
| October 8 2023, 07:04:29 | db8427f | 99.802% | 504 |
| October 6 2023, 04:00:04 | a92a260 | 99.802% | 504 |
| October 2 2023, 01:53:37 | 78d3922 | 99.802% | 504 |
| September 25 2023, 00:24:24 | fff2a72 | 99.802% | 504 |
| September 19 2023, 07:15:05 | 67c3f58 | 99.802% | 504 |
| September 18 2023, 22:30:53 | 0d884d4 | 99.802% | 504 |
| September 18 2023, 22:20:49 | dd70894 | 99.791% | 479 |
| September 14 2023, 17:02:35 | e3c5470 | 99.791% | 479 |
| September 14 2023, 07:01:21 | c2b9395 | 99.791% | 479 |
| September 12 2023, 17:10:09 | e0bc6be | 99.791% | 479 |
| September 11 2023, 00:59:27 | f32aa69 | 99.791% | 479 |
| September 5 2023, 06:34:58 | afba483 | 99.791% | 479 |
| September 4 2023, 18:30:25 | a1c693b | 99.791% | 479 |
| September 4 2023, 00:41:35 | 0abb9ac | 99.791% | 479 |
| August 28 2023, 00:30:23 | d2039d5 | 99.791% | 479 |
| August 21 2023, 04:26:01 | aafac57 | 99.791% | 479 |
| August 15 2023, 06:22:15 | 5f6e9a2 | 99.791% | 479 |
| August 15 2023, 00:51:10 | c391bea | 99.791% | 479 |
| August 14 2023, 00:07:50 | ef799d5 | 99.791% | 479 |
| August 13 2023, 01:47:40 | f59ceb4 | 99.791% | 479 |
| August 5 2023, 04:29:12 | c27cb95 | 99.791% | 479 |
| August 4 2023, 07:06:41 | e26b52e | 99.791% | 479 |
| August 2 2023, 09:44:22 | 3585457 | 99.791% | 479 |
| August 1 2023, 11:27:20 | 4eaea35 | 99.791% | 479 |
| July 30 2023, 22:37:20 | 23b6304 | 99.791% | 479 |
| July 29 2023, 21:24:20 | 4a69beb | 99.791% | 479 |
| July 27 2023, 01:22:19 | b439faf | 99.791% | 479 |
| July 26 2023, 01:38:38 | 6a2971f | 99.791% | 479 |
| July 25 2023, 00:46:10 | f854026 | 99.791% | 479 |
| July 20 2023, 01:42:41 | 5ede42b | 99.791% | 479 |
| July 17 2023, 15:20:25 | bb3d176 | 99.791% | 479 |
| July 14 2023, 13:04:37 | 6e28fe1 | 99.791% | 479 |
| July 10 2023, 04:21:55 | 7e8300a | 99.791% | 479 |
| July 3 2023, 00:12:50 | 9ecae54 | 99.791% | 479 |
| June 30 2023, 11:10:42 | 6b3bb89 | 99.791% | 479 |
| June 27 2023, 20:22:18 | f5bd666 | 99.791% | 479 |
| June 27 2023, 01:16:30 | fc666fa | 99.791% | 479 |
| June 26 2023, 07:33:42 | 28eac73 | 99.791% | 479 |
| June 24 2023, 01:05:09 | 9a5a6b3 | 99.791% | 479 |
| June 13 2023, 01:33:16 | 6020a51 | 99.791% | 479 |
| June 12 2023, 14:35:55 | 7fe0773 | 99.791% | 479 |
| June 11 2023, 07:23:01 | 7218a2b | 99.791% | 479 |
| June 5 2023, 06:08:13 | 338bc4d | 99.791% | 479 |
| June 4 2023, 00:20:15 | 6342fe4 | 99.791% | 479 |
| June 2 2023, 07:24:54 | 9e5b7b3 | 99.791% | 479 |
| May 31 2023, 00:04:15 | 980c899 | 99.791% | 479 |
| May 30 2023, 00:40:21 | 5d95326 | 99.791% | 479 |
| May 28 2023, 00:44:23 | 3cc555a | 99.791% | 479 |
| May 25 2023, 06:25:56 | feaf7d9 | 99.791% | 479 |
| May 23 2023, 00:43:19 | ea09ffb | 99.791% | 479 |
| May 22 2023, 21:34:55 | 6a5af8b | 99.791% | 479 |
| May 20 2023, 00:25:01 | 97c9168 | 99.791% | 479 |
| May 16 2023, 00:43:17 | 1c2487d | 99.791% | 479 |
| May 15 2023, 00:34:01 | a91022b | 99.791% | 479 |
| May 12 2023, 00:05:39 | aed709d | 99.791% | 479 |
| May 11 2023, 07:21:00 | 1a71065 | 99.791% | 479 |
| May 5 2023, 01:12:46 | 3750737 | 99.791% | 479 |
| May 2 2023, 19:57:01 | 8bc0f8c | 99.791% | 479 |
| April 29 2023, 01:49:07 | bda31b3 | 99.791% | 479 |
| April 26 2023, 00:32:15 | 3ce832b | 99.791% | 479 |
| April 25 2023, 08:06:06 | 0699e92 | 99.791% | 479 |
| April 22 2023, 08:36:23 | 8bcb204 | 99.791% | 479 |
| April 19 2023, 03:32:18 | ba40f6a | 99.791% | 479 |
| April 17 2023, 21:27:15 | a12e7fa | 99.791% | 479 |
| April 12 2023, 01:57:23 | 0d66078 | 99.791% | 479 |
| April 6 2023, 00:12:35 | 2982acd | 99.791% | 479 |
| March 30 2023, 06:23:35 | 680eeae | 99.791% | 479 |
| March 28 2023, 01:11:45 | 59dd1de | 99.791% | 479 |
| March 27 2023, 16:37:03 | d21b60f | 99.791% | 479 |
| March 22 2023, 08:01:36 | f00ae1c | 99.791% | 479 |
| March 20 2023, 15:11:39 | 803d873 | 99.791% | 479 |
| March 18 2023, 00:15:59 | 614ab14 | 99.791% | 479 |
| March 13 2023, 12:08:53 | 465c279 | 99.791% | 479 |
| March 10 2023, 04:08:53 | ec9b5bb | 99.791% | 479 |
| March 9 2023, 08:29:37 | 7ced19c | 99.791% | 479 |
| March 6 2023, 00:22:35 | d1d02f4 | 99.791% | 479 |
| March 2 2023, 01:25:48 | 149d489 | 99.791% | 479 |
| March 1 2023, 06:38:46 | 3d1714a | 99.791% | 479 |
| February 27 2023, 15:49:16 | 3c25ec9 | 99.791% | 479 |
| February 25 2023, 07:05:45 | 6dbb38a | 99.791% | 479 |
| February 24 2023, 20:01:10 | a253b3c | 99.791% | 479 |
| February 23 2023, 01:24:12 | 62c8eb6 | 99.791% | 479 |
| February 21 2023, 19:41:21 | 7bf9370 | 99.791% | 479 |
| February 21 2023, 07:45:00 | 60fd1d1 | 99.791% | 479 |
| February 20 2023, 01:11:07 | 3bdbff9 | 99.791% | 479 |
| February 19 2023, 13:24:33 | e6ebc72 | 99.791% | 479 |
| February 18 2023, 18:24:24 | fa6ab00 | 99.791% | 479 |
| February 11 2023, 01:12:20 | ecdb8ae | 99.791% | 479 |
| February 8 2023, 16:28:08 | e8a273f | 99.791% | 479 |
| February 8 2023, 07:42:08 | b511210 | 99.791% | 479 |
| February 7 2023, 10:14:31 | 32bbaf8 | 99.791% | 479 |
| February 5 2023, 17:20:22 | b207163 | 99.791% | 479 |
| February 4 2023, 15:02:07 | c7ce1ce | 99.791% | 479 |
| February 4 2023, 14:19:38 | 3338143 | 99.791% | 479 |
| February 4 2023, 14:16:18 | 7d36816 | 99.791% | 479 |
| February 3 2023, 19:50:22 | 3585611 | 99.791% | 479 |
| February 3 2023, 07:45:28 | 2c2d17d | 99.791% | 479 |
| January 27 2023, 03:57:13 | 0362f87 | 99.791% | 479 |
| January 25 2023, 08:36:30 | adf337a | 99.791% | 479 |
| January 24 2023, 11:28:03 | ffe4544 | 99.791% | 479 |
| January 20 2023, 00:26:10 | 6e2fb5a | 99.791% | 478 |
| January 14 2023, 13:17:13 | 8ba450a | 99.791% | 478 |
| January 11 2023, 01:43:50 | 676ef61 | 99.791% | 478 |
| January 6 2023, 10:47:38 | 624a421 | 99.791% | 478 |
| December 31 2022, 00:01:45 | 1fc5b05 | 99.791% | 478 |
| December 29 2022, 01:29:14 | 9ffe64c | 99.791% | 478 |
| December 27 2022, 01:15:16 | a927cc4 | 99.791% | 478 |
| December 21 2022, 00:50:24 | 3dab7cb | 99.791% | 478 |
| December 19 2022, 23:55:32 | 35ff519 | 99.791% | 478 |
| December 16 2022, 01:21:05 | f80c09c | 99.791% | 478 |
| December 15 2022, 01:00:05 | 9f0c125 | 99.791% | 478 |
| December 14 2022, 00:47:28 | 54f6bef | 99.791% | 478 |
| December 13 2022, 21:45:58 | af1fc33 | 99.791% | 478 |
| December 12 2022, 09:23:46 | f191727 | 99.791% | 478 |
| December 11 2022, 00:12:02 | e8432e2 | 99.791% | 478 |
| December 9 2022, 09:01:19 | 81f68ff | 99.791% | 478 |
| December 5 2022, 18:03:34 | 9db08b2 | 99.791% | 478 |
| December 2 2022, 22:49:12 | e9f8c2d | 99.791% | 478 |
| November 30 2022, 13:56:09 | e514428 | 99.791% | 478 |
| November 23 2022, 00:52:46 | 383249e | 99.791% | 478 |
| November 19 2022, 00:31:47 | 5ca18e9 | 99.791% | 478 |
| November 15 2022, 00:15:34 | 07195c3 | 99.791% | 478 |
| November 11 2022, 01:31:13 | 079a554 | 99.791% | 478 |
| November 6 2022, 21:06:24 | e112a09 | 99.791% | 478 |
| November 5 2022, 01:30:55 | 728453d | 99.791% | 478 |
| November 4 2022, 07:30:43 | 230a4d6 | 99.791% | 478 |
| November 3 2022, 22:48:22 | 27ad52e | 99.791% | 478 |
| November 2 2022, 18:35:44 | b4b4fed | 99.791% | 478 |
| October 31 2022, 14:42:14 | 5063061 | 99.791% | 478 |
| October 31 2022, 14:33:00 | cd81af1 | 99.791% | 478 |
| October 31 2022, 14:01:19 | 598f72e | 99.791% | 478 |
| October 31 2022, 13:41:43 | 677847d | 99.791% | 478 |
| October 29 2022, 18:30:12 | 0e75bca | 99.791% | 478 |
| September 5 2022, 21:53:53 | d16def8 | 99.791% | 478 |
| September 5 2022, 21:50:18 | b02f7be | 99.791% | 478 |
| April 15 2022, 09:33:19 | c6a2982 | 99.791% | 478 |
| February 11 2022, 15:32:18 | 39ee6e6 | 99.790% | 477 |
| February 11 2022, 15:09:44 | af269d0 | 99.766% | 427 |
| February 11 2022, 15:07:19 | 1267147 | 99.766% | 427 |
| February 11 2022, 15:01:17 | 2989b51 | 99.766% | 427 |
| February 11 2022, 14:59:08 | fab5f2a | 99.766% | 427 |
| February 11 2022, 14:50:09 | 1a0aab2 | 99.766% | 427 |
| February 11 2022, 14:47:10 | 0bf0040 | 99.766% | 427 |
| February 11 2022, 14:43:05 | 1e8c8c3 | 99.766% | 427 |
| February 11 2022, 14:36:19 | 6e86d00 | 99.766% | 427 |