On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb <at...@galois.com> wrote: > Hello, > > I'm wondering whether there's anyone on the list with an interest in doing > additional work on the Language.C library for the Summer of Code. There are > a few enhancements that I'd be very interested seeing, and I'd love be a > mentor for such a project if there's a student interested in working on > them.
Here's another suggestion: A transformer to convert Language.C's AST to RTL, thus hiding a lot of tedious details like structures, case statements, variable declarations, typedefs, etc. I started writing a model checker [1] based on Language.C, but got so bogged down in all the details of C I lost interest. -Tom [1] http://hackage.haskell.org/package/afv _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
