michaelpetri/typed-input
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| May 2 2024, 12:58:12 | aa9f1be | 98.701% | 77 |
| April 30 2024, 04:58:27 | 7df9934 | 98.701% | 77 |
| March 29 2024, 04:56:37 | 5a740a2 | 98.701% | 77 |
| March 20 2024, 04:43:13 | b0efc80 | 98.701% | 77 |
| March 12 2024, 04:40:27 | bdf33ef | 98.701% | 77 |
| March 11 2024, 04:49:49 | 41b42f3 | 98.701% | 77 |
| February 23 2024, 04:01:46 | fa708d7 | 98.701% | 77 |
| February 16 2024, 04:58:39 | eb0fb7a | 98.701% | 77 |
| February 1 2024, 04:46:00 | 1ee9c7c | 98.701% | 77 |
| January 22 2024, 04:16:16 | 8759e76 | 98.701% | 77 |
| January 4 2024, 04:49:22 | f3f14dd | 98.701% | 77 |
| December 25 2023, 04:24:12 | f707d7d | 98.701% | 77 |
| December 18 2023, 04:36:06 | e72d1c8 | 98.701% | 77 |
| December 14 2023, 04:03:39 | cd6a4e2 | 98.701% | 77 |
| December 11 2023, 04:26:46 | 7f615e4 | 98.701% | 77 |
| December 6 2023, 04:35:29 | 252c799 | 98.701% | 77 |
| December 5 2023, 04:37:33 | 8cc1325 | 98.701% | 77 |
| December 1 2023, 15:21:44 | 7bf3997 | 98.701% | 77 |
| September 28 2023, 08:56:27 | c0726fe | 98.701% | 77 |
| September 8 2023, 05:49:21 | ea68709 | 98.701% | 77 |
| April 18 2023, 04:57:40 | c93e4ee | 98.701% | 77 |
| April 3 2023, 04:57:47 | dbb18a4 | 98.701% | 77 |
| March 31 2023, 04:57:47 | 8742bd8 | 98.701% | 77 |
| March 28 2023, 04:57:29 | e2dd46e | 98.701% | 77 |
| March 23 2023, 04:57:28 | f52c057 | 98.701% | 77 |
| March 21 2023, 04:58:44 | 5d42e02 | 98.701% | 77 |
| March 20 2023, 09:41:43 | fd84c3e | 98.701% | 77 |
| March 14 2023, 04:57:52 | a35102b | 98.701% | 77 |
| March 13 2023, 04:57:55 | a57cff5 | 98.701% | 77 |
| March 10 2023, 04:58:07 | a6bf63c | 98.701% | 77 |
| March 1 2023, 04:59:43 | d5f6be1 | 98.701% | 77 |
| February 22 2023, 04:14:41 | daa401f | 98.701% | 77 |
| February 21 2023, 04:57:14 | 0433081 | 98.701% | 77 |
| February 6 2023, 04:02:47 | 052a81a | 98.701% | 77 |
| January 30 2023, 04:01:44 | 132f360 | 98.701% | 77 |
| January 24 2023, 04:02:04 | be089c0 | 98.701% | 77 |
| January 16 2023, 04:03:12 | 207c990 | 98.701% | 77 |
| January 3 2023, 04:02:09 | e3d9e6b | 98.701% | 77 |
| December 29 2022, 04:02:01 | 1b9f307 | 98.701% | 77 |
| December 19 2022, 04:03:17 | d6e9f50 | 98.701% | 77 |
| December 5 2022, 04:03:15 | af38e95 | 98.701% | 77 |
| November 8 2022, 04:07:05 | ade85a5 | 98.701% | 77 |
| November 1 2022, 04:12:11 | fff28cd | 98.701% | 77 |
| October 12 2022, 04:08:50 | 7014ee2 | 98.701% | 77 |
| October 3 2022, 04:06:47 | 53fcfe7 | 98.701% | 77 |
| September 28 2022, 07:52:04 | 5fccc2b | 98.701% | 77 |
| September 2 2022, 04:04:15 | 11c8be6 | 98.701% | 77 |
| August 31 2022, 04:08:52 | d5dbc14 | 98.701% | 77 |
| August 29 2022, 04:04:37 | 0fb7dbb | 98.701% | 77 |
| August 23 2022, 04:09:16 | 8027fa6 | 98.701% | 77 |
| August 22 2022, 14:31:16 | 2421992 | 98.701% | 77 |
| August 22 2022, 04:05:32 | b6b8873 | 98.701% | 77 |
| August 3 2022, 04:06:09 | 311bf7d | 98.701% | 77 |
| August 1 2022, 04:06:53 | fedaeed | 98.701% | 77 |
| July 25 2022, 04:06:23 | c7306d0 | 98.701% | 77 |
| July 14 2022, 04:07:19 | 4a0c774 | 98.701% | 77 |
| May 2 2022, 04:07:15 | c81a176 | 98.701% | 77 |
| April 4 2022, 04:07:55 | c318d2a | 98.701% | 77 |
| March 21 2022, 04:08:57 | f469c02 | 98.701% | 77 |
| March 16 2022, 04:07:50 | 9f63914 | 98.701% | 77 |
| March 9 2022, 04:10:51 | 3e5c83e | 98.701% | 77 |
| March 1 2022, 04:09:50 | 7aa3c9e | 98.701% | 77 |
| February 24 2022, 04:06:09 | d926e26 | 98.701% | 77 |
| February 21 2022, 04:07:33 | d79d08b | 98.701% | 77 |
| February 21 2022, 04:07:28 | b21992a | 98.701% | 77 |
| February 15 2022, 11:28:57 | 0c18ebf | 98.701% | 77 |
| February 8 2022, 04:08:17 | c76e497 | 98.214% | 56 |
| February 4 2022, 04:06:29 | 5edcff9 | 98.214% | 56 |
| January 31 2022, 04:06:32 | a815f1f | 98.214% | 56 |
| January 25 2022, 04:06:28 | 82c432e | 98.214% | 56 |
| January 14 2022, 04:07:47 | 9945752 | 98.214% | 56 |
| January 10 2022, 04:07:28 | 8776b2d | 98.214% | 56 |
| January 3 2022, 12:41:41 | 5e4f505 | 98.214% | 56 |
| January 3 2022, 12:25:56 | 5e5b3f8 | 98.214% | 56 |
| January 3 2022, 12:23:04 | dcf3ae7 | 98.214% | 56 |
| January 3 2022, 04:06:49 | d792b47 | 98.214% | 56 |
| December 13 2021, 04:06:55 | 14232ca | 98.214% | 56 |
| December 10 2021, 04:07:27 | bd53f96 | 98.214% | 56 |
| December 8 2021, 04:05:47 | b5fe90b | 98.214% | 56 |
| December 6 2021, 04:06:40 | 50593c2 | 98.214% | 56 |
| November 30 2021, 04:07:34 | 6519492 | 98.214% | 56 |
| November 24 2021, 04:06:46 | a4297a3 | 98.214% | 56 |
| November 22 2021, 04:09:37 | d632f37 | 98.214% | 56 |
| November 16 2021, 04:05:27 | 7989e27 | 98.214% | 56 |
| November 8 2021, 04:07:20 | d821869 | 98.214% | 56 |
| November 1 2021, 04:13:45 | 69730dd | 98.214% | 56 |
| October 27 2021, 04:06:39 | ae3b4f8 | 98.214% | 56 |
| October 25 2021, 04:08:08 | e74b4d1 | 98.214% | 56 |
| October 6 2021, 04:06:56 | 968ff24 | 98.214% | 56 |
| September 27 2021, 04:08:12 | fa887c4 | 98.214% | 56 |
| September 6 2021, 04:06:01 | 1690918 | 98.214% | 56 |
| September 4 2021, 16:04:33 | 6ea4925 | 98.214% | 56 |
| September 1 2021, 04:06:35 | cc21ca0 | 98.214% | 56 |
| August 31 2021, 04:05:43 | 14b1dee | 98.214% | 56 |
| August 30 2021, 04:08:31 | 0daf63b | 98.214% | 56 |
| August 16 2021, 04:10:11 | 993b0b9 | 98.214% | 56 |
| August 5 2021, 04:05:38 | 09a7ef7 | 98.214% | 56 |
| August 3 2021, 04:07:33 | 0742ab3 | 98.214% | 56 |
| August 2 2021, 04:13:51 | 12e0392 | 98.214% | 56 |
| August 2 2021, 04:13:32 | b49d3b7 | 98.214% | 56 |
| July 30 2021, 04:09:32 | 28a5668 | 98.214% | 56 |
| July 29 2021, 06:55:28 | 99cf709 | 98.214% | 56 |
| July 20 2021, 04:06:58 | a415eb2 | 100.000% | 57 |
| June 26 2021, 08:08:49 | e99b001 | 100.000% | 57 |
| June 26 2021, 07:59:14 | bc2cb6d | 100.000% | 57 |
| June 24 2021, 04:09:07 | 815c0f3 | 100.000% | 57 |
| June 21 2021, 04:07:43 | 1f5eabf | 100.000% | 57 |
| June 18 2021, 04:09:58 | 32134ec | 100.000% | 57 |
| June 7 2021, 04:14:15 | e52643c | 100.000% | 57 |
| June 1 2021, 04:16:49 | bee318a | 100.000% | 57 |
| May 25 2021, 04:08:35 | 78f1f81 | 100.000% | 57 |
| May 13 2021, 04:14:40 | 7c74907 | 100.000% | 57 |
| May 3 2021, 04:20:49 | 0f629fa | 100.000% | 57 |
| May 3 2021, 04:20:35 | 50b8220 | 100.000% | 57 |
| April 26 2021, 04:19:25 | d029051 | 100.000% | 57 |
| April 20 2021, 04:04:14 | 8027790 | 100.000% | 57 |
| April 7 2021, 04:20:54 | 13512b2 | 100.000% | 57 |
| March 30 2021, 04:04:44 | b162d98 | 100.000% | 57 |
| March 29 2021, 04:21:42 | f3783b2 | 100.000% | 57 |
| March 24 2021, 04:22:58 | 0875213 | 100.000% | 57 |
| March 22 2021, 04:22:34 | d85fe24 | 100.000% | 57 |
| March 18 2021, 04:21:34 | 0f75f38 | 100.000% | 57 |
| March 18 2021, 04:21:20 | 4cef196 | 100.000% | 57 |
| March 15 2021, 04:22:08 | b65e2c1 | 100.000% | 57 |
| March 11 2021, 04:23:48 | 418b3b7 | 100.000% | 69 |
| March 11 2021, 04:23:40 | 446315d | 100.000% | 69 |
| March 5 2021, 04:22:20 | 37966c1 | 100.000% | 69 |
| February 27 2021, 10:31:53 | f7acb22 | 100.000% | 69 |
| February 26 2021, 04:04:40 | d2d0d54 | 100.000% | 69 |
| February 18 2021, 04:22:43 | 58a6ebe | 100.000% | 69 |
| February 16 2021, 04:21:37 | 9f20039 | 100.000% | 69 |
| February 15 2021, 04:26:07 | af9e51f | 100.000% | 69 |
| February 12 2021, 04:21:04 | 85be759 | 100.000% | 69 |
| February 11 2021, 04:24:28 | d405893 | 100.000% | 69 |
| February 4 2021, 04:22:05 | e752768 | 100.000% | 69 |
| February 3 2021, 04:05:17 | 1561c3d | 100.000% | 69 |
| January 28 2021, 04:27:49 | e99e631 | 100.000% | 69 |
| January 22 2021, 10:50:20 | ac2098b | 100.000% | 69 |
| January 22 2021, 10:49:11 | f092548 | 100.000% | 69 |
| January 19 2021, 22:37:21 | 28a2980 | 100.000% | 69 |
| January 19 2021, 21:38:21 | 23988ad | 100.000% | 69 |