Add a license - Githubissues

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Apache License 2.0

22 stars 1 forks source link

Closed franziskuskiefer closed 1 month ago

franziskuskiefer commented 3 months ago

Add a license to the repository and especially the include files.

I'd suggest to use Apache2.0 or MIT.

msprotz commented 3 months ago

Works for me!