spiral/tokenizer
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| January 22 2025, 15:17:04 | e6222c9 | 92.183% | 1.4K |
| January 10 2025, 15:48:49 | d947375 | 92.199% | 1.4K |
| January 7 2025, 13:33:59 | 13f2c05 | 92.183% | 1.4K |
| January 4 2025, 12:33:49 | 9ffff62 | 92.199% | 1.4K |
| January 1 2025, 18:52:36 | d18626c | 92.199% | 1.4K |
| December 30 2024, 19:27:38 | abe478a | 92.183% | 1.4K |
| December 29 2024, 18:44:03 | aebf6ac | 92.183% | 1.4K |
| December 11 2024, 20:19:35 | 4a8819a | 92.183% | 1.4K |
| December 11 2024, 19:46:10 | 735b58e | 92.183% | 1.4K |
| November 26 2024, 12:45:14 | 0fab687 | 92.183% | 1.4K |
| November 25 2024, 20:20:26 | 9552756 | 92.183% | 1.4K |
| November 8 2024, 08:56:27 | 4570435 | 92.183% | 1.4K |
| October 22 2024, 21:54:31 | fd895a1 | 92.183% | 1.4K |
| October 6 2024, 11:52:42 | 040fca6 | 92.183% | 1.4K |
| September 30 2024, 19:08:14 | c706497 | 92.183% | 1.4K |
| September 23 2024, 08:04:54 | 41a3bfa | 92.183% | 1.4K |
| September 23 2024, 07:50:29 | ec7c6ff | 92.183% | 1.4K |
| September 11 2024, 17:54:16 | 1935afe | 92.183% | 1.4K |
| September 11 2024, 17:40:38 | b5bf2ed | 92.183% | 1.4K |
| September 5 2024, 13:07:09 | ab48b8e | 92.183% | 1.4K |
| September 4 2024, 11:11:24 | 50d7792 | 92.183% | 1.4K |
| September 4 2024, 10:56:34 | 0526f2b | 92.183% | 1.4K |
| September 3 2024, 17:02:04 | d7cb4bc | 92.183% | 1.4K |
| August 22 2024, 09:49:47 | 21fc902 | 92.183% | 1.4K |
| May 30 2024, 20:47:41 | 9f784f5 | 92.183% | 1.4K |
| May 22 2024, 18:46:49 | d87660b | 92.183% | 1.4K |
| May 22 2024, 17:42:07 | b781aa6 | 92.183% | 1.4K |
| May 20 2024, 08:35:52 | 3b06af3 | 92.055% | 1.4K |
| May 15 2024, 17:45:36 | 607e4ef | 92.055% | 1.4K |
| February 29 2024, 13:52:43 | 911b695 | 91.785% | 1.4K |
| January 11 2024, 13:33:27 | 2d90d4f | 91.785% | 1.4K |
| December 29 2023, 10:48:59 | 0918595 | 91.785% | 1.4K |
| December 29 2023, 10:41:21 | 67be0d5 | 91.785% | 1.4K |
| December 28 2023, 09:05:58 | bf01818 | 91.785% | 1.4K |
| December 25 2023, 14:06:39 | 4eebd04 | 91.779% | 1.4K |
| December 21 2023, 14:47:55 | ae03eb4 | 91.744% | 1.4K |
| December 21 2023, 13:10:18 | f51b847 | 91.744% | 1.4K |
| December 13 2023, 13:02:22 | bf47a52 | 91.679% | 1.3K |
| December 12 2023, 11:53:35 | 44b9954 | 91.661% | 1.3K |
| December 12 2023, 11:46:08 | dfbf271 | 91.661% | 1.3K |
| December 5 2023, 18:20:43 | b06f67a | 91.661% | 1.3K |
| December 5 2023, 18:18:39 | fc1bf8d | 91.661% | 1.3K |
| November 30 2023, 15:03:52 | 0541c08 | 91.661% | 1.3K |
| November 24 2023, 08:34:44 | 55fb6f8 | 91.649% | 1.3K |
| October 24 2023, 14:16:52 | ee35d00 | 91.583% | 1.3K |
| October 24 2023, 14:07:58 | 05aa5ab | 91.583% | 1.3K |
| September 8 2023, 10:11:27 | 1da2c05 | 91.583% | 1.3K |
| September 8 2023, 10:09:10 | 085145b | 91.583% | 1.3K |
| September 5 2023, 06:34:46 | 486c99b | 91.583% | 1.3K |
| September 1 2023, 05:04:03 | 5f34017 | 91.528% | 1.3K |
| August 29 2023, 15:21:15 | 4641af2 | 91.528% | 1.3K |
| August 29 2023, 15:12:51 | df3932c | 91.528% | 1.3K |
| August 18 2023, 10:03:59 | 1e5e3a6 | 91.528% | 1.3K |
| August 18 2023, 10:01:48 | 253f930 | 91.528% | 1.3K |
| August 16 2023, 17:47:38 | eb966c9 | 91.528% | 1.3K |
| August 16 2023, 17:45:12 | 8fc6b68 | 91.528% | 1.3K |
| August 14 2023, 17:48:33 | 53dc9b5 | 91.528% | 1.3K |
| August 14 2023, 15:08:28 | 894023d | 91.528% | 1.3K |
| August 10 2023, 08:11:34 | cc95c1f | 91.540% | 1.3K |
| July 18 2023, 14:50:40 | 2178d20 | 91.540% | 1.3K |
| July 18 2023, 12:14:33 | 7d5e0e6 | 91.540% | 1.3K |
| July 12 2023, 11:19:40 | de0abb0 | 91.540% | 1.3K |
| April 25 2023, 17:36:12 | b14286c | 89.589% | 1K |
| April 21 2023, 14:50:35 | 10ae81b | 89.589% | 1K |
| April 21 2023, 14:43:41 | ac2001d | 89.589% | 1K |
| April 20 2023, 16:09:02 | 8351c1b | 89.589% | 1K |
| April 13 2023, 16:27:52 | aec4f4b | 89.589% | 1K |
| April 10 2023, 08:53:30 | 8e1201b | 89.589% | 1K |
| March 24 2023, 07:20:54 | b612533 | 89.498% | 1K |
| March 23 2023, 13:03:25 | 1f5f652 | 89.580% | 1K |
| March 18 2023, 07:37:50 | 27bb4da | 89.580% | 1K |
| March 16 2023, 10:54:02 | 1a2d74c | 89.614% | 1K |
| February 23 2023, 22:23:13 | b7d18b4 | 89.675% | 1K |
| February 20 2023, 15:49:04 | 1920f0a | 89.675% | 1K |
| February 20 2023, 15:39:17 | f4143e9 | 89.675% | 1K |
| February 20 2023, 15:37:55 | 91ea562 | 89.675% | 1K |
| February 19 2023, 07:37:49 | 98a37dc | 89.675% | 1K |
| January 19 2023, 08:21:51 | fc4373e | 87.738% | 840 |
| December 23 2022, 13:37:56 | a11f4f1 | 87.738% | 840 |
| December 23 2022, 13:30:26 | ead2c0d | 87.738% | 840 |
| December 8 2022, 18:15:34 | 0812786 | 87.738% | 840 |
| November 18 2022, 08:03:04 | cbfd4b6 | 87.738% | 840 |
| November 17 2022, 15:51:27 | fa7ba20 | 87.738% | 840 |
| October 26 2022, 10:24:55 | 5659b0a | 87.738% | 840 |
| October 21 2022, 09:47:19 | 885c316 | 87.738% | 840 |
| October 3 2022, 16:15:37 | 43a3780 | 87.738% | 840 |
| September 29 2022, 15:09:11 | 72a53a0 | 87.738% | 840 |
| September 29 2022, 15:00:38 | 41eba41 | 87.738% | 840 |
| September 29 2022, 14:46:22 | b9042d1 | 87.738% | 840 |
| September 29 2022, 14:07:40 | c5fce25 | 87.738% | 840 |
| September 28 2022, 09:42:41 | ef74484 | 87.738% | 840 |
| September 16 2022, 09:33:19 | 370c82e | 87.738% | 840 |
| September 13 2022, 15:16:12 | 762af2f | 87.738% | 840 |
| September 13 2022, 15:00:19 | 9f52575 | 87.738% | 840 |
| September 13 2022, 14:53:04 | ac92093 | 87.738% | 840 |
| September 13 2022, 11:40:03 | 6d47a51 | 86.856% | 776 |