History log of /ontohub/spec/controllers/api/v1/proof_attempt_configurations_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 proof_attempt_configurations_controller_spec.rb proof_attempts_controller_spec.rb /ontohub/spec/controllers/ontologies_controller_spec.rb /ontohub/spec/controllers/proof_attempts_controller_spec.rb /ontohub/spec/support/common_helper_methods.rb
6038b00107b7bc45a596b94529bfb544a3ed6a65 17-Jul-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Adjust specs and factories to the new one-to-one relation.
6436a931b73290f673566ca4d6e16705770cf348 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add API ProofAttemptConfigurationsController spec.