Commit 3b289472 authored by Virgile Prevosto's avatar Virgile Prevosto

Proposal for LICENSE file

parent d113501e
Most sources are LGPLv2.1, with some isolated exceptions for
external libraries modified for Frama-C (BSD, QPL) in src/libraries
Each source file contains its own header. See the licenses directory for the
complete text of each license.
Documentation is licensed under CC-BY-SA 4.0. See doc/LICENSE for more
information
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment