Oliver Flatt

This is really cool. I think all of these ideas are great, it is just a matter of the syntax. I think adding another struct/\* form would be fine, or...

Update on status: - I solved the performance issue with this branch. It now re-runs simplification to get a proof at the end. - We still don't get proofs from...

TODOs: - [x] Run nightlies - [x] Validate performance acceptable (10% is ok) - [x] Fix up batches of simplify calls from one alt - [x] Do we need to...

Thanks for getting back quickly, I am using v6.2.900.17 _-Oliver Flatt_ On Tue, Oct 6, 2015 at 10:03 PM, Benjamin Greenman wrote: > > Understood! Thanks for reporting. > >...

Thank you! On Sun, Oct 11, 2015, 10:58 PM Benjamin Greenman [email protected] wrote: > Ok, you should be able to install ipoe through master now. > > — > Reply...

Hello, I got it installed. How can I use ipoe commands through drracket? thank you _-Oliver Flatt_ On Mon, Oct 12, 2015 at 6:36 AM, Oliver Flatt [email protected] wrote: >...

Thanks, I'm pretty busy right now, tell me if you ever look into that On Tue, Oct 20, 2015, 11:51 PM Benjamin Greenman [email protected] wrote: > Hmm, I'm not sure...

Thanks, I'll try that! On Fri, Oct 30, 2015, 10:12 AM Benjamin Greenman [email protected] wrote: > Things are a little better now. When you run in Dr. Racket, you should...

I was under the impression that `ssa.py` should insert these `__undefined` variable references, and so this is a bug. I'd also worry that your patch would hide this bug for...