{"push_id":2938925321,"size":2,"distinct_size":2,"ref":"refs/heads/hybrid","head":"20c4af77990e1877b6f35a6df3fa143e60922143","before":"8ab43f34e6018ea072b1ac7afe3a4ac22ac77e2b","commits":[{"sha":"4ffe395dd6a74b3663d6ce9c9ffb7b6f45672deb","author":{"name":"miquel.ramirez@gmail.com","email":"d5dfb2f6c16180857d3b5406bb002832cb9f34d8@gmail.com"},"message":"RDDL translation\n\n - Added maps for more built-in functions\n - New feature: product() language construct allows to specify products\nover sequences of expressions parametrised over a variable","distinct":true,"url":"https://api.github.com/repos/aig-upf/tarski/commits/4ffe395dd6a74b3663d6ce9c9ffb7b6f45672deb"},{"sha":"20c4af77990e1877b6f35a6df3fa143e60922143","author":{"name":"miquel.ramirez@gmail.com","email":"d5dfb2f6c16180857d3b5406bb002832cb9f34d8@gmail.com"},"message":"New Features and RDDL Parsing\n\n - New built-in: Gamma() random variables\n - RDDL Parser: added mappings for exp(), max() and gamma()\n - RDDL Parser: now handles forall()\n - RDDL Parser: summing and multiplying of atoms is now supported by\nrewriting them into ite's\n - Improve clarity of some exception messages\n - Fixed issue with sort of ite() not being correctly defined when\nbranches codomains are related by inheritance\n - Reservoir domain: reformulated reward function so it doesn't refer\n\"future\" values","distinct":true,"url":"https://api.github.com/repos/aig-upf/tarski/commits/20c4af77990e1877b6f35a6df3fa143e60922143"}]}
{"actor":{"display_login":"miquelramirez"}}