{"push_id":1131927660,"size":1,"distinct_size":1,"ref":"refs/heads/array_rebase","head":"3ca5d81fe2845403f60f366e2ad720944517006f","before":"a82e32c00af16ff241635842e11abe9d1dabcde1","commits":[{"sha":"3ca5d81fe2845403f60f366e2ad720944517006f","author":{"name":"Marco Gario","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Arrays: Completed support in CVC4 and BTOR\n\n- Added tricky examples + Improved type-checking\n- CVC4 and BTOR do not support const_arrays.\n- CVC4 has partial support, when *returning* a model, but not when\n  defining a formula.\n- CVC4 implementation is based on the proposal by @satyauppalapati\n- BTOR supports only Arrays from BV to BV","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/3ca5d81fe2845403f60f366e2ad720944517006f"}]}
{"actor":{"display_login":"marcogario"}}