path # lines of code number of updates days since first update days since last update first updated last updated Cargo.toml 16 15 1251 603 2018-11-12 2020-08-21 standard_contracts/Cargo.toml 14 2 1032 174 2019-06-19 2021-10-24 standard_contracts/src/lib.rs 16 12 1032 210 2019-06-19 2021-09-18 standard_contracts/src/foreign_contracts.rs 4355 126 1032 113 2019-06-19 2021-12-24 standard_contracts/src/macros.rs 221 8 544 181 2020-10-19 2021-10-17 checker/Cargo.toml 56 33 1123 24 2019-03-20 2022-03-23 checker/build.rs 5 3 1045 115 2019-06-06 2021-12-22 checker/Cargo.windows.toml 56 1 22 22 2022-03-25 2022-03-25 checker/src/call_visitor.rs 2747 171 723 23 2020-04-23 2022-03-24 checker/src/block_visitor.rs 3209 182 725 23 2020-04-21 2022-03-24 checker/src/type_visitor.rs 1169 102 726 29 2020-04-20 2022-03-18 checker/src/k_limits.rs 6 23 1123 150 2019-03-20 2021-11-17 checker/src/expected_errors.rs 80 7 1123 291 2019-03-20 2021-06-29 checker/src/body_visitor.rs 2612 158 725 29 2020-04-21 2022-03-18 checker/src/tag_domain.rs 174 7 688 113 2020-05-28 2021-12-24 checker/src/smt_solver.rs 57 7 1123 567 2019-03-20 2020-09-26 checker/src/bool_domain.rs 44 4 688 113 2020-05-28 2021-12-24 checker/src/lib.rs 65 30 1123 177 2019-03-20 2021-10-21 checker/src/options.rs 177 23 856 55 2019-12-12 2022-02-20 checker/src/crate_visitor.rs 238 30 728 29 2020-04-18 2022-03-18 checker/src/fixed_point_visitor.rs 329 26 718 123 2020-04-28 2021-12-14 checker/src/expression.rs 1355 84 1123 23 2019-03-20 2022-03-24 checker/src/path.rs 1148 135 1053 23 2019-05-29 2022-03-24 checker/src/summaries.rs 484 76 1123 192 2019-03-20 2021-10-06 checker/src/call_graph.rs 842 8 240 122 2021-08-19 2021-12-15 checker/src/main.rs 102 17 1123 101 2019-03-20 2022-01-05 checker/src/interval_domain.rs 352 9 1123 113 2019-03-20 2021-12-24 checker/src/callbacks.rs 139 198 1123 149 2019-03-20 2021-11-18 checker/src/z3_solver.rs 2017 68 1103 144 2019-04-09 2021-11-23 checker/src/constant_domain.rs 1177 61 1123 53 2019-03-20 2022-02-22 checker/src/environment.rs 31 78 1123 113 2019-03-20 2021-12-24 checker/src/abstract_value.rs 6125 218 1123 23 2019-03-20 2022-03-24 checker/src/cargo_mirai.rs 191 1 116 116 2021-12-21 2021-12-21 checker/src/utils.rs 442 59 1123 29 2019-03-20 2022-03-18 checker/src/known_names.rs 436 39 882 113 2019-11-16 2021-12-24 include/z3_rcf.h 30 2 156 29 2021-11-11 2022-03-18 include/z3_macros.h 13 1 156 156 2021-11-11 2021-11-11 include/z3_polynomial.h 8 2 156 29 2021-11-11 2022-03-18 include/z3++.h 3074 2 156 29 2021-11-11 2022-03-18 include/z3_algebraic.h 28 2 156 29 2021-11-11 2022-03-18 include/z3_fpa.h 87 2 156 29 2021-11-11 2022-03-18 include/z3_optimization.h 41 2 156 29 2021-11-11 2022-03-18 include/z3.h 14 1 156 156 2021-11-11 2021-11-11 include/z3_ast_containers.h 28 2 156 29 2021-11-11 2022-03-18 include/z3_v1.h 38 1 156 156 2021-11-11 2021-11-11 include/z3_api.h 1088 2 156 29 2021-11-11 2022-03-18 include/z3_version.h 5 2 156 29 2021-11-11 2022-03-18 include/z3_fixedpoint.h 74 2 156 29 2021-11-11 2022-03-18 include/z3_spacer.h 34 2 156 29 2021-11-11 2022-03-18 annotations/Cargo.toml 13 22 1123 174 2019-03-20 2021-10-24 annotations/src/lib.rs 892 25 1123 284 2019-03-20 2021-07-06