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

Reply via email to