Frama-C Framework in Wine.

Игорь Чебаненко chebanenkoigor93 at gmail.com
Mon Jun 28 01:33:13 CDT 2021

Previous message (by thread): [PATCH] qcap/vfwcapture: Set the correct allocator properties when connecting.
Next message (by thread): [PATCH 1/5] nsi: Add a stub implementation of NsiGetAllParameters().
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I don't know if you use it in your project,but if not,try.

Wikipedia:
https://en.wikipedia.org/wiki/Frama-C

Website:
https://frama-c.com/

Previous message (by thread): [PATCH] qcap/vfwcapture: Set the correct allocator properties when connecting.
Next message (by thread): [PATCH 1/5] nsi: Add a stub implementation of NsiGetAllParameters().
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the wine-devel mailing list