{"push_id":550751924,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"bcbc2d9a6fe329f4d7aa53034bb6f53e35eee07c","before":"f25628be86170effddb47b05b05a70ef42433557","commits":[{"sha":"9b49b2c0132dac8a9797c148e6729b77460d0c6f","author":{"email":"4eb735c44b49811713d7851f4bd762f08eb307bc@estudiante.uam.es","name":"Pedro Valero"},"message":"This changes let the program do the folowing tasks:\n- Checks if the net is a Petri net or not and stop the execution of the program if the\nalgorithm requires a Petri net and we haven't got one.\n- Checks the variables never go below 0\n- Checks that there are not two constraints over the same variable in the same state.\n- Checks that there are now two constraints over the same variable in the init section.\n- When the net is correct, works as usual.\n\nI have also added some regression tests that I have been using while developing this\npart of the tool.\n\nThe changes has been tested with the python script created some months ago.","distinct":true,"url":"https://api.github.com/repos/pierreganty/mist/commits/9b49b2c0132dac8a9797c148e6729b77460d0c6f"},{"sha":"b53b2ac4067800a2cce169f200d07999d35cd791","author":{"email":"4eb735c44b49811713d7851f4bd762f08eb307bc@estudiante.uam.es","name":"Pedro Valero"},"message":"renamed variable","distinct":true,"url":"https://api.github.com/repos/pierreganty/mist/commits/b53b2ac4067800a2cce169f200d07999d35cd791"},{"sha":"a62c7be719e5a6db89f1e797093f2ee9944203d2","author":{"email":"4eb735c44b49811713d7851f4bd762f08eb307bc@estudiante.uam.es","name":"Pedro Valero"},"message":"Added comments","distinct":true,"url":"https://api.github.com/repos/pierreganty/mist/commits/a62c7be719e5a6db89f1e797093f2ee9944203d2"},{"sha":"bcbc2d9a6fe329f4d7aa53034bb6f53e35eee07c","author":{"email":"6d58bf0b817c6f06139add59dea30f12fc0c81a8@gmail.com","name":"pierreganty"},"message":"Merge pull request #12 from pevalme/valid_net_checker\n\nchecking the network correctness","distinct":true,"url":"https://api.github.com/repos/pierreganty/mist/commits/bcbc2d9a6fe329f4d7aa53034bb6f53e35eee07c"}]}