| .. | | - | - |
| exc/ | | 04-Jul-2025 | - | 729 | 189 |
| statics/ | | 04-Jul-2025 | - | 3,884 | 2,466 |
| structurals/ | | 04-Jul-2025 | - | 6,916 | 4,177 |
| GraphicalVerifier.java | D | 04-Jul-2025 | 2.6 KiB | 74 | 38 |
| NativeVerifier.java | D | 04-Jul-2025 | 2.8 KiB | 74 | 36 |
| PassVerifier.java | D | 04-Jul-2025 | 3.8 KiB | 106 | 21 |
| TransitiveHull.java | D | 04-Jul-2025 | 3.9 KiB | 106 | 62 |
| VerificationResult.java | D | 04-Jul-2025 | 3.9 KiB | 128 | 49 |
| Verifier.java | D | 04-Jul-2025 | 8.8 KiB | 243 | 143 |
| VerifierAppFrame.java | D | 04-Jul-2025 | 17.7 KiB | 422 | 346 |
| VerifierFactory.java | D | 04-Jul-2025 | 3.5 KiB | 108 | 35 |
| VerifierFactoryListModel.java | D | 04-Jul-2025 | 2.5 KiB | 78 | 44 |
| VerifierFactoryObserver.java | D | 04-Jul-2025 | 1.4 KiB | 40 | 4 |
| VerifyDialog.java | D | 04-Jul-2025 | 19.7 KiB | 565 | 342 |
| package.html | D | 04-Jul-2025 | 1.2 KiB | 35 | 11 |