{"push_id":921403163,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"9206bf92b4d52c19d0d8659b4f7ee9a8f7c6f0c5","before":"1365e2cefe789ee5ae4edcf4155bccf67af0ffcf","commits":[{"sha":"c1c9a17d6a2005d143f924c5503a073b9847bd78","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"remove `proof` mode\n\nit will not be sound with polarization-based transformations, because\nthose do not preserve satisfiability (only the ability to translate a\nmodel back).","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/c1c9a17d6a2005d143f924c5503a073b9847bd78"},{"sha":"9206bf92b4d52c19d0d8659b4f7ee9a8f7c6f0c5","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"doc about handling of inductive predicates","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/9206bf92b4d52c19d0d8659b4f7ee9a8f7c6f0c5"}]}