{"push_id":632156759,"size":84,"distinct_size":19,"ref":"refs/heads/1284-show_theorem_and_proof_attempt_state","head":"1268e6257cbf8b85159c5b1fadb271b2be9d6b0d","before":"6b66e507fd001ccb0cb4521c96f4a7a4eb3a9b88","commits":[{"sha":"bcc6bd424f705d2c9bd92c995870c9d0ecec2b1d","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Fix time taken being negative.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/bcc6bd424f705d2c9bd92c995870c9d0ecec2b1d"},{"sha":"d8b15866c76494792de704c409db31f73646f3b9","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Put form back into new-template.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/d8b15866c76494792de704c409db31f73646f3b9"},{"sha":"252ac9f8240c04cbb539302ca9d8c5f52215e668","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Distribute provers into columns.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/252ac9f8240c04cbb539302ca9d8c5f52215e668"},{"sha":"075648bfa035a8d0ce9f772fe018a9f60310a80a","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Have same size on all viewports for timeout.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/075648bfa035a8d0ce9f772fe018a9f60310a80a"},{"sha":"79a1222ab7ecf23d2cb39f8e59bf407ef17a0f21","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add select all/none buttons.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/79a1222ab7ecf23d2cb39f8e59bf407ef17a0f21"},{"sha":"bdc6dc589e6bb70f53c8ee4c3a3f522bad98f94d","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Rename *_with_hash to *_from_hash.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/bdc6dc589e6bb70f53c8ee4c3a3f522bad98f94d"},{"sha":"e718ce021a15e51ebc7f6051c85dec9f00467a75","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1313 from ontohub/fix_proving_took_negative_time\n\nFix time taken being negative.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/e718ce021a15e51ebc7f6051c85dec9f00467a75"},{"sha":"9508ac04816fa12727c78fab593b56eba74d5b0c","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Merge pull request #1315 from ontohub/1276-improve_selection_of_provers\n\n1276 improve selection of provers","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/9508ac04816fa12727c78fab593b56eba74d5b0c"},{"sha":"d9f4911fca796b9b70e86d86fee6e0df241825a2","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Seed proofs\n\nIn the seeds, proving has to be done synchronously. Before, the Proof\nclass only supported asynchronous proving.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/d9f4911fca796b9b70e86d86fee6e0df241825a2"},{"sha":"cb59d5d9b27b7c83120d7402d43f800c1046373f","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add locid and number to ProofAttemptConfiguration.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/cb59d5d9b27b7c83120d7402d43f800c1046373f"},{"sha":"bc3a2caac7180aeb5771bb87e9e1d1bf7b7e8dbe","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add locid to ProofStatus.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/bc3a2caac7180aeb5771bb87e9e1d1bf7b7e8dbe"},{"sha":"9b7cd92c21c689efe7ccb67f433767b190605085","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add locid to LogicMapping.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/9b7cd92c21c689efe7ccb67f433767b190605085"},{"sha":"3f7848764d5b60c018200d9c3ccf01c2c4061ad7","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add API ProofAttemptConfigurationsController and its routes.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/3f7848764d5b60c018200d9c3ccf01c2c4061ad7"},{"sha":"6becb3985fc379af4afeb81d0382757301d48551","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add API ProofAttemptConfigurationsController spec.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/6becb3985fc379af4afeb81d0382757301d48551"},{"sha":"5d9b6e5b068dabc1c90ea4e984a908044d6dfdf7","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProofAttemptConfigurationSerializer.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/5d9b6e5b068dabc1c90ea4e984a908044d6dfdf7"},{"sha":"0b695bc63c5002f9268f2487b9e0f6a1a169e62f","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add GeneratedAxiomSerializer.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/0b695bc63c5002f9268f2487b9e0f6a1a169e62f"},{"sha":"4aa58108798caa1be4131202165ee6f2a4a9b810","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProofStatusSerializer.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/4aa58108798caa1be4131202165ee6f2a4a9b810"},{"sha":"0246b6cf132b5197d27513d20960c5e6e19a6b70","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProofAttemptSerializer.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/0246b6cf132b5197d27513d20960c5e6e19a6b70"},{"sha":"e5d3ae3ce2c39f5111a787f6010ded37a099b675","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add ProverOutputSerializer.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/e5d3ae3ce2c39f5111a787f6010ded37a099b675"},{"sha":"588abf02e05cafdbf09a66fa719419703ebff116","author":{"email":"33a3b74deb411f81ac74904a5b7dd17f4eee68e7@informatik.uni-bremen.de","name":"Eugen Kuksa"},"message":"Add API TheoremsController spec.","distinct":false,"url":"https://api.github.com/repos/ontohub/ontohub/commits/588abf02e05cafdbf09a66fa719419703ebff116"}]}