| .. | | 03-May-2022 | - |
| Assembly/ | H | 24-Aug-2018 | - | 56 | 21 |
| Mono.CodeContracts.Rewrite/ | H | 24-Aug-2018 | - | 1,539 | 970 |
| Mono.CodeContracts.Rewrite.Ast/ | H | 24-Aug-2018 | - | 1,022 | 376 |
| Mono.CodeContracts.Rewrite.AstVisitors/ | H | 24-Aug-2018 | - | 605 | 406 |
| Mono.CodeContracts.Static/ | H | 24-Aug-2018 | - | 359 | 166 |
| Mono.CodeContracts.Static.AST/ | H | 24-Aug-2018 | - | 4,125 | 2,522 |
| Mono.CodeContracts.Static.AST.Visitors/ | H | 24-Aug-2018 | - | 1,798 | 1,152 |
| Mono.CodeContracts.Static.Analysis/ | H | 24-Aug-2018 | - | 1,009 | 541 |
| Mono.CodeContracts.Static.Analysis.Drivers/ | H | 24-Aug-2018 | - | 697 | 346 |
| Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/ | H | 24-Aug-2018 | - | 1,359 | 920 |
| Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding/ | H | 24-Aug-2018 | - | 875 | 458 |
| Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions/ | H | 24-Aug-2018 | - | 586 | 313 |
| Mono.CodeContracts.Static.Analysis.HeapAnalysis/ | H | 24-Aug-2018 | - | 5,207 | 3,985 |
| Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths/ | H | 24-Aug-2018 | - | 850 | 475 |
| Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph/ | H | 24-Aug-2018 | - | 2,126 | 1,537 |
| Mono.CodeContracts.Static.Analysis.NonNull/ | H | 24-Aug-2018 | - | 837 | 586 |
| Mono.CodeContracts.Static.Analysis.Numerical/ | H | 24-Aug-2018 | - | 8,671 | 5,823 |
| Mono.CodeContracts.Static.Analysis.StackAnalysis/ | H | 24-Aug-2018 | - | 1,739 | 1,290 |
| Mono.CodeContracts.Static.ContractExtraction/ | H | 24-Aug-2018 | - | 931 | 658 |
| Mono.CodeContracts.Static.ControlFlow/ | H | 24-Aug-2018 | - | 2,116 | 1,318 |
| Mono.CodeContracts.Static.ControlFlow.Blocks/ | H | 24-Aug-2018 | - | 1,066 | 642 |
| Mono.CodeContracts.Static.ControlFlow.Subroutines/ | H | 24-Aug-2018 | - | 2,006 | 1,382 |
| Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders/ | H | 24-Aug-2018 | - | 1,113 | 751 |
| Mono.CodeContracts.Static.DataFlowAnalysis/ | H | 24-Aug-2018 | - | 771 | 405 |
| Mono.CodeContracts.Static.DataStructures/ | H | 24-Aug-2018 | - | 2,513 | 1,347 |
| Mono.CodeContracts.Static.DataStructures.Patricia/ | H | 24-Aug-2018 | - | 484 | 302 |
| Mono.CodeContracts.Static.Extensions/ | H | 24-Aug-2018 | - | 39 | 10 |
| Mono.CodeContracts.Static.Lattices/ | H | 24-Aug-2018 | - | 823 | 505 |
| Mono.CodeContracts.Static.Providers/ | H | 24-Aug-2018 | - | 1,674 | 1,200 |
| Mono.CodeContracts.Static.Proving/ | H | 24-Aug-2018 | - | 2,698 | 2,038 |
| Test/ | H | 24-Aug-2018 | - | 562 | 402 |
| Makefile | H A D | 24-Aug-2018 | 298 | 15 | 10 |
| Mono.CodeContracts.dll.sources | H A D | 24-Aug-2018 | 22.4 KiB | 378 | 377 |
| Mono.CodeContracts_test.dll.sources | H A D | 24-Aug-2018 | 70 | 4 | 3 |