{"push_id":538547419,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"81177c64cb81aebeb39c9049d4f131cc6e1647e5","before":"370f243c67147dbd917ab07212104d59109d5e4d","commits":[{"sha":"81177c64cb81aebeb39c9049d4f131cc6e1647e5","author":{"email":"2dc2ef521d62ba2cd7d0e779973b3d91cf28773a@gmail.com","name":"Markus Wolf"},"message":"support for IVARs in uniqueness algorithm","distinct":true,"url":"https://api.github.com/repos/mwolf76/gnuSMV/commits/81177c64cb81aebeb39c9049d4f131cc6e1647e5"}]}