phel-lang/phel-lang

Type coverage history

Date Commit Type Coverage Analysed Expression #
December 4 2022, 16:19:42 821457b 97.851% 14.1K
November 14 2022, 21:18:54 2b79272 97.851% 14.1K
November 12 2022, 15:33:15 8663cdb 97.851% 14.1K
November 9 2022, 19:19:59 3e41046 97.851% 14.1K
November 9 2022, 18:30:27 61d37d4 97.851% 14.1K
November 7 2022, 09:19:55 c607c2a 97.851% 14.1K
November 3 2022, 15:31:58 d3766ba 97.851% 14.1K
November 3 2022, 14:55:52 0bc56d0 97.851% 14.1K
November 3 2022, 13:35:54 2680fd8 97.851% 14.1K
November 3 2022, 13:20:14 31348ae 97.851% 14.1K
November 3 2022, 13:12:57 6848145 97.851% 14.1K
October 29 2022, 11:33:40 2a07221 97.851% 14.1K
October 29 2022, 11:32:59 4bc980e 97.848% 14.1K
October 29 2022, 10:12:24 d45ad38 97.848% 14.1K
October 24 2022, 07:41:27 3ac0b41 97.848% 14.1K
October 24 2022, 07:39:45 2ada026 97.848% 14.1K
October 23 2022, 19:26:52 381fd1d 97.848% 14.1K
October 20 2022, 19:45:21 dab7fe2 97.848% 14.1K
October 20 2022, 19:28:38 407e79a 97.874% 14.1K
October 12 2022, 12:22:26 c26ad19 97.874% 14.1K
October 12 2022, 08:48:15 5a6ff65 97.874% 14.1K
October 2 2022, 15:33:13 3618a4c 97.874% 14.1K
October 1 2022, 20:30:42 70ad13b 97.823% 14.1K
September 25 2022, 08:58:00 dc51272 97.823% 14.1K
September 17 2022, 10:48:08 5cba4b0 97.823% 14.1K
September 17 2022, 10:45:37 e5b2c8b 97.823% 14.1K
September 17 2022, 10:42:22 59dea3a 97.823% 14.1K
September 17 2022, 10:36:44 6a8fba9 97.823% 14.1K
August 26 2022, 10:09:07 a5375f3 97.823% 14.1K
August 3 2022, 20:15:51 2c2238a 97.823% 14.1K
July 26 2022, 07:35:47 62a5140 97.823% 14.1K
July 16 2022, 13:53:56 e9852e2 97.823% 14.1K
July 13 2022, 19:28:00 a7e8e62 97.823% 14.1K
July 13 2022, 19:26:49 db14400 97.823% 14.1K
July 1 2022, 13:55:08 bcc2468 97.823% 14.1K
June 29 2022, 19:24:34 7ba1bf5 97.816% 14.1K
June 25 2022, 10:16:34 452fdd9 97.844% 14.8K
June 20 2022, 20:27:01 8f20c79 97.844% 14.8K
June 6 2022, 19:08:18 2d5c88d 97.844% 14.8K
June 6 2022, 19:08:07 015b2f7 97.844% 14.8K
May 31 2022, 18:48:33 a8c587b 97.844% 14.8K
May 28 2022, 13:41:15 596e69a 97.842% 14.8K
May 19 2022, 20:13:35 9ecd3e7 97.679% 14.9K
May 18 2022, 06:17:53 7a715c8 97.679% 14.9K
May 14 2022, 18:59:55 1a78ea2 97.678% 14.8K
May 5 2022, 19:19:07 986d7c1 97.680% 14.9K
May 5 2022, 19:10:19 50d7633 97.680% 14.9K
May 4 2022, 09:36:09 5e91efd 97.680% 14.9K
May 3 2022, 18:16:39 cab1224 97.678% 14.9K
May 3 2022, 18:12:12 cb57773 97.678% 14.9K
May 1 2022, 20:19:20 74183d9 97.678% 14.9K
April 29 2022, 11:24:06 0353fef 97.678% 14.9K
April 27 2022, 16:47:40 28aa0ed 97.679% 14.9K
April 25 2022, 19:58:23 fe37fe4 97.685% 14.9K
April 25 2022, 19:57:28 6b9aa94 97.681% 14.8K
April 17 2022, 18:32:21 1b60138 97.679% 14.8K
April 14 2022, 19:43:56 8d1d0cb 97.723% 14.8K
April 14 2022, 19:42:40 d320f62 97.723% 14.8K
April 4 2022, 19:40:27 80bed1e 97.710% 14.8K
April 3 2022, 19:47:06 0239d0c 97.740% 14.8K
April 3 2022, 14:32:02 f8f05f6 97.734% 14.7K
April 3 2022, 14:31:46 e1c2ac5 97.734% 14.7K
March 26 2022, 19:31:56 9e64890 97.734% 14.7K
March 26 2022, 19:31:20 c8f341d 97.733% 14.7K
March 26 2022, 18:05:12 4bfba57 97.787% 14.7K
March 21 2022, 19:52:15 f717dde 97.787% 14.7K
March 20 2022, 19:51:58 0b460c1 97.780% 14.7K
March 19 2022, 11:38:53 68f52e1 97.780% 14.7K
March 18 2022, 18:36:51 f357343 97.780% 14.7K
March 3 2022, 19:11:32 bd34c99 97.781% 14.7K
March 2 2022, 19:53:38 2e71760 97.790% 14.7K
March 1 2022, 11:43:11 320867f 97.790% 14.7K
February 23 2022, 19:25:06 907a97f 97.790% 14.7K
February 13 2022, 12:27:35 0459023 97.790% 14.7K
February 11 2022, 20:46:45 be78aa0 97.789% 14.7K
February 5 2022, 22:50:31 e25c15c 97.789% 14.7K
February 5 2022, 11:51:25 9a2d031 97.789% 14.7K
February 1 2022, 20:03:47 8dbb018 97.789% 14.7K
January 28 2022, 19:31:44 4d902e9 97.789% 14.7K
January 25 2022, 14:25:16 0743a4f 97.789% 14.7K
January 23 2022, 11:46:20 a843f23 97.789% 14.7K
January 22 2022, 12:09:56 ad36437 97.787% 14.7K
January 22 2022, 12:03:21 fa9208c 97.714% 14.7K
January 21 2022, 22:30:46 0097418 97.712% 14.7K
January 20 2022, 20:27:08 74c846f 97.711% 14.7K
January 19 2022, 19:34:17 dff0890 97.715% 14.6K
January 15 2022, 14:13:52 bf68a68 97.707% 14.6K
January 15 2022, 08:51:28 f639bb7 97.707% 14.6K
January 15 2022, 08:32:17 846d2bf 97.593% 14.5K
January 10 2022, 20:49:59 3d6c5e6 97.593% 14.5K
January 10 2022, 18:31:20 940697e 97.593% 14.5K
January 9 2022, 18:47:09 8b792a3 97.587% 14.5K
January 9 2022, 18:47:00 f774614 97.587% 14.5K
January 9 2022, 18:46:43 6593aef 97.587% 14.5K
December 31 2021, 11:44:54 d5b13f2 97.525% 14.5K
December 28 2021, 11:22:25 0483c0d 97.526% 14.5K
December 28 2021, 11:19:40 12cd8df 97.526% 14.5K
December 28 2021, 11:17:02 ee3995d 97.526% 14.5K
December 28 2021, 11:16:33 0d5d4b7 97.412% 14.6K
December 25 2021, 23:17:35 ca4565a 97.410% 14.6K
December 24 2021, 18:11:33 e5e60f7 97.410% 14.6K
December 24 2021, 18:05:31 068b9fb 97.409% 14.6K
December 22 2021, 18:53:11 93228aa 97.409% 14.6K
December 20 2021, 23:14:42 32a96c6 97.265% 15.5K
December 20 2021, 22:04:20 3755e7b 97.265% 15.5K
December 19 2021, 18:20:45 093b228 97.240% 15.5K
December 18 2021, 19:18:07 ea82b06 97.240% 15.5K
December 17 2021, 19:38:12 8773598 97.239% 15.5K
December 16 2021, 09:07:47 6297695 97.239% 15.5K
December 14 2021, 20:44:54 2316dbb 97.239% 15.5K
December 12 2021, 10:11:35 700cfdf 97.237% 15.5K
December 11 2021, 20:25:59 6bfd194 97.237% 15.5K
December 11 2021, 20:21:46 eaf908b 97.237% 15.5K
December 11 2021, 18:15:10 0fab0f7 97.235% 15.5K
December 11 2021, 12:42:35 61e89be 97.235% 15.5K
December 11 2021, 10:59:00 64c70f0 97.235% 15.5K
December 10 2021, 21:08:06 6fb71e3 97.232% 15.5K
December 10 2021, 18:48:57 22f68e8 97.243% 15.4K
December 10 2021, 18:43:25 2b70b46 97.243% 15.4K
December 9 2021, 20:29:45 14dc82c 97.243% 15.4K
December 9 2021, 18:36:08 c79238f 97.243% 15.4K
December 9 2021, 18:34:55 5604a36 97.243% 15.4K
December 4 2021, 19:42:07 9eb807e 97.220% 15.4K
December 4 2021, 19:40:26 c4ea1c4 97.222% 15.4K
December 4 2021, 19:38:46 a0ea798 97.222% 15.4K
December 3 2021, 20:58:15 4174428 97.222% 15.4K
December 2 2021, 17:59:29 a5aec92 97.170% 15K
November 14 2021, 18:44:23 1264a3c 97.170% 15K
November 12 2021, 17:45:58 5d780b6 97.170% 15K
November 12 2021, 17:43:57 2ee83ff 97.154% 15K
November 10 2021, 20:14:27 55074c8 97.154% 15K
November 1 2021, 10:05:31 edd39e8 97.152% 14.9K
October 31 2021, 19:58:58 ea80237 97.155% 15K
October 26 2021, 19:22:15 0996519 97.189% 14.9K
October 22 2021, 06:44:09 c99497f 97.189% 14.9K
October 21 2021, 16:57:46 b028c87 97.192% 14.9K
October 20 2021, 20:38:37 deb80bd 97.179% 14.8K
October 19 2021, 19:16:34 90725b7 97.175% 14.7K
October 15 2021, 19:34:25 bbb609b 97.157% 14.7K
October 14 2021, 17:57:01 678e4ed 97.157% 14.7K
October 9 2021, 18:49:29 13f6e9b 97.157% 14.7K
October 5 2021, 18:31:31 7b33a69 97.157% 14.7K
October 4 2021, 20:35:11 84c3304 97.157% 14.7K
October 4 2021, 20:17:42 0c730c5 97.156% 14.7K
October 4 2021, 19:16:22 db93d9d 97.156% 14.7K
October 4 2021, 10:22:18 ddae65f 97.156% 14.7K
October 3 2021, 18:51:22 866d638 97.156% 14.7K
October 3 2021, 10:04:44 ab3ea94 97.154% 14.7K
October 2 2021, 18:12:49 8d3ae79 97.154% 14.7K
October 1 2021, 19:34:28 04b79ed 97.155% 14.7K
October 1 2021, 18:31:08 9d106df 97.151% 14.7K
October 1 2021, 18:19:26 493ccf4 97.131% 14.8K
October 1 2021, 18:19:15 41a5ccc 97.131% 14.8K
October 1 2021, 18:19:01 eebfe1f 97.131% 14.8K
September 23 2021, 20:19:56 672787a 97.131% 14.8K
September 20 2021, 19:26:54 8d6de54 97.131% 14.8K
September 20 2021, 19:08:06 b454271 97.131% 14.8K
September 20 2021, 18:57:10 027db1f 97.140% 14.7K
September 18 2021, 11:45:54 5abf7a4 97.115% 14.4K
September 16 2021, 18:37:39 2c12f14 97.115% 14.4K
September 12 2021, 14:07:09 58cfddb 97.124% 14.5K
September 9 2021, 17:48:19 7bc6a12 97.124% 14.5K
September 9 2021, 09:29:41 df13e81 97.123% 14.5K
September 6 2021, 18:06:00 59b7fb5 97.123% 14.5K
September 2 2021, 09:00:00 da8d67f 97.121% 14.4K
August 29 2021, 16:52:58 d073b5f 97.121% 14.4K
August 28 2021, 18:17:43 9776532 97.207% 14.3K
August 24 2021, 08:02:13 11f12aa 97.207% 14.3K
August 23 2021, 17:33:15 14bd385 97.207% 14.3K
August 23 2021, 17:31:09 26a1f48 97.206% 14.3K
August 22 2021, 12:51:20 49b2a1e 97.253% 14.3K
August 20 2021, 05:57:52 b2f81f1 97.253% 14.3K
August 16 2021, 17:06:00 13c38ee 97.253% 14.3K
August 12 2021, 06:22:13 013b332 97.253% 14.3K
August 12 2021, 05:39:13 e877f7c 97.250% 14.3K
August 1 2021, 14:05:20 d636f43 97.250% 14.3K
August 1 2021, 12:26:31 4d295d9 97.249% 14.3K
July 27 2021, 06:42:36 2157441 97.249% 14.3K
July 5 2021, 14:45:27 0044f42 97.249% 14.3K
July 2 2021, 09:52:07 d77bc07 97.249% 14.3K
June 7 2021, 07:39:43 bd2e4fe 97.223% 14.1K
June 6 2021, 19:10:19 76083be 97.223% 14.1K
June 6 2021, 19:07:16 bd23e41 97.223% 14.1K
June 6 2021, 18:23:57 c1d60ee 97.223% 14.1K
June 4 2021, 20:35:41 d89eb43 97.223% 14.1K
June 4 2021, 18:30:04 299930e 97.219% 14.1K
June 4 2021, 10:36:38 a8ccc79 97.219% 14.1K
June 3 2021, 20:00:52 b62d954 97.219% 14.1K
June 3 2021, 19:59:06 eb23141 97.219% 14.1K
June 2 2021, 20:43:49 4b7c4b0 97.219% 14.1K
June 2 2021, 20:35:03 32e231f 97.224% 14.1K
June 2 2021, 20:30:59 a5c234d 97.223% 14.1K
June 1 2021, 05:36:46 c4501ee 97.222% 14.1K
June 1 2021, 05:36:31 d734af9 97.222% 14.1K
June 1 2021, 05:35:50 fde4e64 97.222% 14.1K
May 31 2021, 19:40:06 a092774 97.222% 14.1K
May 31 2021, 19:01:11 1dc3197 97.222% 14.1K
May 29 2021, 20:23:03 55033cc 97.232% 14K
May 29 2021, 19:59:37 544f64b 97.232% 14K
May 28 2021, 17:48:57 10f4d85 97.232% 14K
May 25 2021, 19:24:00 65ed746 97.232% 14K
May 25 2021, 19:14:24 0593023 97.232% 14K
May 23 2021, 21:39:46 104262b 97.231% 14K
May 23 2021, 21:20:42 e3e7d94 97.233% 14K
May 22 2021, 20:06:14 39d1c4e 97.247% 14K
May 22 2021, 11:56:05 718bf80 97.244% 14K
May 21 2021, 19:16:11 e5714ae 97.237% 13.9K
May 19 2021, 06:47:23 f41ede5 97.237% 13.9K
May 18 2021, 18:45:42 48ff66d 97.237% 13.9K
May 17 2021, 19:16:58 8a933f0 97.244% 14K
May 16 2021, 19:02:27 26af3c7 97.226% 14K
May 16 2021, 18:59:21 45f1cfe 97.226% 14K
May 16 2021, 09:20:33 0179892 97.226% 14K
May 14 2021, 18:25:49 69d4c75 97.226% 14K
May 12 2021, 20:11:20 e7fbc05 97.226% 14K
May 12 2021, 19:45:39 cf789dd 97.226% 14K
May 12 2021, 18:40:21 35f03a4 97.226% 14K
May 12 2021, 18:39:24 deefd3f 97.226% 14K
May 12 2021, 18:37:39 cd7635a 97.226% 14K
May 12 2021, 18:22:52 c7fa8d3 97.294% 13.8K
May 10 2021, 18:27:25 5659917 97.314% 13.8K
May 10 2021, 18:24:41 b6d9620 97.314% 13.8K
May 5 2021, 19:32:40 1b19006 97.314% 13.8K
May 4 2021, 19:42:04 4811512 97.314% 13.8K
May 4 2021, 19:33:36 0212fd5 97.314% 13.8K
May 3 2021, 19:49:23 9de575d 97.314% 13.8K
May 3 2021, 19:38:48 db6c229 97.314% 13.8K
May 3 2021, 19:38:18 8b2e507 97.314% 13.8K
May 2 2021, 20:32:39 d967449 97.314% 13.8K
May 2 2021, 08:52:02 beb6946 97.314% 13.8K
April 29 2021, 18:35:29 62aa2c8 97.314% 13.8K
April 27 2021, 20:11:11 1abdb23 97.032% 10.8K
April 5 2021, 21:16:08 a89c85a 97.032% 10.8K
March 22 2021, 19:33:43 32dc4bc 97.014% 10.8K
March 16 2021, 08:44:29 517baf1 97.014% 10.8K
March 16 2021, 08:44:17 e3aead8 97.014% 10.8K
March 16 2021, 08:44:03 0fff7d9 97.014% 10.8K
March 14 2021, 14:01:18 62bc165 97.014% 10.8K
March 14 2021, 13:59:17 aa5648e 97.014% 10.8K
March 10 2021, 19:54:28 5627f7e 97.014% 10.8K
March 8 2021, 10:17:17 81b3d8f 97.008% 10.8K
March 4 2021, 19:27:09 18dc665 97.008% 10.8K
March 4 2021, 19:21:48 ad80ea6 97.008% 10.8K
February 28 2021, 14:17:46 9150444 97.008% 10.8K
February 26 2021, 16:05:13 2f00655 97.008% 10.8K
February 25 2021, 20:01:27 67a0ac6 97.008% 10.8K
February 25 2021, 19:59:16 cfcad12 97.008% 10.8K
February 24 2021, 07:59:56 7e60046 97.007% 10.8K
February 23 2021, 20:33:58 6a64603 97.006% 10.8K
February 22 2021, 20:25:05 0564a30 96.987% 10.7K
February 22 2021, 20:20:28 54f8f45 96.987% 10.7K
February 14 2021, 09:04:53 3390ac5 96.963% 10.6K
February 14 2021, 07:28:08 f49a4bb 96.962% 10.5K
February 14 2021, 07:22:42 7d5dabf 96.962% 10.5K
February 13 2021, 19:31:10 98cf294 96.957% 10.5K
February 13 2021, 11:18:47 87ff0f7 96.950% 10.5K
February 5 2021, 12:09:41 c77a68a 97.031% 10.1K
February 4 2021, 18:34:32 28d8c42 97.028% 10.1K
February 4 2021, 17:44:24 299037b 97.028% 10.1K
February 4 2021, 16:43:26 8a90f51 97.021% 10.1K
February 4 2021, 16:26:37 c81405f 97.064% 10.1K
February 4 2021, 16:17:01 3024f23 97.064% 10.1K
February 4 2021, 12:26:27 f038753 97.064% 10.1K
February 3 2021, 21:36:31 8a19dc8 97.064% 10.1K
February 3 2021, 20:56:02 bd85ba3 97.064% 10.1K
February 3 2021, 07:45:54 a4dfec7 97.064% 10.1K
February 3 2021, 06:36:36 23812cf 97.064% 10.1K
February 2 2021, 20:40:01 9c262ab 97.066% 10.1K
February 1 2021, 18:23:57 f350390 97.066% 10.1K
February 1 2021, 09:20:04 f5b5263 97.066% 10.1K
January 31 2021, 18:34:16 3be6b24 97.066% 10.1K
January 31 2021, 18:33:14 928bfa7 97.066% 10.1K
January 31 2021, 17:19:01 4fdd61f 97.066% 10.1K
January 31 2021, 11:19:26 d85287f 97.063% 10.1K
January 30 2021, 20:19:21 a145ffb 97.063% 10.1K
January 30 2021, 19:11:58 b677a94 97.060% 10.1K
January 30 2021, 18:48:54 fbad05d 97.060% 10.1K
January 30 2021, 12:54:20 2197877 97.039% 10K
January 30 2021, 09:49:56 7a18ec8 97.037% 10K
January 29 2021, 16:33:08 2167768 97.037% 10K
January 28 2021, 19:53:15 a689772 97.037% 10K
January 28 2021, 10:47:51 a916c4d 97.050% 10K
January 27 2021, 21:05:56 487670f 97.050% 10K
January 27 2021, 06:57:58 47a0526 97.024% 9.9K
January 26 2021, 18:27:31 73a198d 97.023% 9.9K
January 25 2021, 21:32:09 530ced4 97.016% 9.8K
January 25 2021, 20:48:05 69fd631 97.001% 9.8K
January 24 2021, 20:07:36 b288c0d 97.016% 9.7K
January 23 2021, 21:56:33 2383cf4 97.016% 9.7K
January 23 2021, 18:41:53 18a0b80 97.016% 9.7K
January 23 2021, 17:25:57 f77fe9c 97.012% 9.7K
January 23 2021, 09:22:31 8bf7c69 97.008% 9.6K
January 23 2021, 09:16:29 a3b8470 97.008% 9.6K
January 22 2021, 21:37:05 8097b1c 97.008% 9.6K
January 22 2021, 20:53:57 a5e60b1 97.008% 9.6K
January 22 2021, 20:49:47 6ba30d3 97.008% 9.6K
January 22 2021, 20:47:27 298354e 97.008% 9.6K
January 22 2021, 16:29:17 2e283e9 97.008% 9.6K
January 22 2021, 16:06:54 be68165 97.037% 9.6K
January 22 2021, 16:06:01 b727f6b 97.037% 9.6K