| app/models/organizational_unit.rb | 23 | A 0 mins |
|
| app/models/premise_selection.rb | 10 | A 0 mins |
|
| app/models/proof_attempt.rb | 24 | A 1 hr |
|
| app/models/prover.rb | 2 | A 0 mins |
|
| app/models/public_key.rb | 23 | A 0 mins |
|
| app/models/reasoner.rb | 6 | A 0 mins |
|
| app/models/reasoner_configuration.rb | 8 | A 0 mins |
|
| app/models/reasoner_output.rb | 4 | A 0 mins |
|
| app/models/reasoning_attempt.rb | 10 | A 0 mins |
|
| app/models/repository.rb | 43 | A 0 mins |
|
| app/models/repository_membership.rb | 9 | A 0 mins |
|
| app/models/sentence.rb | 21 | A 0 mins |
|
| app/models/serialization.rb | 6 | A 0 mins |
|
| app/models/signature.rb | 55 | A 2 hrs |
|
| app/models/signature_morphism.rb | 32 | A 1 hr |
|
| app/models/signature_symbol.rb | 5 | A 0 mins |
|
| app/models/sine_premise_selection.rb | 4 | A 0 mins |
|
| app/models/sine_symbol_commonness.rb | 4 | A 0 mins |
|
| app/models/sine_symbol_premise_trigger.rb | 5 | A 0 mins |
|
| app/models/symbol_mapping.rb | 5 | A 0 mins |
|
| app/models/theorem.rb | 2 | A 0 mins |
|
| app/models/url_mapping.rb | 10 | A 0 mins |
|
| app/models/user.rb | 105 | A 3 hrs |
|
| app/models/warn.rb | 2 | A 0 mins |
|
| bin/rails | |
|
|
| config/initializers/core_extensions/active_support/inflector/methods.rb | 12 | A 0 mins |
|
| config/initializers/core_extensions/sequel/model/orm_adapter/sequel.rb | 8 | A 0 mins |
|
| config/initializers/devise.rb | 5 | A 0 mins |
|
| config/initializers/expose_migrations_path.rb | 10 | A 0 mins |
|
| config/initializers/sequel_active_model_errors.rb | 9 | A 0 mins |
|
| config/initializers/sequel_active_model_serializer.rb | 19 | A 0 mins |
|
| config/initializers/sequel_rails_compatibility.rb | 2 | A 0 mins |
|
| config/routes.rb | 2 | A 0 mins |
|
| db/migrate/20160902111740_initial_schema.rb | 565 | C 1 day |
|
| lib/ontohub-models.rb | 3 | A 0 mins |
|
| lib/ontohub-models/engine.rb | 18 | A 0 mins |
|
| lib/ontohub-models/factories.rb | 2 | A 0 mins |
|
| lib/ontohub-models/version.rb | 3 | A 0 mins |
|
| lib/tasks/db.rake | |
|
|
| lib/tasks/ontohub_models_tasks.rake | |
|
|
| ontohub-models.gemspec | |
|
|