Cross Reference: /ontohub/spec/factories/axiom_selection

History log of /ontohub/spec/factories/axiom_selection_factory.rb
Revision	Date	Author	Comments Expand
80af46b05711efde86eae411ee0c11c70433527d	02-Nov-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Simplify sine spec by adding trait. axiom_selection_factory.rb /ontohub/spec/models/sine_axiom_selection_spec.rb
5dd0a6bcc5adb36d1d3ade5b3e7aa8e6f0bec236	10-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Let AxiomSelection have many ProofAttemptConfigurations. /ontohub/app/models/axiom_selection.rb /ontohub/app/models/sine_axiom_selection.rb axiom_selection_factory.rb proof_attempt_configuration_factory.rb /ontohub/spec/models/axiom_selection_spec.rb /ontohub/spec/models/manual_axiom_selection_spec.rb /ontohub/spec/models/sine_axiom_selection_spec.rb
f72ced35d2363ff33b60308a59414933ad25ad74	10-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Fix axiom selection factories not properly creating ProofAttempts. axiom_selection_factory.rb
2dd343358095286426c3ba8f6803572ee4c0a00a	10-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add skeleton of SineAxiomSelection. /ontohub/app/models/sine_axiom_selection.rb /ontohub/db/migrate/20150701091703_create_sine_axiom_selections.rb axiom_selection_factory.rb /ontohub/spec/models/axiom_selection_spec.rb /ontohub/spec/models/sine_axiom_selection_spec.rb
554e4d0dd1f4e02034b3b142c8ea100a9f6a1fdc	10-Jul-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add basic specs for AxiomSelections. axiom_selection_factory.rb /ontohub/spec/models/axiom_selection_spec.rb /ontohub/spec/models/manual_axiom_selection_spec.rb
830a9c18a0749270046905672daf2f66c7e32d56	10-Jul-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add and use AxiomSelection factory. axiom_selection_factory.rb proof_attempt_configuration_factory.rb