| app/models/multi_blob.rb | 206 | D 1 day |
|
| app/graphql/types/query_type.rb | 198 | B 5 hrs |
|
| app/graphql/types/user_type.rb | 67 | B 4 hrs |
|
| app/graphql/types/language_type.rb | 68 | A 3 hrs |
|
| app/graphql/types/document_type.rb | 74 | A 2 hrs |
|
| app/graphql/types/sentence_methods.rb | 34 | A 2 hrs |
|
| app/graphql/types/git/commit_type.rb | 159 | A 2 hrs |
|
| app/graphql/types/organization_type.rb | 37 | A 2 hrs |
|
| app/graphql/types/oms_type.rb | 141 | A 2 hrs |
|
| app/graphql/types/sine_premise_selection_type.rb | 57 | A 2 hrs |
|
| app/graphql/types/symbol_type.rb | 55 | A 2 hrs |
|
| app/graphql/instrumenters/validation_error_instrumenter.rb | 33 | A 2 hrs |
|
| app/graphql/types/logic_type.rb | 42 | A 1 hr |
|
| app/graphql/types/signature_type.rb | 72 | A 1 hr |
|
| app/graphql/types/mapping_origin_enum.rb | 25 | A 1 hr |
|
| app/graphql/types/mapping_type_enum.rb | 25 | A 1 hr |
|
| app/graphql/mutations/repository/git/delete_tag_mutation.rb | 28 | A 1 hr |
|
| app/graphql/mutations/repository/git/delete_branch_mutation.rb | 28 | A 1 hr |
|
| app/controllers/rest/tags_controller.rb | 39 | A 1 hr |
|
| app/controllers/rest/branches_controller.rb | 38 | A 1 hr |
|
| app/graphql/types/conjecture_methods.rb | 28 | A 1 hr |
|
| app/graphql/types/premise_selection_type.rb | 27 | A 1 hr |
|
| app/graphql/mutations/account/resend_confirmation_email_mutation.rb | 21 | A 55 mins |
|
| app/graphql/mutations/account/resend_unlock_account_email_mutation.rb | 21 | A 55 mins |
|
| app/graphql/mutations/account/resend_password_reset_email_mutation.rb | 21 | A 55 mins |
|
| app/graphql/types/sine_symbol_commonness_type.rb | 16 | A 35 mins |
|
| app/graphql/mutations/account/reset_password_mutation.rb | 31 | A 35 mins |
|
| app/graphql/mutations/account/sign_in_mutation.rb | 38 | A 35 mins |
|
| app/graphql/types/reasoner_output_type.rb | 14 | A 35 mins |
|
| lib/popen.rb | 24 | A 35 mins |
|
| app/policies/repository_policy.rb | 62 | A 35 mins |
|
| app/graphql/types/organization/membership_type.rb | 13 | A 35 mins |
|
| app/graphql/types/repository/membership_type.rb | 13 | A 35 mins |
|
| db/seeds/045_document_seeds.rb | 93 | A 30 mins |
|
| lib/importing_documents_reanalyzer.rb | 86 | A 25 mins |
|
| app/graphql/mutations/account/unlock_account_mutation.rb | 26 | A 20 mins |
|
| app/graphql/mutations/account/confirm_email_mutation.rb | 25 | A 20 mins |
|
| app/graphql/types/counter_theorem_type.rb | 7 | A 20 mins |
|
| app/graphql/types/open_conjecture_type.rb | 7 | A 20 mins |
|
| app/graphql/types/theorem_type.rb | 7 | A 20 mins |
|
| app/graphql/types/repository/new_url_mapping_type.rb | 10 | A 15 mins |
|
| app/graphql/types/conservativity_status_type.rb | 10 | A 15 mins |
|
| app/channels/application_cable/channel.rb | 4 | A 0 mins |
|
| app/channels/application_cable/connection.rb | 4 | A 0 mins |
|
| app/controllers/application_controller.rb | 2 | A 0 mins |
|
| app/controllers/graphql_controller.rb | 48 | A 0 mins |
|
| app/controllers/rest/application_controller.rb | 11 | A 0 mins |
|
| app/controllers/rest/commit_controller.rb | 46 | A 0 mins |
|
| app/controllers/rest/diffs_controller.rb | 58 | A 0 mins |
|
| app/controllers/rest/documents_controller.rb | 50 | A 0 mins |
|