{"push_id":945103273,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"488407fb4d8a8d2fa5e9aa30226750065eaff5ae","before":"e2ecb6ab468a0e448cbfd57a0d9f649987c8b3ca","commits":[{"sha":"488407fb4d8a8d2fa5e9aa30226750065eaff5ae","author":{"email":"9fd8de5fc2a7c2c0d469b2fff1afde4e5def37ba@metaworld.me","name":"George Karpenkov"},"message":"Removes methods for formula introspection.\n\nAs a result, UnsafeFormulaManager only contains \"visit\" implementation,\nwhich exists in a separate module purely for convenience in code\nsharing between different managers for the same solver.\nThus it is no longer exposed and renamed to the IntrospectionManager\n(however, the interface is removed and only the abstract base class\nremains).\n\nCloses #14.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/488407fb4d8a8d2fa5e9aa30226750065eaff5ae"}]}