{"push_id":871574158,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"210a83bae0149180e974f042179d0bf5f21321d5","before":"bdca60c15699fd4a0ef39f109b86299c79960680","commits":[{"sha":"520718db583711e5d6739684d07b188b98189138","author":{"email":"356725ed11e4325e267a1fa14c4c1f9a2dafeb1f@gmail.com","name":"simoneclr"},"message":"Refactored the 'substitute' method of FoLtl formula (removed the unused domain parameter)","distinct":true,"url":"https://api.github.com/repos/simoneclr/First-order-LTL-monitoring/commits/520718db583711e5d6739684d07b188b98189138"},{"sha":"dadf27d1e6940ed69cefeaf94f33d1cbcf4120ed","author":{"email":"356725ed11e4325e267a1fa14c4c1f9a2dafeb1f@gmail.com","name":"simoneclr"},"message":"Implemented satisfiability method for FoLtlLocalFormula","distinct":true,"url":"https://api.github.com/repos/simoneclr/First-order-LTL-monitoring/commits/dadf27d1e6940ed69cefeaf94f33d1cbcf4120ed"},{"sha":"210a83bae0149180e974f042179d0bf5f21321d5","author":{"email":"356725ed11e4325e267a1fa14c4c1f9a2dafeb1f@gmail.com","name":"simoneclr"},"message":"Refactor: changed return type of quantifierExpansion method to FoLtlLocalFormula","distinct":true,"url":"https://api.github.com/repos/simoneclr/First-order-LTL-monitoring/commits/210a83bae0149180e974f042179d0bf5f21321d5"}]}