{"push_id":618343903,"size":37,"distinct_size":1,"ref":"refs/heads/staging","head":"5ac5ef3c63547553644367e08b9f779667822ee2","before":"110e9cc480608b04e4bf6b0b1362e87de32b1639","commits":[{"sha":"181b42728f24cacec9068a9103e33d54288dc75d","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Fix ontology iri passed to hets api.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/181b42728f24cacec9068a9103e33d54288dc75d"},{"sha":"78ae3f766671506ad5be931e5e6e0beb456703d8","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Allow to prove a single theorem.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/78ae3f766671506ad5be931e5e6e0beb456703d8"},{"sha":"7e216f85f8d860cc3948b656c0d0066ccf0dafbb","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add spec for proving a single theorem.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/7e216f85f8d860cc3948b656c0d0066ccf0dafbb"},{"sha":"14d19b08f079988d61ea653d1d7c439522e9ae70","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add model: Prover.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/14d19b08f079988d61ea653d1d7c439522e9ae70"},{"sha":"8091011de73ad5403d8ff4a183a440b8b1ee2c60","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Associate Prover with OntologyVersion.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/8091011de73ad5403d8ff4a183a440b8b1ee2c60"},{"sha":"cfe650ef8c40be48688d2fcac556e739a751ca82","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Bump minimal hets version\n\nThis version introduces JSON output for the provers list.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/cfe650ef8c40be48688d2fcac556e739a751ca82"},{"sha":"f733d15480f88a8e5e4ec5f7b3595fdc4d797767","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProversOptions class.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/f733d15480f88a8e5e4ec5f7b3595fdc4d797767"},{"sha":"3eb2f42df528f60b01e96cace480b0fea0b5a134","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProversOptions spec.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/3eb2f42df528f60b01e96cace480b0fea0b5a134"},{"sha":"39773bb0e5084f64fb8973a75b0c3c4f93abe989","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add Provers Evaluator\n\nThe evaluator uses JSON.parse because it always operates on short\nstrings. No need for a SAX parser here.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/39773bb0e5084f64fb8973a75b0c3c4f93abe989"},{"sha":"06abfcb8989f44e58e45be379632d4376886be3d","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProversCaller.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/06abfcb8989f44e58e45be379632d4376886be3d"},{"sha":"fb2c319c7cce96c35e06be8fe6f60da7d040c952","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add method: provers_via_api.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/fb2c319c7cce96c35e06be8fe6f60da7d040c952"},{"sha":"d07e32bfd3fe6571e81ce5122714f75ea74a3407","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Retrieve provers for an ontology.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/d07e32bfd3fe6571e81ce5122714f75ea74a3407"},{"sha":"6500aa5f93082337e20d37defc7aa06ce7575364","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add spec for provers retrieval when parsing.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/6500aa5f93082337e20d37defc7aa06ce7575364"},{"sha":"663246c8b57329aac68dfb2244b798d43f741959","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Always stub the provers call along with the dg call.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/663246c8b57329aac68dfb2244b798d43f741959"},{"sha":"36335a539f78a6d7f55b8f8ece52f621069ac5f7","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Fix typo in specroutes doc.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/36335a539f78a6d7f55b8f8ece52f621069ac5f7"},{"sha":"41a28e74548dbac9c1ee8f936906904fb91dda0c","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Fix routing: Put axioms, theorems before sentences.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/41a28e74548dbac9c1ee8f936906904fb91dda0c"},{"sha":"2fd88efc10e9ebf955b6fa407d0216faf4a51dfb","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Use axioms for used_axioms.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/2fd88efc10e9ebf955b6fa407d0216faf4a51dfb"},{"sha":"54a1f4b81d3db8dae3af04f4200ed7e14bf2543b","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Use Prover model in ProofAttempt instead its name.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/54a1f4b81d3db8dae3af04f4200ed7e14bf2543b"},{"sha":"d43b6e303a0cb8d7c1c211b430185bc546b15afe","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Adjust spec to use prover model.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/d43b6e303a0cb8d7c1c211b430185bc546b15afe"},{"sha":"0279e669517781f51a510bddf735a8d3c4e6d7d7","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Adjust factory to use Prover model.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/0279e669517781f51a510bddf735a8d3c4e6d7d7"}]}