{"push_id":606477906,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"30eacf5ffc11370c659cbbb7661df6c0745f99b8","before":"1c998d825253fcfb974727d284a686e93ab4a99e","commits":[{"sha":"30eacf5ffc11370c659cbbb7661df6c0745f99b8","author":{"email":"5d372e3b1e09a479551e4c9c7fc29f379f141a40@gmail.com","name":"Alberto Casagrande"},"message":"Added LTL model checking, renamed Atom in AtomicProposition\n\nImplemented the algorithm by Lichtenstein and Pnueli for LTL model\nchecking.\nAdded tests for the LTL model checking.\nRenamed Atom in AtomicProposition to avoid confusion with the tableu\natoms.\nFixed a bug in the DiGraph class that avoids to add an edge whose\nsource is not in the DiGraph.\nRemoved member ‘_nodes’ from DiGraph.\nAdded member ‘height’ in CTLS.Formula.\nImproved CTL model checking tests.\nUpdated the example in README.md.","distinct":true,"url":"https://api.github.com/repos/albertocasagrande/pyModelChecking/commits/30eacf5ffc11370c659cbbb7661df6c0745f99b8"}]}