{"push_id":3160630915,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ff9f2e1fa1f404bccb8c1adac3528a94f64628d5","before":"fcaa011b84d14c78be3de966dfaf19f6af0c015b","commits":[{"sha":"ff9f2e1fa1f404bccb8c1adac3528a94f64628d5","author":{"name":"AndraStana","email":"cbde4564f73e63af138bc3079865a490fcc3f28a@yahoo.com"},"message":"- Added print_typ and print_fieldlist functions\n\n- Moved exceptions from \"evaluator\" to \"expressions\" as they were not accesible from expressions\n- Temporary commented the well-typed expressions","distinct":true,"url":"https://api.github.com/repos/AndraStana/FormalMethods/commits/ff9f2e1fa1f404bccb8c1adac3528a94f64628d5"}]}
{"actor":{"display_login":"AndraStana"}}