apioo/psx-schema
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| July 21 2024, 20:06:20 | 445a86f | 94.746% | 8.2K |
| May 24 2024, 20:55:49 | 7e571db | 94.749% | 8.2K |
| May 10 2024, 16:20:09 | f479eec | 94.764% | 8.2K |
| May 3 2024, 19:06:01 | 6a7a0b3 | 94.764% | 8.2K |
| April 11 2024, 18:09:15 | ce435b5 | 94.764% | 8.2K |
| April 10 2024, 17:11:11 | eec184c | 94.764% | 8.2K |
| April 10 2024, 06:31:23 | 092eb7c | 94.765% | 8.2K |
| April 8 2024, 17:39:35 | 4c0801f | 94.778% | 8.2K |
| April 8 2024, 16:41:08 | 73ea838 | 94.779% | 8.2K |
| April 8 2024, 16:03:37 | e96e814 | 94.776% | 8.2K |
| April 7 2024, 18:19:58 | 3c81145 | 94.773% | 8.2K |
| April 6 2024, 20:30:56 | a89027d | 94.822% | 8.2K |
| April 6 2024, 19:39:08 | f60b25a | 94.813% | 8.1K |
| April 6 2024, 16:27:17 | 1ceaaac | 94.811% | 8.1K |
| April 2 2024, 19:49:55 | b8bfb0f | 94.811% | 8.1K |
| April 1 2024, 20:45:17 | c567daa | 94.810% | 8.1K |
| March 30 2024, 17:35:42 | a16b24d | 94.810% | 8.1K |
| March 29 2024, 17:45:03 | ee1f424 | 94.807% | 8.1K |
| March 10 2024, 10:32:51 | aac53eb | 94.769% | 8.1K |
| March 8 2024, 19:45:46 | 61fceee | 94.758% | 8.1K |
| March 8 2024, 19:10:02 | 1d6181c | 94.758% | 8.1K |
| March 8 2024, 18:59:14 | a8c620e | 94.758% | 8.1K |
| February 25 2024, 13:33:14 | 175a93e | 94.758% | 8.1K |
| February 25 2024, 13:01:55 | 698c3fc | 94.758% | 8.1K |
| February 13 2024, 18:48:56 | 50e0966 | 94.758% | 8.1K |
| February 13 2024, 18:39:17 | d662fbd | 94.758% | 8.1K |
| January 18 2024, 20:33:41 | 076a77b | 94.758% | 8.1K |
| November 20 2023, 21:11:08 | 1fd4dcc | 94.746% | 8.1K |
| November 11 2023, 21:57:51 | 98ae3ac | 94.745% | 8.1K |
| November 11 2023, 17:37:56 | f5976a8 | 94.745% | 8.1K |
| November 11 2023, 16:09:56 | 3a5e3ed | 94.747% | 8.1K |
| October 22 2023, 17:55:50 | 218d69c | 94.253% | 8.1K |
| October 14 2023, 22:07:19 | 1121df6 | 94.247% | 8.1K |
| October 14 2023, 18:39:40 | 97d1c84 | 94.251% | 8.1K |
| October 14 2023, 18:38:28 | 7a1f817 | 94.251% | 8.1K |
| September 24 2023, 08:41:50 | b1c3a07 | 94.250% | 8.1K |
| September 23 2023, 23:25:19 | 0014e3a | 94.246% | 8.1K |
| September 23 2023, 17:07:57 | bca367a | 94.244% | 8.1K |
| September 7 2023, 20:33:57 | d1266c0 | 94.212% | 8K |
| September 3 2023, 20:42:40 | cc00a24 | 94.208% | 8K |
| August 20 2023, 19:55:19 | 2032cd2 | 94.204% | 8K |
| August 8 2023, 19:30:36 | 6dfffe9 | 93.967% | 8K |
| August 8 2023, 19:09:10 | 0565349 | 93.967% | 8K |
| August 8 2023, 19:03:05 | 1e8c1fc | 93.959% | 8K |
| August 5 2023, 13:47:41 | 8627ad7 | 93.955% | 8K |
| August 5 2023, 12:22:34 | 1f3092f | 93.613% | 8.8K |
| July 16 2023, 22:14:53 | 25955f8 | 93.561% | 8.4K |
| July 16 2023, 20:51:30 | 4ee017e | 93.558% | 8.4K |
| June 8 2023, 14:03:11 | fab8ebb | 93.554% | 8.4K |
| June 3 2023, 20:35:46 | 970d13d | 93.554% | 8.4K |
| June 3 2023, 20:30:38 | 33b6fbc | 93.553% | 8.4K |
| May 27 2023, 17:41:20 | 64a8fb3 | 93.417% | 8.4K |
| May 27 2023, 16:56:02 | 5aba3a2 | 93.422% | 8.3K |
| May 27 2023, 16:26:04 | 0e86411 | 93.421% | 8.3K |
| May 27 2023, 15:43:40 | 96b3f84 | 93.421% | 8.3K |
| May 27 2023, 09:23:36 | b946185 | 93.492% | 8.3K |
| May 27 2023, 09:20:47 | 8650762 | 93.492% | 8.3K |
| May 27 2023, 08:44:02 | dce04d4 | 93.385% | 8.1K |
| May 26 2023, 20:49:49 | bed3cf8 | 93.373% | 8.1K |
| May 26 2023, 20:13:06 | 3d8ca43 | 93.367% | 8.1K |
| May 26 2023, 19:52:55 | 0e6815f | 93.370% | 8.1K |
| May 25 2023, 21:09:50 | 3e2df8a | 93.457% | 8.1K |
| May 25 2023, 19:53:06 | fff9a0e | 93.453% | 8K |
| May 24 2023, 21:57:35 | 7cedfc2 | 93.453% | 8K |
| May 24 2023, 21:50:45 | 9a5c353 | 93.453% | 8K |
| May 24 2023, 21:12:53 | 4947548 | 93.453% | 8K |
| May 24 2023, 21:08:47 | 2ad4c91 | 93.453% | 8K |
| April 7 2023, 12:45:03 | 398a9b6 | 93.429% | 8K |
| April 7 2023, 07:44:06 | 135ea83 | 93.428% | 8K |
| April 4 2023, 20:54:26 | 3edcc91 | 93.354% | 8K |
| April 4 2023, 19:11:06 | d7da735 | 93.276% | 7.9K |
| March 26 2023, 15:38:24 | 16105e7 | 93.277% | 7.9K |
| March 26 2023, 15:25:29 | 0afc134 | 93.277% | 7.9K |
| March 25 2023, 14:09:56 | f311522 | 93.274% | 7.9K |
| March 25 2023, 14:00:28 | 829a9a4 | 93.196% | 7.9K |
| March 19 2023, 20:27:43 | c3c6e3d | 93.247% | 7.9K |
| March 8 2023, 21:50:26 | 5a62a0c | 93.247% | 7.9K |
| March 8 2023, 20:56:52 | 180f054 | 93.247% | 7.9K |
| February 25 2023, 18:21:28 | e1c543b | 92.557% | 7.9K |
| February 11 2023, 09:06:20 | 8954919 | 92.557% | 7.9K |
| February 4 2023, 23:24:26 | 928ea0c | 92.548% | 7.8K |
| January 21 2023, 19:43:18 | 6b9a2c1 | 92.548% | 7.8K |
| September 24 2022, 17:51:33 | 4932951 | 92.510% | 7.9K |
| September 17 2022, 19:42:58 | b8501a8 | 92.501% | 7.9K |
| September 4 2022, 09:52:28 | 32d6ab3 | 92.501% | 7.9K |
| September 4 2022, 09:12:33 | 395ef13 | 92.498% | 7.9K |
| September 4 2022, 08:43:16 | 446bb56 | 92.494% | 7.9K |
| September 4 2022, 08:21:17 | 9d2302d | 92.508% | 7.9K |
| September 4 2022, 07:53:43 | 9e9e6c2 | 92.507% | 7.9K |
| September 3 2022, 21:27:00 | eda6631 | 92.454% | 7.8K |
| September 3 2022, 20:43:47 | a797b5e | 92.453% | 7.8K |
| September 3 2022, 20:06:50 | d03c729 | 92.452% | 7.8K |
| September 3 2022, 18:26:17 | a19066e | 92.495% | 7.8K |
| September 3 2022, 15:43:48 | 77e27f2 | 92.493% | 7.8K |
| September 3 2022, 15:33:46 | bac685a | 92.489% | 7.8K |
| September 3 2022, 15:23:33 | b6491f8 | 92.489% | 7.8K |
| September 3 2022, 14:33:55 | 6ea7f0b | 92.538% | 7.7K |
| August 26 2022, 16:44:19 | 445e931 | 92.251% | 7.4K |
| August 24 2022, 19:28:09 | 148a57f | 92.241% | 7.5K |
| August 23 2022, 21:28:02 | debedf1 | 92.239% | 7.5K |
| August 23 2022, 21:03:50 | 2f7cfc0 | 92.221% | 7.5K |
| July 27 2022, 19:08:25 | e65860c | 92.179% | 7.4K |
| July 9 2022, 16:18:11 | efd9a6d | 92.179% | 7.4K |
| July 9 2022, 16:11:13 | 56cd6cc | 92.179% | 7.4K |
| July 2 2022, 23:05:07 | 5cb25c6 | 92.180% | 7.4K |
| July 2 2022, 23:00:33 | bdc9df2 | 91.908% | 7.4K |
| January 29 2022, 13:45:06 | dde0a0b | 91.889% | 7.4K |
| January 17 2022, 21:32:04 | 55b9458 | 91.889% | 7.4K |
| January 17 2022, 21:29:13 | 45635b1 | 91.889% | 7.4K |
| January 17 2022, 21:28:57 | 96cb83b | 91.889% | 7.4K |
| January 15 2022, 20:05:09 | 3882f4c | 91.880% | 7.4K |
| January 15 2022, 20:00:57 | 8f8e166 | 91.892% | 7.4K |
| January 10 2022, 19:34:38 | 193c220 | 91.892% | 7.4K |
| January 8 2022, 15:34:43 | c116998 | 91.888% | 7.4K |
| December 30 2021, 21:07:13 | 0140950 | 91.888% | 7.4K |
| December 30 2021, 20:50:21 | e3d8811 | 91.887% | 7.4K |
| December 28 2021, 14:49:05 | 733f90c | 91.922% | 7.4K |
| December 27 2021, 19:46:55 | 12e502a | 91.916% | 7.4K |
| December 23 2021, 20:44:49 | 8e8f735 | 91.916% | 7.4K |
| December 23 2021, 20:24:15 | 32c0b7e | 91.910% | 7.4K |
| December 23 2021, 18:24:25 | 699f0a9 | 91.925% | 7.4K |
| December 23 2021, 17:45:06 | e428f7d | 91.925% | 7.4K |
| December 22 2021, 22:13:03 | cd4089c | 91.529% | 7.6K |
| December 22 2021, 22:00:37 | d9a06f8 | 91.526% | 7.6K |
| December 22 2021, 21:58:12 | b349202 | 91.526% | 7.6K |
| December 22 2021, 21:51:17 | d0ae9c0 | 91.521% | 7.6K |
| December 22 2021, 21:20:33 | f5b42a3 | 91.502% | 7.6K |
| December 22 2021, 21:05:03 | df512dd | 91.503% | 7.6K |
| December 22 2021, 20:59:12 | f694520 | 91.519% | 7.7K |
| December 19 2021, 21:18:57 | a0c2031 | 91.286% | 7.7K |
| December 19 2021, 20:37:35 | b20a806 | 91.286% | 7.7K |
| December 19 2021, 20:32:23 | a190fea | 91.286% | 7.7K |
| December 18 2021, 18:37:24 | 1f602ce | 91.152% | 7.6K |
| December 11 2021, 17:33:23 | 52561d2 | 91.152% | 7.6K |
| December 11 2021, 17:31:49 | 40c0b2f | 91.152% | 7.6K |
| December 11 2021, 17:28:20 | 668f4ab | 91.152% | 7.6K |
| November 20 2021, 21:12:56 | e6e636d | 90.575% | 7.4K |
| November 20 2021, 14:43:06 | ff72f54 | 90.575% | 7.4K |
| November 17 2021, 20:23:08 | 7908cab | 90.580% | 7.4K |
| October 21 2021, 20:17:18 | b9e99c3 | 90.718% | 7K |
| October 21 2021, 20:03:36 | 3b60350 | 90.717% | 7K |
| October 21 2021, 19:59:53 | 9a6dcac | 90.703% | 7K |
| October 19 2021, 20:08:30 | 4e8d387 | 90.851% | 6.9K |
| October 16 2021, 07:55:19 | 258733c | 90.993% | 6.8K |
| October 4 2021, 11:48:52 | 8753da8 | 91.000% | 6.8K |
| September 20 2021, 18:25:39 | 8c828ec | 90.988% | 6.8K |
| September 18 2021, 07:40:18 | 0fa2054 | 90.984% | 6.8K |
| August 30 2021, 12:54:48 | e95af58 | 90.999% | 6.8K |
| July 6 2021, 19:31:18 | e897dc8 | 92.063% | 6.2K |