Frama-C Eclipse plugin

I decided to finally go forward and publish my modifications of frama-c Eclipse plugin I'm doing at work. Moreover I decided to try git/github. Let's see how it goes. The project is here:

the future plans include
  • better graphics
  • more cleanup
  • offshelf support for recent Frama-C versions

No comments:

Post a Comment