Re: [creduce-dev] Creduce example with potential improvements

[John Regehr <regehr@cs.utah.edu>]

I was sure we had a class -> struct transformer but it looks like not, 
will see if we can do that one. We do a lot of similar stuff.

Russell, your list is great, the problem is we've all moved onto other 
jobs or projects and it's hard to find time for active C-Reduce development.

John


On 10/10/2018 10:13 AM, Reid Kleckner wrote:
> On Wed, Oct 10, 2018 at 5:47 AM Russell Gallop <russell.gallop@gmail.com 
> <mailto:russell.gallop@gmail.com>> wrote:
>
>     * Replacing class { public: ... } with struct { ... }. This should
>     be equivalent and reduces the number of tokens.
>
>
> This last one is really simple, I do it a lot, and I'd love to see it 
> upstream. The rest seem tricky, but would be great if someone finds the 
> time.