Written by
Nickolay Shmyrev
on
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:
http://github.com/frama-c-eclipse/frama-c-eclipse/tree/masterthe future plans include
- better graphics
- more cleanup
- offshelf support for recent Frama-C versions