Frama-C for Windows

ID0001053: This issue was created automatically from Mantis Issue 1053. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001053	Frama-C	Kernel	public	2011-12-16	2012-04-18

Reporter	naveugene	Assigned To	monate	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	have not tried
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Nitrogen-20111001	Target Version	-	Fixed in Version	-

Description :

Are you planning to make verion of Frama-C system for Windows platform with Windows Binary Installer? (Sorry for my English, my question in Russian: ?? ?? ?????????? ????????? ?????? Frama-C ??? ????????? Windows ? ???????? ??????????????)

Tags :

Windows