nucleos/nucleos-form-extensions
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| April 26 2023, 14:23:24 | 62ba848 | 94.608% | 816 |
| April 26 2023, 14:13:45 | 6629e4a | 94.595% | 814 |
| February 25 2023, 14:58:48 | 4cda813 | 94.595% | 814 |
| February 25 2023, 14:54:38 | b66466f | 94.595% | 814 |
| November 1 2022, 20:53:14 | 3609ba0 | 94.424% | 807 |
| October 29 2022, 17:34:45 | 1c44130 | 94.424% | 807 |
| September 30 2022, 18:22:33 | f5db0fe | 94.424% | 807 |
| September 30 2022, 18:22:28 | b108814 | 94.424% | 807 |
| September 30 2022, 18:18:13 | 4e0e3ca | 94.424% | 807 |
| May 2 2022, 04:56:28 | e612a92 | 94.307% | 808 |
| April 29 2022, 04:36:31 | 1a351af | 94.307% | 808 |
| April 29 2022, 04:36:29 | 1cc5bb1 | 94.307% | 808 |
| April 28 2022, 06:31:36 | da58572 | 94.307% | 808 |
| April 28 2022, 05:08:02 | 78c5bc3 | 94.307% | 808 |
| April 27 2022, 04:50:24 | dcca6dd | 94.307% | 808 |
| April 27 2022, 04:50:22 | d550e39 | 94.307% | 808 |
| April 21 2022, 06:29:03 | f0d1055 | 94.307% | 808 |
| April 21 2022, 04:51:56 | eff732f | 94.307% | 808 |
| April 18 2022, 03:20:33 | a8a4096 | 94.307% | 808 |
| April 15 2022, 03:41:15 | 9f77e4d | 94.307% | 808 |
| April 11 2022, 03:17:09 | 07b396e | 94.307% | 808 |
| April 4 2022, 04:27:11 | 81b9340 | 94.307% | 808 |
| March 30 2022, 04:27:21 | ca35df9 | 94.307% | 808 |
| March 29 2022, 04:27:20 | 7a9099e | 94.307% | 808 |
| March 29 2022, 04:27:18 | 60f81f4 | 94.307% | 808 |
| March 25 2022, 06:26:40 | 6808466 | 94.307% | 808 |
| March 25 2022, 06:26:39 | e90b8bd | 94.307% | 808 |
| March 25 2022, 06:26:37 | e913a92 | 94.307% | 808 |
| March 16 2022, 04:26:30 | 9711ae6 | 94.307% | 808 |
| March 15 2022, 04:27:40 | e462ef1 | 94.307% | 808 |
| March 7 2022, 04:26:44 | 10b261f | 94.307% | 808 |
| March 7 2022, 04:26:42 | 08aea83 | 94.307% | 808 |
| March 3 2022, 04:26:39 | dce41d8 | 94.307% | 808 |
| February 28 2022, 04:26:57 | 655d25e | 94.307% | 808 |
| February 28 2022, 04:26:55 | 3896e3e | 94.307% | 808 |
| February 24 2022, 04:26:15 | 6409e4e | 94.307% | 808 |
| February 21 2022, 06:25:14 | 3c357b2 | 94.307% | 808 |
| February 21 2022, 04:26:56 | 641b788 | 94.307% | 808 |
| February 9 2022, 04:25:34 | c7f14cc | 94.307% | 808 |
| February 7 2022, 04:25:54 | a02c45b | 94.307% | 808 |
| February 7 2022, 04:25:52 | 7aea677 | 94.307% | 808 |
| February 4 2022, 04:21:09 | f3ecaaf | 94.307% | 808 |
| February 4 2022, 04:21:07 | fc6ecf9 | 94.307% | 808 |
| February 3 2022, 04:25:39 | 65c39f8 | 94.307% | 808 |
| February 2 2022, 04:25:13 | b068e1a | 94.307% | 808 |
| February 1 2022, 06:23:36 | b349e7d | 94.307% | 808 |
| February 1 2022, 04:25:29 | 05d3472 | 94.307% | 808 |
| January 31 2022, 06:25:49 | a3e939d | 94.307% | 808 |
| January 31 2022, 04:34:32 | c2cac1d | 94.307% | 808 |
| January 31 2022, 04:34:30 | 2978a0f | 94.307% | 808 |
| January 25 2022, 04:25:59 | 1866ad5 | 94.307% | 808 |
| January 24 2022, 04:25:56 | cf771db | 94.307% | 808 |
| January 19 2022, 04:25:50 | abb6c6f | 94.307% | 808 |
| January 18 2022, 04:29:09 | d255c2e | 94.307% | 808 |
| January 17 2022, 04:29:10 | 692145c | 94.307% | 808 |
| January 17 2022, 04:29:08 | 820a262 | 94.307% | 808 |
| January 14 2022, 19:41:21 | d904fcc | 94.307% | 808 |
| January 10 2022, 04:28:59 | a7d11b8 | 94.307% | 808 |
| January 10 2022, 04:28:57 | 5d98681 | 94.307% | 808 |
| January 7 2022, 08:31:16 | 27f2df1 | 94.307% | 808 |
| January 7 2022, 03:20:53 | f479bc7 | 94.307% | 808 |
| January 5 2022, 03:18:51 | 8cb8e60 | 94.307% | 808 |
| January 3 2022, 04:23:56 | fcda3ea | 94.307% | 808 |
| January 3 2022, 03:29:06 | c59d672 | 94.307% | 808 |
| December 30 2021, 03:17:45 | 8cc542a | 0.000% | 0 |
| December 27 2021, 06:32:10 | a196e3e | 0.000% | 0 |
| December 27 2021, 06:32:08 | 5fc1674 | 0.000% | 0 |
| December 20 2021, 03:18:24 | 1af004a | 94.067% | 809 |
| December 17 2021, 03:17:49 | 1b13593 | 94.067% | 809 |
| December 14 2021, 03:17:44 | 09976c9 | 94.067% | 809 |
| December 13 2021, 03:18:12 | ee6c757 | 94.067% | 809 |
| December 12 2021, 21:17:27 | 9859f77 | 94.067% | 809 |
| December 12 2021, 16:05:36 | cb1c2fa | 94.007% | 801 |
| December 12 2021, 14:41:27 | f872197 | 93.758% | 769 |
| December 8 2021, 04:23:18 | 9a3c50f | 93.758% | 769 |
| December 8 2021, 03:20:46 | d8632d2 | 93.758% | 769 |
| December 6 2021, 18:16:00 | e2266b0 | 93.758% | 769 |
| December 6 2021, 16:40:05 | 85d58a5 | 93.792% | 741 |
| December 6 2021, 16:33:03 | 9129c08 | 93.758% | 769 |
| December 6 2021, 15:58:14 | a20f531 | 93.923% | 757 |
| December 6 2021, 07:33:53 | 90b396a | 92.298% | 766 |
| December 6 2021, 03:18:04 | 604d6be | 92.247% | 761 |
| December 5 2021, 23:14:57 | 1c6b4cf | 92.247% | 761 |
| December 5 2021, 23:06:17 | cc90611 | 92.247% | 761 |
| December 5 2021, 22:56:37 | 3ee7e4d | 92.247% | 761 |
| December 5 2021, 22:49:43 | 64a08ba | 92.298% | 766 |
| December 5 2021, 22:42:32 | 620e49a | 92.227% | 759 |
| December 5 2021, 22:29:25 | baf9882 | 92.227% | 759 |
| December 5 2021, 22:26:37 | 5a397d1 | 91.849% | 822 |
| December 5 2021, 22:22:14 | c4b77dd | 91.849% | 822 |
| December 5 2021, 22:17:19 | 81cd3a4 | 91.849% | 822 |
| December 5 2021, 21:45:15 | a6c3509 | 91.849% | 822 |
| November 26 2021, 03:32:44 | 96a58fb | 91.593% | 797 |
| November 24 2021, 19:05:55 | c2c0138 | 91.593% | 797 |
| November 24 2021, 04:22:49 | 002dd31 | 91.593% | 797 |
| November 23 2021, 03:41:12 | b4eabfc | 91.593% | 797 |
| November 16 2021, 04:22:38 | fcf884d | 91.593% | 797 |
| November 3 2021, 03:26:40 | 26fd7a6 | 91.593% | 797 |
| November 1 2021, 03:42:17 | 776a6fc | 91.593% | 797 |
| October 18 2021, 03:20:27 | 3736af9 | 91.593% | 797 |
| October 4 2021, 03:28:07 | a0086e1 | 91.593% | 797 |
| September 29 2021, 04:21:46 | c08757c | 91.593% | 797 |
| September 29 2021, 03:48:59 | c971547 | 91.593% | 797 |
| September 28 2021, 03:17:29 | 625e09a | 91.593% | 797 |
| September 27 2021, 03:28:30 | 07142da | 91.593% | 797 |
| September 16 2021, 04:20:18 | 7216df7 | 91.593% | 797 |
| September 13 2021, 03:50:24 | ccaef7d | 91.593% | 797 |
| September 13 2021, 03:50:22 | 86fe05c | 91.593% | 797 |
| September 3 2021, 10:21:03 | 8b34b5f | 91.593% | 797 |
| September 3 2021, 10:18:33 | 72b025b | 91.593% | 797 |
| September 3 2021, 09:16:30 | 2f5b3c2 | 91.593% | 797 |
| September 3 2021, 08:18:50 | abed5cc | 91.593% | 797 |
| September 1 2021, 04:21:56 | f1538f4 | 91.593% | 797 |
| August 31 2021, 03:32:18 | 092b471 | 91.593% | 797 |
| August 24 2021, 04:21:49 | d980448 | 91.593% | 797 |
| August 19 2021, 03:33:44 | 50b15a5 | 91.593% | 797 |
| August 12 2021, 21:15:06 | 48811ee | 91.593% | 797 |
| August 12 2021, 19:12:54 | 5446e1c | 91.593% | 797 |
| August 6 2021, 03:18:22 | f1ee0c2 | 91.593% | 797 |
| August 5 2021, 03:18:33 | 72ac460 | 91.593% | 797 |
| August 4 2021, 03:18:21 | e879bab | 91.593% | 797 |
| August 3 2021, 03:22:52 | 4811167 | 91.593% | 797 |
| August 2 2021, 03:51:20 | 6694ee5 | 91.593% | 797 |
| July 27 2021, 03:25:06 | 0124e32 | 91.593% | 797 |
| July 23 2021, 03:30:12 | fc0a6ae | 91.593% | 797 |
| July 21 2021, 03:33:16 | 68999a4 | 91.593% | 797 |
| July 20 2021, 03:25:15 | dab8b21 | 91.593% | 797 |
| July 19 2021, 04:22:39 | 8db2297 | 91.593% | 797 |
| July 16 2021, 04:21:38 | 1715f12 | 91.593% | 797 |
| July 15 2021, 04:27:20 | 1dd9116 | 91.593% | 797 |
| July 15 2021, 03:42:47 | 692e393 | 91.593% | 797 |
| July 12 2021, 04:21:41 | b4e108e | 91.593% | 797 |
| July 5 2021, 04:21:04 | ddbb890 | 91.593% | 797 |
| July 5 2021, 03:51:26 | ef67ec3 | 91.593% | 797 |
| July 2 2021, 03:25:29 | 753ced0 | 91.593% | 797 |
| July 1 2021, 04:21:18 | 452231b | 91.593% | 797 |
| July 1 2021, 03:31:11 | 2c38a7c | 91.593% | 797 |
| June 24 2021, 06:21:15 | 934f6cd | 91.593% | 797 |
| June 24 2021, 03:22:50 | 8d1e24e | 91.593% | 797 |
| June 21 2021, 04:21:16 | bb3e53b | 91.593% | 797 |
| June 18 2021, 04:20:55 | 018350b | 91.593% | 797 |
| June 17 2021, 04:21:15 | 512015d | 91.593% | 797 |
| June 11 2021, 03:24:53 | 465f142 | 91.593% | 797 |
| June 10 2021, 03:34:51 | a6c9d2c | 91.593% | 797 |
| June 7 2021, 05:44:52 | 8e0913d | 91.593% | 797 |
| June 7 2021, 05:44:50 | 23d5c22 | 91.593% | 797 |
| June 3 2021, 09:02:28 | 28d146d | 91.593% | 797 |
| June 3 2021, 05:14:10 | 0024c59 | 91.593% | 797 |
| June 1 2021, 07:52:11 | efd0e3f | 91.593% | 797 |
| June 1 2021, 05:46:24 | 4b7b096 | 91.593% | 797 |
| May 28 2021, 11:46:07 | a8da3bc | 91.593% | 797 |
| May 28 2021, 07:58:26 | 9c75295 | 91.593% | 797 |
| May 28 2021, 04:12:49 | 25fcf82 | 91.593% | 797 |
| May 27 2021, 20:37:49 | 11d7115 | 91.593% | 797 |
| May 27 2021, 19:57:20 | 3595d63 | 91.593% | 797 |
| May 27 2021, 19:00:19 | 26ad008 | 91.593% | 797 |
| May 20 2021, 03:30:11 | 28df9b0 | 90.829% | 796 |
| May 18 2021, 03:33:53 | a1d9c3c | 90.829% | 796 |
| May 13 2021, 04:28:55 | e05617e | 90.829% | 796 |
| May 13 2021, 03:55:23 | cdc5d3c | 90.829% | 796 |
| May 12 2021, 05:25:20 | 20ffa03 | 90.829% | 796 |
| May 12 2021, 04:42:48 | 7c800c7 | 90.829% | 796 |
| May 12 2021, 04:42:46 | 4753458 | 90.829% | 796 |
| May 10 2021, 06:22:15 | 34d1c53 | 90.829% | 796 |
| May 10 2021, 06:22:13 | b2fb0d8 | 90.829% | 796 |
| May 5 2021, 04:21:43 | 6d4d52e | 90.829% | 796 |
| May 4 2021, 12:25:37 | 029e9cc | 90.829% | 796 |
| May 4 2021, 03:55:04 | 3e48407 | 90.829% | 796 |
| May 4 2021, 03:55:02 | 70396e9 | 90.829% | 796 |
| May 3 2021, 04:25:58 | 6f1a7e7 | 90.829% | 796 |
| April 29 2021, 13:26:51 | 7395f21 | 90.829% | 796 |
| April 28 2021, 05:09:03 | 251f58a | 90.829% | 796 |
| April 28 2021, 05:09:02 | 12124fc | 90.829% | 796 |
| April 27 2021, 03:23:28 | 4d0c174 | 90.829% | 796 |
| April 26 2021, 04:08:07 | cfc3743 | 90.829% | 796 |
| April 20 2021, 04:07:19 | 241cd3c | 90.829% | 796 |
| April 20 2021, 04:06:36 | 71ed06b | 90.829% | 796 |
| April 20 2021, 04:06:34 | ba30f6c | 90.829% | 796 |
| April 15 2021, 03:29:48 | fa19394 | 90.829% | 796 |
| April 14 2021, 04:05:25 | 8ede3fe | 90.829% | 796 |
| April 13 2021, 03:54:30 | 780db67 | 90.829% | 796 |
| April 13 2021, 03:54:29 | b8e65f5 | 90.829% | 796 |
| April 7 2021, 03:28:40 | 819f66f | 90.829% | 796 |
| April 5 2021, 03:53:01 | 02133f5 | 90.829% | 796 |
| March 30 2021, 03:25:12 | cf1b5b1 | 90.829% | 796 |
| March 30 2021, 03:24:12 | 1fc6250 | 90.829% | 796 |
| March 24 2021, 04:06:10 | e363a00 | 90.829% | 796 |
| March 22 2021, 04:03:40 | e6f5ceb | 90.829% | 796 |
| March 22 2021, 04:03:38 | 9be228e | 90.829% | 796 |
| March 18 2021, 03:34:09 | b894e71 | 90.829% | 796 |
| March 11 2021, 03:28:35 | 205d44f | 90.829% | 796 |
| March 9 2021, 03:18:13 | c34b348 | 90.829% | 796 |
| March 9 2021, 03:17:37 | 512a528 | 90.829% | 796 |
| March 9 2021, 03:17:36 | 8b0c209 | 90.829% | 796 |
| March 8 2021, 03:17:14 | 40a4d7d | 90.829% | 796 |
| March 5 2021, 03:18:03 | 9dac935 | 90.829% | 796 |
| March 1 2021, 03:17:37 | b666001 | 90.829% | 796 |
| February 26 2021, 03:17:57 | 630db4d | 90.829% | 796 |
| February 25 2021, 11:16:16 | ba5cd46 | 90.829% | 796 |
| February 23 2021, 03:17:37 | 48fe4ea | 90.829% | 796 |
| February 22 2021, 03:17:41 | d5689ca | 90.829% | 796 |
| February 18 2021, 03:16:53 | 6c95f29 | 90.829% | 796 |
| February 16 2021, 16:26:22 | 1dba18e | 90.829% | 796 |
| February 16 2021, 03:17:04 | 700b9a7 | 90.829% | 796 |
| February 15 2021, 20:38:06 | 20944c0 | 90.829% | 796 |
| February 15 2021, 16:43:22 | 6cee866 | 90.829% | 796 |
| February 15 2021, 16:43:20 | 5f5f0eb | 90.829% | 796 |
| February 15 2021, 16:43:19 | 62661ab | 90.829% | 796 |
| February 15 2021, 15:49:28 | 4a6afd4 | 90.829% | 796 |
| February 13 2021, 00:06:09 | 40ebcad | 90.829% | 796 |
| February 10 2021, 03:05:34 | 6619e5d | 90.829% | 796 |
| February 9 2021, 07:11:13 | 27e5a29 | 90.829% | 796 |
| February 9 2021, 03:08:52 | c3067bb | 90.829% | 796 |
| February 9 2021, 03:04:38 | af49ccf | 90.829% | 796 |
| February 8 2021, 21:32:05 | 6b1cf57 | 90.829% | 796 |
| February 8 2021, 21:10:56 | b8b67be | 90.829% | 796 |
| February 8 2021, 03:16:02 | 59687c7 | 90.829% | 796 |
| February 8 2021, 03:10:46 | d1979e7 | 90.829% | 796 |
| February 2 2021, 03:06:15 | 75fb392 | 90.829% | 796 |
| February 1 2021, 03:09:31 | c423dc6 | 90.829% | 796 |
| January 29 2021, 03:13:55 | 8bb261c | 90.829% | 796 |
| January 28 2021, 03:19:16 | 785e4c3 | 90.829% | 796 |
| January 28 2021, 03:15:58 | 5aaa7a7 | 90.829% | 796 |
| January 26 2021, 03:06:29 | 4efa9f8 | 90.829% | 796 |
| January 25 2021, 03:41:15 | 8e26ca8 | 90.829% | 796 |
| January 25 2021, 03:28:40 | 06d0e3b | 90.829% | 796 |
| January 22 2021, 21:42:57 | f89e519 | 90.829% | 796 |
| January 22 2021, 21:40:49 | 16110b4 | 90.829% | 796 |
| January 22 2021, 03:15:18 | 936df80 | 90.829% | 796 |
| January 19 2021, 08:04:41 | a42f45a | 90.829% | 796 |
| January 15 2021, 03:12:04 | e601251 | 90.829% | 796 |
| January 15 2021, 03:10:37 | 240fc91 | 90.829% | 796 |
| January 13 2021, 03:13:05 | a400471 | 90.829% | 796 |
| January 12 2021, 14:10:42 | 740eb11 | 90.829% | 796 |
| January 11 2021, 17:27:35 | 9615145 | 90.829% | 796 |
| January 11 2021, 03:34:19 | 8abb2d9 | 90.829% | 796 |
| January 11 2021, 03:27:21 | fcf0a3e | 90.829% | 796 |
| January 7 2021, 03:20:04 | a8499a4 | 90.829% | 796 |
| January 4 2021, 03:22:20 | 9228a2d | 90.829% | 796 |
| December 30 2020, 03:13:00 | 2dfb073 | 90.829% | 796 |
| December 29 2020, 03:15:06 | 6675f2c | 90.829% | 796 |
| December 28 2020, 21:34:34 | 7ef4720 | 90.829% | 796 |
| December 28 2020, 21:15:03 | aacfc3e | 90.829% | 796 |
| December 28 2020, 03:13:58 | d9d8774 | 90.829% | 796 |
| December 25 2020, 03:26:54 | f868621 | 90.829% | 796 |
| December 22 2020, 03:14:51 | f5690b1 | 90.829% | 796 |
| December 21 2020, 03:14:27 | b685f89 | 90.829% | 796 |
| December 18 2020, 03:21:00 | 7faa6d4 | 90.829% | 796 |
| December 17 2020, 03:05:17 | 957547f | 90.829% | 796 |
| December 16 2020, 03:17:20 | 6d07161 | 90.829% | 796 |
| December 15 2020, 03:26:54 | e5581cd | 90.829% | 796 |
| December 15 2020, 03:26:30 | 3cb949c | 90.829% | 796 |
| December 14 2020, 09:38:27 | a1c5fe1 | 90.829% | 796 |
| December 14 2020, 09:38:17 | b2b999d | 90.829% | 796 |
| December 14 2020, 09:34:14 | 6fd6249 | 90.829% | 796 |
| December 12 2020, 23:25:08 | 65330ac | 90.829% | 796 |
| December 11 2020, 03:02:43 | 04fae6e | 90.829% | 796 |
| December 9 2020, 03:16:27 | e4b78cd | 90.829% | 796 |
| December 8 2020, 03:26:45 | eda6142 | 90.829% | 796 |
| December 8 2020, 03:26:18 | 3b2abfb | 90.829% | 796 |
| December 7 2020, 03:36:39 | da0368c | 90.829% | 796 |
| December 7 2020, 03:36:08 | 0108aed | 90.829% | 796 |
| December 2 2020, 03:12:21 | a38b839 | 90.829% | 796 |
| December 1 2020, 03:18:24 | cc9def9 | 90.829% | 796 |
| November 30 2020, 03:33:05 | 62783ae | 90.829% | 796 |
| November 30 2020, 03:32:31 | b7f2d47 | 90.829% | 796 |
| November 27 2020, 09:12:53 | b1449b6 | 90.829% | 796 |
| November 27 2020, 03:06:09 | 38795db | 90.829% | 796 |
| November 23 2020, 03:29:07 | 2795117 | 90.829% | 796 |
| November 21 2020, 19:49:57 | 802e5f1 | 90.829% | 796 |
| November 17 2020, 03:18:10 | b2ad9b5 | 90.829% | 796 |
| November 16 2020, 03:41:21 | 197e4b1 | 90.829% | 796 |
| November 16 2020, 03:40:55 | d9a56a1 | 90.829% | 796 |
| November 14 2020, 20:07:11 | c21e975 | 90.829% | 796 |
| November 14 2020, 19:43:37 | 604db05 | 90.829% | 796 |
| November 11 2020, 03:28:32 | 68fbf64 | 90.829% | 796 |
| November 6 2020, 09:16:10 | c63d2e9 | 90.829% | 796 |
| November 6 2020, 03:30:46 | cfdbaa0 | 90.829% | 796 |
| November 6 2020, 03:20:24 | 39cc688 | 90.829% | 796 |