formal-php/orm
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| October 31 2024, 15:11:46 | 8ea9949 | 99.278% | 7K |
| October 31 2024, 15:11:19 | 756f6fe | 99.278% | 7K |
| October 31 2024, 11:01:44 | 0b1ed42 | 99.275% | 7K |
| October 26 2024, 16:44:42 | bade44f | 99.273% | 7K |
| October 26 2024, 16:41:09 | b248646 | 99.273% | 7K |
| October 6 2024, 09:20:13 | 076be6f | 99.261% | 6.9K |
| October 2 2024, 17:51:12 | 24f53a2 | 99.261% | 6.9K |
| October 2 2024, 17:47:29 | b837834 | 99.261% | 6.9K |
| September 29 2024, 09:19:02 | 7400135 | 99.258% | 6.8K |
| September 29 2024, 09:17:39 | 99b2e49 | 99.258% | 6.8K |
| August 20 2024, 15:00:07 | fa0cd32 | 99.236% | 6.6K |
| August 20 2024, 14:59:23 | a7151ba | 99.236% | 6.6K |
| August 20 2024, 09:52:14 | b783264 | 99.230% | 6.6K |
| August 1 2024, 11:53:12 | 1e692f4 | 99.225% | 6.5K |
| August 1 2024, 11:51:54 | 7a4b8db | 99.225% | 6.5K |
| July 26 2024, 09:48:02 | 127139a | 99.223% | 6.5K |
| July 26 2024, 08:46:06 | 04a6102 | 99.223% | 6.5K |
| July 20 2024, 08:42:39 | 7de9cc5 | 99.221% | 6.5K |
| July 20 2024, 08:37:48 | 8f668c0 | 99.221% | 6.5K |
| July 14 2024, 16:16:48 | c38104f | 99.221% | 6.5K |
| July 14 2024, 16:16:00 | 3618de6 | 99.221% | 6.5K |
| July 8 2024, 06:26:44 | f37a89e | 99.225% | 6.5K |
| July 6 2024, 16:47:51 | db83620 | 99.225% | 6.5K |
| July 6 2024, 15:51:05 | bdc1765 | 99.225% | 6.5K |
| July 6 2024, 15:50:30 | a6be3bb | 99.225% | 6.5K |
| July 6 2024, 12:15:14 | 4178a47 | 99.225% | 6.5K |
| July 5 2024, 18:36:54 | f30b2c6 | 99.225% | 6.5K |
| July 1 2024, 19:13:17 | 4822bbb | 99.223% | 6.5K |
| June 30 2024, 14:02:53 | f319065 | 99.223% | 6.5K |
| June 29 2024, 15:22:28 | 1623b49 | 99.210% | 6.4K |
| June 29 2024, 14:01:08 | d0bdef2 | 99.200% | 6.3K |
| June 2 2024, 15:48:08 | 02e88d5 | 99.230% | 6.3K |
| June 2 2024, 15:47:20 | 6e87270 | 99.230% | 6.3K |
| June 2 2024, 15:37:54 | 8259227 | 99.230% | 6.3K |
| May 29 2024, 15:42:02 | 9a41693 | 99.230% | 6.3K |
| May 29 2024, 15:41:23 | e69f9ca | 99.230% | 6.3K |
| May 22 2024, 14:17:03 | c04ec22 | 99.230% | 6.3K |
| May 22 2024, 14:16:16 | c2beb15 | 99.230% | 6.3K |
| February 25 2024, 13:55:33 | 7795ddc | 99.231% | 6.3K |
| February 25 2024, 13:46:12 | 37e0717 | 99.231% | 6.3K |
| February 25 2024, 13:30:42 | 9e884da | 99.234% | 6.3K |
| February 25 2024, 10:13:40 | 9f5a011 | 99.110% | 6.7K |
| February 24 2024, 17:06:26 | 8cebdf6 | 99.110% | 6.7K |
| February 24 2024, 17:05:27 | 939aa93 | 99.110% | 6.7K |
| February 24 2024, 16:44:55 | c6a7734 | 99.401% | 5.5K |
| February 17 2024, 13:24:06 | 3893eb7 | 99.401% | 5.5K |
| February 17 2024, 10:57:21 | 0a1616a | 99.402% | 5.5K |
| February 12 2024, 18:40:34 | 9e6791a | 99.384% | 5.3K |
| February 12 2024, 18:15:31 | cd95f30 | 99.384% | 5.3K |
| February 11 2024, 16:59:44 | f9275d5 | 99.387% | 5.3K |
| February 11 2024, 16:39:34 | 9d8fc31 | 99.387% | 5.3K |
| February 10 2024, 14:49:12 | d9d8185 | 99.453% | 5.1K |
| February 10 2024, 10:09:36 | e7f0bfd | 99.476% | 5.3K |
| February 4 2024, 11:28:04 | d69cad1 | 99.472% | 5.3K |
| February 4 2024, 11:25:16 | c6458ba | 99.472% | 5.3K |
| January 28 2024, 10:45:49 | 9ec7e94 | 99.448% | 5K |
| January 28 2024, 10:43:49 | 735b30f | 99.448% | 5K |
| January 15 2024, 15:52:18 | 4ccbe4a | 98.883% | 5K |
| January 15 2024, 15:51:09 | 5f406fc | 98.883% | 5K |
| January 15 2024, 15:47:56 | c72bbf3 | 98.883% | 5K |
| January 15 2024, 15:43:54 | 254028f | 98.883% | 5K |
| September 23 2023, 12:41:31 | 7bce346 | 98.882% | 5K |
| August 15 2023, 12:44:45 | 4be40a4 | 98.882% | 5K |
| August 15 2023, 07:45:40 | 9d48f90 | 98.882% | 5K |
| August 15 2023, 07:22:31 | 9b261af | 98.880% | 5K |
| August 14 2023, 16:34:59 | cfbfa28 | 98.873% | 4.9K |
| August 14 2023, 16:25:20 | 7454d78 | 98.873% | 4.9K |
| August 14 2023, 09:00:50 | 5e1f93e | 98.872% | 4.9K |
| April 18 2021, 15:06:45 | 56e9319 | 99.882% | 846 |
| April 18 2021, 14:15:47 | 422ffb6 | 99.874% | 796 |
| April 18 2021, 10:00:41 | 0800331 | 99.868% | 755 |
| April 17 2021, 14:47:39 | 37cf444 | 99.849% | 664 |
| April 17 2021, 13:29:03 | a81d44f | 100.000% | 609 |
| April 17 2021, 13:26:20 | e7dddf0 | 100.000% | 609 |
| April 17 2021, 13:23:16 | 749888b | 100.000% | 609 |
| April 17 2021, 13:19:55 | 1078534 | 100.000% | 609 |
| April 11 2021, 16:20:40 | ace6e4b | 100.000% | 361 |
| April 11 2021, 15:00:29 | d9d2255 | 100.000% | 254 |
| April 10 2021, 14:54:59 | 50cc1b4 | 100.000% | 14 |