Jason Gross

icon indicating a website link http://people.csail.mit.edu/jgross/ icon indicating an email [email protected]

icon company Machine Intelligence Research Institute icon location Berkeley, California, United States

Results 1162 comments of Jason Gross

Confusion between stdlib and stdlib-flambda when it fails

As far as I can tell https://github.com/coq/bot/blob/e838d62bd395390659d4aa4805841c163420eb54/src/actions.ml#L1007-L1012 seems fine ... I'm trying to find/recall where the library: / plugin: bits get chopped off

Confusion between stdlib and stdlib-flambda when it fails

The solution should be to just include `+` in https://github.com/coq/bot/blob/e838d62bd395390659d4aa4805841c163420eb54/src/actions.ml#L901 I don't have time to take care of & test this right now, unfortunately