Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Restricting write access to globals in ACSL



>?I don't
> suppose a Haskell interface is available?

The entry point for the Frama-C API is
src/kernel/db/mli. This file is 1800 lines long and
lists other interfaces that you may also need.
You'd need to solve the problem of making two
garbage collectors collaborate and how to
represent and type OCaml modules on the
Haskell side (higher-order functors are used
extensively in parts of the API).

There are many languages for which it would
be nice to have bindings, but being able to do this
seems like one constraint too many when
considering the problem we had decided to solve.

Pascal