{"push_id":630925847,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"a5bc3d166b83e16953aeb0ff397e7144253317e3","before":"849d25174baa33d93c00a772eec5d8c528210d5d","commits":[{"sha":"f4e6edd003023bf8e27ce25502a4ae36480fb24c","author":{"email":"c579e6b8d4b45d548964f3a7d38442341a5cb9b0@gmail.com","name":"shaolintl"},"message":"finished modular propositional binary resolution\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9778 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/f4e6edd003023bf8e27ce25502a4ae36480fb24c"},{"sha":"cd509c79f3c2e346c358f2b107d9bd2c4b65f690","author":{"email":"c579e6b8d4b45d548964f3a7d38442341a5cb9b0@gmail.com","name":"shaolintl"},"message":"added a prover.script and a tests folder\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9781 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/cd509c79f3c2e346c358f2b107d9bd2c4b65f690"},{"sha":"9148a3e753b59cb0972afa7a1a4b49aed377011d","author":{"email":"c579e6b8d4b45d548964f3a7d38442341a5cb9b0@gmail.com","name":"shaolintl"},"message":"added fol resolution in a modular way\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9782 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/9148a3e753b59cb0972afa7a1a4b49aed377011d"},{"sha":"770de84e4eaa76aba3cacc576404af326d0f9c0c","author":{"email":"c579e6b8d4b45d548964f3a7d38442341a5cb9b0@gmail.com","name":"shaolintl"},"message":"the choice of which kernel to use is now given in the certificate. We still need to add polarization\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9788 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/770de84e4eaa76aba3cacc576404af326d0f9c0c"},{"sha":"aa50171451b39828cde3887f527a05520656d162","author":{"email":"c579e6b8d4b45d548964f3a7d38442341a5cb9b0@gmail.com","name":"shaolintl"},"message":"added a README\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9789 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/aa50171451b39828cde3887f527a05520656d162"},{"sha":"e258cbd44f166c3daa4ae8f55b1c889a9543e016","author":{"email":"c579e6b8d4b45d548964f3a7d38442341a5cb9b0@gmail.com","name":"shaolintl"},"message":"fixed\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9790 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/e258cbd44f166c3daa4ae8f55b1c889a9543e016"},{"sha":"a5bc3d166b83e16953aeb0ff397e7144253317e3","author":{"email":"ea7692f0ed5eff8231bf59dc3398bed13c9bc5f3@gmail.com","name":"Giselle Reis"},"message":"Minimal parser for E-prover's tstp output\n\nFirst implementation of a parser for tstp proofs.\nThere are probably many elements missing, but this\nwill parse a simple example.\n\ngit-svn-id: https://scm.gforge.inria.fr/svn/parsifal/code/proverif@9987 ae10dad5-531c-0410-a33e-f483eea19440","distinct":true,"url":"https://api.github.com/repos/gisellemnr/proverif/commits/a5bc3d166b83e16953aeb0ff397e7144253317e3"}]}