{"push_id":805535596,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"5e6e19add96e7e2c9a57be38892d65fdbde67058","before":"1e8b2c7bac69f02bcd1485af94b2bf68122b8069","commits":[{"sha":"9d54a4efdfb5d797289c7e8f0f1ce4e5f1fbddf2","author":{"email":"421d9f7af1f6e2672602ac014696b8ea6d7a5320@st.informatik.tu-darmstadt.de","name":"Sylvia Grewe"},"message":"fixed recursion order and a couple of other minor things in CollectInfo traits","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/9d54a4efdfb5d797289c7e8f0f1ce4e5f1fbddf2"},{"sha":"d9f0b0ff43769d575cd50dd49ad60d113122287c","author":{"email":"421d9f7af1f6e2672602ac014696b8ea6d7a5320@st.informatik.tu-darmstadt.de","name":"Sylvia Grewe"},"message":"fixed issues in CollectSubformulas/NameSubformulas\n\n- most importantly: now correct treatment of forall/exists judgment\n- fixed some structural issues","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/d9f0b0ff43769d575cd50dd49ad60d113122287c"},{"sha":"5e6e19add96e7e2c9a57be38892d65fdbde67058","author":{"email":"421d9f7af1f6e2672602ac014696b8ea6d7a5320@st.informatik.tu-darmstadt.de","name":"Sylvia Grewe"},"message":"wrote a couple of new concrete implementations of NameSubformulas\n\nalso tested\nTODO: complete transformation that equals treatment of functions from old Veritas implementation (current issue: renaming only on left-hand side of function equation/bi-implication??)","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/5e6e19add96e7e2c9a57be38892d65fdbde67058"}]}