{"push_id":682795170,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"80809e19f1b430eb73b372d52cb7c22bf91429c0","before":"cd8fa5138d27c2fe92f895c84ac7592785187ca7","commits":[{"sha":"f28f47e441f9786a3a63d0a1978957788802190e","author":{"email":"485aef14e123fc36449079998664601e153c5ac6@gmx.at","name":"Markus Triska"},"message":"ENHANCED: dif/2: Early failure in obvious cases. Ulrich Neumerkel.\n\nPreviously:\n\n   ?- time((between(1,1000000,_),dif(X,X))).\n   %@ % 9,000,001 inferences, 0.328 CPU in 0.329 seconds (100% CPU, 27452419 Lips)\n   %@ false.\n\nNow:\n\n   ?- time((between(1,1000000,_),dif(X,X))).\n   %@ % 2,000,003 inferences, 0.082 CPU in 0.082 seconds (100% CPU, 24351378 Lips)\n   %@ false.","distinct":true,"url":"https://api.github.com/repos/SWI-Prolog/swipl-devel/commits/f28f47e441f9786a3a63d0a1978957788802190e"},{"sha":"80809e19f1b430eb73b372d52cb7c22bf91429c0","author":{"email":"485aef14e123fc36449079998664601e153c5ac6@gmx.at","name":"Markus Triska"},"message":"cumulative/2: elastic reasoning for end times and more flexible propagation","distinct":true,"url":"https://api.github.com/repos/SWI-Prolog/swipl-devel/commits/80809e19f1b430eb73b372d52cb7c22bf91429c0"}]}