History log of /ontohub/spec/controllers/proof_attempts_controller_spec.rb
Revision Date Author Comments Expand
d327eb79653cf7820fe583473ab35816d44cd757 02-Aug-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

1555 patch url for (#1745) * Move monkey patches to one place and document them. * Make url_for consider LocIdBaseModel. * Use url_for instead of locid_for everywhere. * Remove now unused locid_for methods.

/ontohub/app/controllers/application_controller.rb /ontohub/app/controllers/metadata_controller.rb /ontohub/app/controllers/ontologies_controller.rb /ontohub/app/controllers/proof_attempts_controller.rb /ontohub/app/helpers/link_helper.rb /ontohub/app/helpers/navigation_helper.rb /ontohub/app/helpers/state_helper.rb /ontohub/app/serializers/application_serializer.rb /ontohub/app/serializers/axiom_serializer.rb /ontohub/app/serializers/mapping_serializer.rb /ontohub/app/serializers/ontology_member/symbol_serializer.rb /ontohub/app/serializers/ontology_serializer.rb /ontohub/app/serializers/ontology_version_serializer.rb /ontohub/app/serializers/proof_attempt_configuration_serializer.rb /ontohub/app/serializers/proof_attempt_serializer.rb /ontohub/app/serializers/prover_output_serializer.rb /ontohub/app/serializers/sentence_serializer.rb /ontohub/app/serializers/theorem_serializer.rb /ontohub/app/views/axioms/_axiom.html.haml /ontohub/app/views/axioms/index.html.haml /ontohub/app/views/children/_child.html.haml /ontohub/app/views/mappings/_mapping.html.haml /ontohub/app/views/ontologies/_info.html.haml /ontohub/app/views/proof_attempts/_result.html.haml /ontohub/app/views/proof_attempts/_sentences_list.html.haml /ontohub/app/views/proof_attempts/index.html.haml /ontohub/app/views/proof_attempts/show.html.haml /ontohub/app/views/prover_outputs/show.html.haml /ontohub/app/views/symbols/_list.html.haml /ontohub/app/views/symbols/_node.html.haml /ontohub/app/views/theorems/_theorem.html.haml /ontohub/app/views/theorems/_theorem_large.html.haml /ontohub/doc/list_of_monkey_patches.md /ontohub/features/step_definitions/combination_steps.rb /ontohub/features/step_definitions/loc_id_routing_steps.rb /ontohub/features/step_definitions/ontology_state_steps.rb /ontohub/features/support/env.rb /ontohub/lib/extend/action_dispatch/routing/polymorphic_routes.rb /ontohub/lib/extend/file.rb api/v1/proof_attempt_configurations_controller_spec.rb api/v1/proof_attempts_controller_spec.rb ontologies_controller_spec.rb proof_attempts_controller_spec.rb /ontohub/spec/support/common_helper_methods.rb
fe059047167e785ca5891032f1888bf3f58361ce 03-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add retry_failed controller spec.
7065231170663ad3ba62ba2731f9195bd1b0e71b 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add ProofAttemptsController spec.