Cross Reference: /ontohub/spec/models/theorem

History log of /ontohub/spec/models/theorem_spec.rb
Revision	Date	Author	Comments Expand
a7cfdb0bbc9cc7837770f04e59deee324898049b	17-Jan-2016	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Set state to not_started_yet on new theorem. /ontohub/app/models/ontology/sentences.rb /ontohub/spec/factories/theorem_factory.rb theorem_spec.rb
288bffa8d6101d19ea681bcfcb50a7ce3b4ca697	26-Sep-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Fix status priority in the specs. theorem_spec.rb
1f41235c9549cfe332cc93df708e2c7199a17c65	26-Sep-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add specs for the new theorem proof status handling. /ontohub/spec/factories/proof_status_factory.rb /ontohub/spec/lib/axiom_selection_proof_status_spec.rb proof_attempt_spec.rb theorem_spec.rb
a5046cf1c8685ecc3ff6c1f3294469e3394ee155	02-Jun-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add specs: Pass access token when proving. ontology_version/proving_spec.rb theorem_spec.rb
c73a9fba38c3f997632370857d254425fa5183d7	02-Jun-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Prepare url catalog properly. /ontohub/lib/hets/hets_options.rb /ontohub/spec/lib/hets/hets_options_spec.rb ontology_version/proving_spec.rb theorem_spec.rb
fd79902d3b8da935e2665697b33d3c2a21a15b53	31-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Adjust theorem spec Delete the specs of the removed methods are deleted and add specs for prove_options. theorem_spec.rb
5f84ce1305d72f4fd12b829df032068324d3f039	31-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add specs for default state. proof_attempt_spec.rb theorem_spec.rb
7e216f85f8d860cc3948b656c0d0066ccf0dafbb	26-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add spec for proving a single theorem. theorem_spec.rb
ad3d2e33936e011b85cbcaada213ff2fd732766f	11-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Adjust specs for proving to new factories. proof_attempt_spec.rb theorem_spec.rb
12c59b7f5e3256428dd869f3b2d945ba22daca08	04-Dec-2014	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Use SZS ontology to create ProofStatus. /ontohub/app/models/proof_status.rb /ontohub/app/models/proof_status/create_from_ontology.rb /ontohub/app/models/theorem.rb /ontohub/db/seeds/030-proof_statuses.rb /ontohub/lib/tasks/generate.rake theorem_spec.rb
72c95efaba482fc9802fbe0b2f0cd9ecaaf9111d	04-Dec-2014	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add specs on associations. proof_attempt_spec.rb theorem_spec.rb
e200ddd4b78a4915a072095be2a2e6cac65ed333	04-Dec-2014	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add ProofStatus model, remove STATUSES Constant. The ProofAttempt and Theorem models now rely on this new model. /ontohub/app/models/proof_attempt.rb /ontohub/app/models/proof_attempt/status.rb /ontohub/app/models/proof_status.rb /ontohub/app/models/theorem.rb /ontohub/app/views/theorems/_theorem.html.haml /ontohub/app/views/theorems/index.html.haml /ontohub/config/database_cleaner.rb /ontohub/db/migrate/20141112202311_add_szs_statuses.rb /ontohub/db/seeds.rb proof_attempt_spec.rb theorem_spec.rb /ontohub/test/factories/proof_attempt.rb /ontohub/test/factories/proof_status.rb /ontohub/test/factories/theorem.rb
b4a0129f99341fb8b1f0d724e656d339c97e9db0	04-Dec-2014	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add first draft of Theorem and ProofStatus models. /ontohub/app/models/proof_attempt.rb /ontohub/app/models/proof_attempt/status.rb /ontohub/app/models/theorem.rb /ontohub/db/migrate/20141112094022_add_type_to_sentences.rb /ontohub/db/migrate/20141112094801_create_proof_attempts.rb /ontohub/db/migrate/20141112095635_add_proof_state_to_theorem.rb proof_attempt_spec.rb theorem_spec.rb /ontohub/test/factories/proof_attempt.rb /ontohub/test/factories/theorem.rb