{"push_id":594132688,"size":55,"distinct_size":1,"ref":"refs/heads/master","head":"117c2e27ef12bbba3f71f19cb62f052bed2a4dcc","before":"fd4fba205238f03054fdb3d630f4372a19b56dbd","commits":[{"sha":"1c7c4699d9dd23b0d2b18404a7946331f1ff2ca7","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"fixed regressions\n\nin eCos and Linux use hard constraints for defaults\nin resolution, cannot use X because it's a reserved keyword in\nbehavioral  Clafer","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/1c7c4699d9dd23b0d2b18404a7946331f1ff2ca7"},{"sha":"0e1b1622d927bdf53e811352541075f077123f94","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"Fixed ClaferIR.xsd and XML validation now works","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/0e1b1622d927bdf53e811352541075f077123f94"},{"sha":"bfe23444c59d20bbc9255002d45de7de61228a64","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"updated test case and regressions\n\ncannot use identifier F because it is a keyword in behavioral Clafer","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/bfe23444c59d20bbc9255002d45de7de61228a64"},{"sha":"365c50e27993c47603fbcd831e3662a61f657981","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"updated regressions\n\nto remove spourious differences","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/365c50e27993c47603fbcd831e3662a61f657981"},{"sha":"acd72d45f7c32f946e4afd115163ed7dad0defb8","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"added product unary operator\n\n\"product Failure.probability\"  computes p$1* p$2 * ... * p$n of all\nfailures","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/acd72d45f7c32f946e4afd115163ed7dad0defb8"},{"sha":"6bc94e1ed72f2744947587469b71748590430f77","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"assertion generation for Alloy\n\nregression fails because the check commands must have the same scopes as\nthe run command.","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/6bc94e1ed72f2744947587469b71748590430f77"},{"sha":"0ec1385279cfadb70014a7392e6f1af3759f6b26","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"Alloy42 default in ClaferArgs","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/0ec1385279cfadb70014a7392e6f1af3759f6b26"},{"sha":"e05f07de535cd0477211114932eaf765c6ee9a16","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"nested inheritance matching + nesting, refinement, redefinition checks","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/e05f07de535cd0477211114932eaf765c6ee9a16"},{"sha":"40a48028d1731ebf54a0dec4c30e88ba3fc5ea45","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"Updated develop to work with the new version of custom BNFC tool","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/40a48028d1731ebf54a0dec4c30e88ba3fc5ea45"},{"sha":"a254e2c3ddf2428399eeb18f9388b21199c0b85a","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"added GenEnv to Alloy generator\n\nGenEnv contains clafer args and uidIClaferMap","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/a254e2c3ddf2428399eeb18f9388b21199c0b85a"},{"sha":"f593008ef0dce0cabd2cc942f5a3adeaf6d36640","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"added scopes generation for assertions check statement","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/f593008ef0dce0cabd2cc942f5a3adeaf6d36640"},{"sha":"fefd99fc8957ace1f37f039bff1ce8ee1f226ee9","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"fixed assertions and scopes test case and regressions\n\nAll assertions are now valid","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/fefd99fc8957ace1f37f039bff1ce8ee1f226ee9"},{"sha":"95ccb760ec7e666dec60a29440b4ae2a833dfec2","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"drop MaybeT dependency\n\nuse transformers' Control.Monad.Trans.Maybe instead","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/95ccb760ec7e666dec60a29440b4ae2a833dfec2"},{"sha":"31c500b9bbf2168785b3a39c428a405a8eedcc6a","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"product operator check (no Alloy output) and product generation for Choco","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/31c500b9bbf2168785b3a39c428a405a8eedcc6a"},{"sha":"b8686464f3d18e3cf5fbb8b8facbd23d7301cd47","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"merged develop/regen grammar","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/b8686464f3d18e3cf5fbb8b8facbd23d7301cd47"},{"sha":"b28b47fbe934ca377dd52f2e3f2fc87e5e2e5842","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"added a check for a reference to real","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/b28b47fbe934ca377dd52f2e3f2fc87e5e2e5842"},{"sha":"2cf8c4961816b4b5ae1d83d6719c2736e4566c6c","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"fixed check message, added test case for product","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/2cf8c4961816b4b5ae1d83d6719c2736e4566c6c"},{"sha":"4445e80fa78a5d9c20da2f6985f488d0712711ad","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"regressions for positive/product.cfr","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/4445e80fa78a5d9c20da2f6985f488d0712711ad"},{"sha":"44d9158bd4d701a89baf9a62520bbdb05f88ce3b","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"Merge pull request #61 from gsdlab/product\n\nProduct operator","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/44d9158bd4d701a89baf9a62520bbdb05f88ce3b"},{"sha":"42034fc1b099dbf3248f0f88475d5a3f37560638","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"correct root for UIDIClafer map, fixed minor inconsistencies with behavioral","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/42034fc1b099dbf3248f0f88475d5a3f37560638"}]}