{"push_id":619195997,"size":14,"distinct_size":1,"ref":"refs/heads/master","head":"07f1d13d08addafdc75f13c0fca7ba56037f8300","before":"faf9978af89cf851b6872d9a58b298f41717c30b","commits":[{"sha":"f8c74d6c3e7c74aeb97c436f6ff2caad66da3a03","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Advanced on D-proof generation\n\nProgress on the first-order linear logic formula to D formula\ntranslation. Needs to be completed and tested.","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/f8c74d6c3e7c74aeb97c436f6ff2caad66da3a03"},{"sha":"1dd0fcc0c1d24384d66df8dd03e8b3cb26569d01","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Completed linear_to_displacement\n\nPreliminary tests work. Needs a lot more testing.","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/1dd0fcc0c1d24384d66df8dd03e8b3cb26569d01"},{"sha":"08bdd7047eb6296548b1cb982b7ef9f949b8ca6e","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Close to a working version of displacement proof generation\n\nWorks in simple cases. Need to add synthetic rules and things go wrong\nfor more complex cases.","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/08bdd7047eb6296548b1cb982b7ef9f949b8ca6e"},{"sha":"65e5351f20190c794cea15783f32823cb8b77682","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Added missing cases and corrected errors\n\nd_concat now has a special case for when the first argument is variable\n(preventing infinite backtracking)","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/65e5351f20190c794cea15783f32823cb8b77682"},{"sha":"727a972826c43a864ee9c4c6dd67e8f47a537b94","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Added bridge elimination","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/727a972826c43a864ee9c4c6dd67e8f47a537b94"},{"sha":"10e206ee1d84effeaef8c91d643b5be5c4be7118","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Some corrections, improvements and refactoring\n\nProblems persist with “himself2”","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/10e206ee1d84effeaef8c91d643b5be5c4be7118"},{"sha":"baddd52b6dfa0a41e99d0ff14eae4cf7b221d7d9","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Minor cleanup","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/baddd52b6dfa0a41e99d0ff14eae4cf7b221d7d9"},{"sha":"808aeedc8260f9937749f079b4be6daaf91aefbf","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Updated test(12) parse times","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/808aeedc8260f9937749f079b4be6daaf91aefbf"},{"sha":"15840539bcded6f45b14ecea38413f75c82043f1","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Some progress on D proof generation","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/15840539bcded6f45b14ecea38413f75c82043f1"},{"sha":"726b34fcdd156e13d5e8045853e19a0b4ae38a61","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Merge pull request #21 from RichardMoot/d_devel\n\nD devel","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/726b34fcdd156e13d5e8045853e19a0b4ae38a61"},{"sha":"31de1aace8c5ca2745e71e9199ed140a3fe90e45","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Corrected error in withdraw_hypothesis\n\nOnly remaining errors are the reflexives. Finds a proof for test(24),\nwhich it shouldn’t, but not for test(23) which it should","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/31de1aace8c5ca2745e71e9199ed140a3fe90e45"},{"sha":"c69765f538e745aab0f267757b2fc58d6e930db2","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Cleanup","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/c69765f538e745aab0f267757b2fc58d6e930db2"},{"sha":"ec9e098f744f3c83f0b28dd06524b73cea8c478f","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Made proof generation more versatil","distinct":false,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/ec9e098f744f3c83f0b28dd06524b73cea8c478f"},{"sha":"07f1d13d08addafdc75f13c0fca7ba56037f8300","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Merge pull request #22 from RichardMoot/displacement\n\nDisplacement","distinct":true,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/07f1d13d08addafdc75f13c0fca7ba56037f8300"}]}