{"ref":"refs/heads/master","commits":[{"author":{"name":"Fabian","email":"82296eb15e8045a1d569dd3417ad2c54f4c3eb07@gmail.com"},"sha":"2a1af52641a5a07bf72669e679ee101a8a07ac70","message":"[pf] Add quantifier names, harmonize assert/assume terms\n\n- s/Voraussetzung/Annahme\n- mention Assertion and Assumption as alternative terms for the German\n  translations only once","url":"https://api.github.com/repos/PSE-WS11/worthwhile/commits/2a1af52641a5a07bf72669e679ee101a8a07ac70"},{"author":{"name":"Fabian","email":"82296eb15e8045a1d569dd3417ad2c54f4c3eb07@gmail.com"},"sha":"dd08f9dcddb9d4f63bca04e3712f09d202b4d877","message":"[pf] Break semantics of requires/ensures from annotation syntax","url":"https://api.github.com/repos/PSE-WS11/worthwhile/commits/dd08f9dcddb9d4f63bca04e3712f09d202b4d877"},{"author":{"name":"Fabian","email":"82296eb15e8045a1d569dd3417ad2c54f4c3eb07@gmail.com"},"sha":"0921cbd60856407dec21069b79da333c8d56191e","message":"[pf] Use Funktion instead of Methode throughout the text","url":"https://api.github.com/repos/PSE-WS11/worthwhile/commits/0921cbd60856407dec21069b79da333c8d56191e"}],"head":"0921cbd60856407dec21069b79da333c8d56191e","push_id":50716919,"size":3}