{"shas":[["3aec7b7bbcbab9c1563194b82374365db9c75608","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","new type synonym: Binding","Ilya Klyuchnikov"],["bd8beb231594dde6db24fc6d308e62e0b2a37253","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","var - shortcut for constructing variables with empty restrictions","Ilya Klyuchnikov"],["3adcbad9379b6be62371833bae97b0ed9ac63bc9","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","positive MGU is simplified (using tricks)","Ilya Klyuchnikov"],["b038c55631a542020f468e78566f1d61c1e52989","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","// - simplified","Ilya Klyuchnikov"],["55fc8bf71424840bc31bf92d0bc3ad8a03ab3d4c","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","code clean up: simplifications","Ilya Klyuchnikov"],["9e6a780a3929d9bbd7dc51106744e2b733f1a3eb","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","Parsing is moved into DataIO","Ilya Klyuchnikov"],["6db52ec09e30fe6c28af5283a553fd56c3cde313","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","pretty names when showing results","Ilya Klyuchnikov"],["7d424e80d29e269ff39a3d9e547a46aa41e6f321","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","more simplifications in driving module","Ilya Klyuchnikov"],["622e8ad4de9b8c8e7e42afef82ed2b12e83fa1db","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","counting names in TestEq","Ilya Klyuchnikov"],["158b53db22c918ac2dfe8d9b1c74fe1eebf62ff6","476140d78e3c6bb1cfd240432c7bcc6e2758e79f@gmail.com","small clean up","Ilya Klyuchnikov"]],"ref":"refs/heads/master","size":10,"head":"158b53db22c918ac2dfe8d9b1c74fe1eebf62ff6","push_id":33772887}