ProfessionalWiki/EDTF
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| February 22 2024, 12:13:16 | a95ccfb | 99.905% | 1K |
| January 23 2024, 17:26:48 | d1e1104 | 99.905% | 1K |
| December 14 2023, 12:11:26 | 64fd679 | 99.905% | 1K |
| December 7 2023, 12:22:01 | 17d4999 | 99.905% | 1K |
| October 2 2023, 11:14:24 | b739403 | 99.905% | 1K |
| September 25 2023, 11:13:34 | 7ee11d0 | 99.905% | 1K |
| August 17 2023, 11:16:53 | 47e0f7b | 99.905% | 1K |
| August 14 2023, 11:15:44 | f2b0584 | 99.905% | 1K |
| August 3 2023, 15:25:11 | 357868d | 99.905% | 1K |
| July 6 2023, 11:16:31 | 6653a8a | 99.905% | 1K |
| June 15 2023, 11:23:18 | 5ec9fcc | 99.905% | 1K |
| May 8 2023, 11:18:29 | 507a1f0 | 99.905% | 1K |
| March 13 2023, 12:10:03 | b3b298d | 99.905% | 1K |
| February 2 2023, 12:11:09 | 98d1268 | 99.905% | 1K |
| January 30 2023, 12:09:55 | d0c2099 | 99.905% | 1K |
| January 26 2023, 12:13:05 | 2ed5005 | 99.905% | 1K |
| January 23 2023, 12:09:58 | 84316ae | 99.905% | 1K |
| January 19 2023, 12:12:43 | 3e1f278 | 99.905% | 1K |
| January 18 2023, 00:00:24 | c778b26 | 99.905% | 1K |
| January 17 2023, 23:39:36 | d435254 | 99.905% | 1K |
| January 16 2023, 12:10:00 | 5492604 | 99.906% | 1K |
| January 15 2023, 12:24:56 | f3fb17c | 99.906% | 1K |
| January 14 2023, 15:13:19 | aeeca79 | 99.906% | 1K |
| January 12 2023, 14:31:37 | 42084b0 | 99.898% | 982 |
| January 12 2023, 11:49:49 | 0f3b19a | 99.898% | 982 |
| January 11 2023, 15:01:46 | e4fd131 | 99.898% | 982 |
| January 11 2023, 11:31:52 | 18b8229 | 99.898% | 982 |
| January 8 2023, 11:57:37 | 5339838 | 99.898% | 982 |
| January 5 2023, 21:55:41 | 45471ad | 99.898% | 982 |
| January 5 2023, 15:03:08 | 324d4f1 | 99.892% | 926 |
| December 19 2022, 12:09:58 | 4e18df8 | 99.892% | 926 |
| December 16 2022, 13:13:54 | 9fda846 | 99.892% | 926 |
| October 20 2022, 11:11:17 | 7eb6ade | 99.892% | 926 |
| September 12 2022, 11:10:17 | 6f24dd7 | 99.892% | 926 |
| August 22 2022, 11:09:42 | 41b2789 | 99.892% | 926 |
| May 5 2022, 11:09:40 | 32fca4d | 99.892% | 927 |
| April 29 2022, 13:08:22 | 2cebb35 | 99.892% | 927 |
| April 29 2022, 11:20:22 | df66f1a | 99.892% | 927 |
| April 25 2022, 11:10:05 | 224893e | 99.892% | 927 |
| March 23 2022, 15:47:51 | b9cee95 | 99.892% | 927 |
| March 23 2022, 15:45:35 | 7acfda4 | 99.892% | 927 |
| February 24 2022, 12:09:27 | 2959def | 99.892% | 927 |
| February 19 2022, 14:37:37 | f858a07 | 99.892% | 927 |
| December 23 2021, 12:07:22 | 8b7cc7e | 99.892% | 927 |
| December 20 2021, 12:08:35 | 51f5d72 | 99.892% | 927 |
| December 17 2021, 14:10:45 | 85d1a87 | 99.892% | 927 |
| September 2 2021, 11:07:56 | 9374ff0 | 99.892% | 923 |
| August 12 2021, 11:07:53 | c9caa68 | 99.892% | 923 |
| June 21 2021, 10:33:46 | de2353a | 99.892% | 923 |
| May 31 2021, 10:17:30 | 7778585 | 99.892% | 923 |
| May 13 2021, 11:51:34 | c0f54c0 | 99.892% | 923 |
| May 10 2021, 12:10:37 | 6d2becf | 99.892% | 923 |
| May 7 2021, 08:58:31 | 8306d49 | 99.892% | 923 |
| May 3 2021, 13:27:35 | 10b8d90 | 99.892% | 923 |
| April 30 2021, 07:01:02 | e0d5e13 | 99.892% | 923 |
| April 28 2021, 13:37:17 | 070d4be | 99.892% | 923 |
| April 28 2021, 13:14:01 | b740640 | 99.892% | 923 |
| April 27 2021, 12:38:31 | dd16d79 | 99.889% | 900 |
| April 26 2021, 14:19:09 | 9d930f9 | 99.889% | 900 |
| April 23 2021, 15:32:20 | b93036e | 99.889% | 898 |
| April 23 2021, 11:40:00 | 31c5bc2 | 99.889% | 898 |
| April 22 2021, 22:06:56 | 4af5eca | 99.889% | 898 |
| April 19 2021, 10:51:24 | 1267dbb | 99.889% | 898 |
| April 16 2021, 15:13:43 | d08bad1 | 99.889% | 898 |
| April 15 2021, 11:27:27 | abe9f04 | 99.889% | 898 |
| April 13 2021, 21:40:36 | b5baf36 | 99.889% | 898 |
| April 8 2021, 16:59:38 | e87eea5 | 99.884% | 864 |
| April 8 2021, 12:59:07 | 8f12b50 | 99.884% | 864 |
| April 5 2021, 13:31:35 | a0a730e | 99.884% | 864 |
| April 1 2021, 11:46:22 | 0ded4b2 | 99.884% | 864 |
| March 29 2021, 16:00:02 | 52e48be | 99.884% | 864 |
| March 26 2021, 22:58:41 | 925b66f | 99.884% | 864 |
| March 26 2021, 01:45:06 | d482ea9 | 99.884% | 864 |
| March 26 2021, 01:34:02 | 3c07901 | 99.884% | 864 |
| March 22 2021, 14:42:12 | c88aa2e | 99.884% | 864 |
| March 21 2021, 11:51:54 | 513cbe9 | 99.884% | 864 |
| March 19 2021, 18:00:06 | 9c658a8 | 99.884% | 861 |
| March 19 2021, 16:55:24 | efae874 | 99.884% | 861 |
| March 19 2021, 16:51:10 | 76b4081 | 99.884% | 861 |
| March 19 2021, 16:31:28 | 95e216d | 99.884% | 861 |
| March 19 2021, 15:16:20 | b68fc3b | 99.884% | 861 |
| March 19 2021, 15:15:12 | 49c72ff | 99.884% | 861 |
| March 19 2021, 14:35:59 | 81a0948 | 99.883% | 858 |
| March 18 2021, 23:21:45 | d988bf8 | 99.883% | 858 |
| March 18 2021, 23:21:01 | 7e09027 | 99.883% | 858 |
| March 18 2021, 23:13:41 | 7356355 | 99.883% | 858 |
| March 18 2021, 23:12:50 | 589b515 | 99.883% | 858 |
| March 18 2021, 23:06:03 | 23c4da3 | 99.883% | 858 |
| March 18 2021, 12:47:24 | 7f4fc41 | 99.883% | 858 |
| March 18 2021, 00:32:35 | de242ae | 99.883% | 858 |
| March 15 2021, 15:01:51 | 457947f | 99.881% | 843 |
| March 14 2021, 17:22:35 | 24e8861 | 99.879% | 826 |
| March 12 2021, 17:18:04 | 3cddc1f | 99.879% | 826 |
| March 12 2021, 17:17:58 | 670390f | 99.879% | 826 |
| March 12 2021, 13:54:19 | 9df2740 | 99.879% | 826 |
| March 9 2021, 21:50:53 | b22b34f | 99.879% | 826 |
| March 9 2021, 00:11:40 | 47d42c5 | 99.879% | 826 |
| March 7 2021, 18:31:44 | b850000 | 99.865% | 740 |
| March 6 2021, 22:50:08 | b9d9318 | 99.865% | 740 |
| March 2 2021, 01:03:12 | f9fe677 | 99.862% | 727 |
| March 1 2021, 12:06:39 | 9b52477 | 99.862% | 727 |
| March 1 2021, 12:05:25 | 6601972 | 99.862% | 727 |
| February 27 2021, 13:22:54 | 5d2d27a | 99.862% | 727 |
| February 26 2021, 11:58:46 | bd69465 | 99.861% | 718 |
| February 25 2021, 22:06:53 | 9f5be05 | 99.861% | 718 |
| February 25 2021, 21:59:04 | 08329a8 | 99.861% | 719 |
| February 25 2021, 20:25:11 | fb7d997 | 99.851% | 673 |
| February 21 2021, 17:28:34 | a8d706b | 99.827% | 578 |
| February 21 2021, 15:56:46 | cbd2c47 | 99.808% | 520 |
| February 21 2021, 15:46:25 | c8eb733 | 99.808% | 520 |
| February 16 2021, 15:01:57 | ee0da43 | 99.808% | 520 |
| February 16 2021, 14:52:54 | ad98c2f | 99.623% | 531 |
| February 15 2021, 23:44:06 | 5194caa | 99.623% | 531 |
| February 15 2021, 23:27:25 | 00abbf4 | 99.517% | 414 |
| February 15 2021, 14:18:12 | 11b28b4 | 99.517% | 414 |
| February 13 2021, 16:06:55 | 08190e2 | 99.679% | 312 |
| February 12 2021, 19:04:01 | 9ce4cf4 | 99.679% | 312 |
| February 12 2021, 18:17:07 | 6404ae3 | 99.679% | 312 |
| February 12 2021, 15:24:16 | 6fb735a | 99.699% | 332 |
| February 10 2021, 14:24:46 | 605d6cc | 99.699% | 332 |
| February 10 2021, 12:26:05 | 23bdc19 | 99.708% | 342 |
| February 9 2021, 20:57:17 | 423adcb | 100.000% | 327 |
| February 9 2021, 20:54:15 | 5df0f90 | 100.000% | 327 |
| February 9 2021, 20:42:52 | a7b01e9 | 100.000% | 327 |
| February 9 2021, 20:34:39 | bf01f6b | 100.000% | 327 |
| February 9 2021, 20:15:04 | 614f633 | 100.000% | 327 |
| February 2 2021, 15:54:10 | 9ac9b9e | 99.896% | 963 |
| February 1 2021, 22:43:42 | 03922ba | 100.000% | 962 |
| January 27 2021, 13:07:15 | 2df2c03 | 100.000% | 962 |
| January 27 2021, 12:04:11 | 9433fc7 | 100.000% | 962 |
| January 22 2021, 17:58:05 | 799315c | 100.000% | 962 |
| January 22 2021, 17:55:01 | 62f3b2c | 100.000% | 962 |
| January 10 2021, 20:58:54 | 731d0c5 | 100.000% | 961 |
| January 8 2021, 18:22:02 | dc2baa5 | 100.000% | 881 |
| January 8 2021, 16:26:08 | 084d5a2 | 100.000% | 881 |
| January 8 2021, 16:18:51 | f5ec250 | 100.000% | 881 |
| January 8 2021, 15:16:27 | a526638 | 100.000% | 881 |
| November 24 2020, 02:15:28 | b40dcb1 | 100.000% | 843 |
| November 24 2020, 02:06:42 | f7b0ca5 | 100.000% | 843 |
| November 24 2020, 02:01:30 | 0fe10b8 | 100.000% | 843 |
| November 24 2020, 01:55:59 | 24b561d | 100.000% | 843 |
| November 24 2020, 01:50:41 | 8a447a4 | 100.000% | 843 |
| November 23 2020, 16:25:38 | c79c5f3 | 100.000% | 843 |
| November 20 2020, 21:55:20 | 9feda46 | 100.000% | 163 |
| November 12 2020, 19:52:55 | 71d6e8e | 100.000% | 174 |
| November 12 2020, 19:50:06 | db5fedf | 100.000% | 174 |
| November 12 2020, 19:47:44 | 3198b5b | 100.000% | 175 |
| November 12 2020, 19:10:07 | 19a1d47 | 100.000% | 132 |
| November 12 2020, 16:13:01 | 41f0334 | 100.000% | 132 |
| November 12 2020, 16:11:39 | 1b8aa23 | 100.000% | 132 |