Is out there anything like Frama-C(frama-c.com) for Vala? Yes i could use Frama-C over the C generated code, but it would diminish the convenient abstraction that Vala provides
Mario Daniel Ruiz Saavedra Estudiante Ing. Sistemas - Uninorte mru...@uninorte.edu.co - identi.ca/desiderantes _______________________________________________ vala-list mailing list vala-list@gnome.org https://mail.gnome.org/mailman/listinfo/vala-list