search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
771 stars 137 forks source link

Change the license of the SymCC runtime to LGPL #115

Closed sebastianpoeplau closed 1 year ago

sebastianpoeplau commented 1 year ago

This commit closes #114.

aurelf commented 1 year ago

One minor thing, we mentioned adding a CONTRIBUTING.md, shall we ? Also maybe we can clarify the license affects the runtime folder (in the table at the bottom of the README.md)?

sebastianpoeplau commented 1 year ago

Yes, sounds good. I'm going to merge this PR and add your suggestions in a separate one so that we get the most important part done as quickly as possible.