History log of /ontohub/lib/proof_execution.rb
Revision Date Author Comments Expand
81da36894af70bbb8d8e24b004026ad4c5c1bc99 19-Jul-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

1592 committer not shown in versions (#1704) * Supply pushing user. * Code style. * Remove already executed data migration task. * Improve Commit model, add associations to User model. * Get rid of ambiguous class/module names. * Replace OntologyVersion#user by #pusher. * Display pusher information in OntologyVersions index. * Fix all the tests. * Add new tests. * Obey Hound. * Fix migration. * Add data migration for missing commits. * Add data migrations. * Shorten up method. * Remove unnecessary comment.

/ontohub/app/controllers/ontologies_controller.rb /ontohub/app/helpers/ontology_version_helper.rb /ontohub/app/models/commit.rb /ontohub/app/models/ontology/versions.rb /ontohub/app/models/ontology_version.rb /ontohub/app/models/ontology_version/files.rb /ontohub/app/models/ontology_version/parsing.rb /ontohub/app/models/repository/git.rb /ontohub/app/models/user.rb /ontohub/app/views/home/_versions.html.haml /ontohub/app/views/ontologies/_ontology.html.haml /ontohub/app/views/ontology_versions/_ontology_version.html.haml /ontohub/db/data/20160614065104_create_missing_commits.rb /ontohub/db/data/20160614065106_fill_empty_commits.rb /ontohub/db/migrate/20160614065105_add_association_from_commit_to_user.rb git_repository.rb git_repository/committing.rb git_repository/get_commit.rb hets/dg/node_evaluation_helper.rb hets/dg/node_evaluator.rb migration_with_data.rb ontology_saver.rb ontology_version_options.rb proof_execution.rb repository_update_worker.rb tasks/migrate_data.rake /ontohub/spec/controllers/users_controller_spec.rb /ontohub/spec/factories/commit_factory.rb /ontohub/spec/factories/ontology_factory.rb /ontohub/spec/factories/ontology_version_factory.rb /ontohub/spec/models/commit_spec.rb /ontohub/spec/models/ontology_spec.rb /ontohub/spec/models/ontology_version_spec.rb /ontohub/spec/models/repository/git_spec.rb /ontohub/spec/models/repository/save_and_delete_file_spec.rb /ontohub/spec/models/user_spec.rb
5b31f58b001bc9270dcca2fbff3873893f7a5112 10-Aug-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use ProofEvaluationStateUpdater.
7ad3b953f829ffa5036f5f476c65d06b6477d645 10-Aug-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Select Axioms when proving with SInE.
c79944bc9f049b215ed5e6190c7eeb6b68e9fa65 15-Jul-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add ProofExecution[Worker].