Frama-c linux

Cerrado
ez-rmk Mensajes enviados 5 Fecha de inscripción sábado, 10 de abril de 2010 Estatus Miembro Última intervención domingo, 18 de abril de 2010 - 12 abr 2010 a las 21:31
ez-rmk Mensajes enviados 5 Fecha de inscripción sábado, 10 de abril de 2010 Estatus Miembro Última intervención domingo, 18 de abril de 2010 - 14 abr 2010 a las 23:35
Buenas Gente!!,mi problema es el siguiente: intento utilizar el Frama-c y no puedo. lo abre pero no se como cargar un nuevo proyecto para empezar a programar, no me deja, me aparece siempre la misma ventana "Please select a file in the left panel or start a new project".Intente de mil maneras y no hay caso. :(... espero que me puedame ayudar. Gracias!

si saben de algun otro programa para linux ubuntu 9.10 en C joya.

Consulta también:

2 respuestas

Frama-C solamente puede servir para la *verificación* de los C programas. No puede ser utilizado para programar.

Para programar en C, personalmente recomendaría Emacs.

[apologies, I have not used Spanish in 15 years]
0
ez-rmk Mensajes enviados 5 Fecha de inscripción sábado, 10 de abril de 2010 Estatus Miembro Última intervención domingo, 18 de abril de 2010
14 abr 2010 a las 23:35
Gracias pa. Ya lo prueboo^^
0