{"push_id":2537670277,"size":9,"distinct_size":9,"ref":"refs/heads/windows-support","head":"459d870e5a958fd8a21e2e99d017d7aad58a4ac3","before":"a34f6e02f363d48d7076e0f36ffce1446f4b881e","commits":[{"sha":"df23169678ccb63788242d5506116532c2e9c09d","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Removed checking for missing nonffi. It is now required to be defined and we provide a default function: default-nonffi.","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/df23169678ccb63788242d5506116532c2e9c09d"},{"sha":"6a944563e1130f99c1222cc45cf2985747d87db6","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Updated to better racket functions","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/6a944563e1130f99c1222cc45cf2985747d87db6"},{"sha":"1be8c75a9f65b3a310951ab790cea139f24be948","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Better contract for table-remove!","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/1be8c75a9f65b3a310951ab790cea139f24be948"},{"sha":"004e712bd02d18b015f08d6b0d5fa28f7cbb3653","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Added TODO about fixing flags","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/004e712bd02d18b015f08d6b0d5fa28f7cbb3653"},{"sha":"c2574562a54703b93f9b30685091a303bfcb5b8a","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Removed unused import","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/c2574562a54703b93f9b30685091a303bfcb5b8a"},{"sha":"93eef9a35861676d7c51dd0284b794db2c3e0ccc","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Better name for checking operators and syntax clarifications","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/93eef9a35861676d7c51dd0284b794db2c3e0ccc"},{"sha":"d0e9d6fea1c940ec0a471e1c135128d55d23f839","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Only prune rulesets if the output includes a disabled function","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/d0e9d6fea1c940ec0a471e1c135128d55d23f839"},{"sha":"68e650beebb1f18d4908fcf4175c0de95e49e4b8","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Reverted unused code change","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/68e650beebb1f18d4908fcf4175c0de95e49e4b8"},{"sha":"459d870e5a958fd8a21e2e99d017d7aad58a4ac3","author":{"name":"DavidThien","email":"a316dc62177bf9acf957db768606eb19088ef2aa@cs.washington.edu"},"message":"Fixed the ffi lookup fail lambda to use apply instead of passing in a list of values. This lets us use lambdas instead of match-lambda.","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/459d870e5a958fd8a21e2e99d017d7aad58a4ac3"}]}
{"actor":{"display_login":"DavidThien"}}