AdaCore / langkit

Language creation framework.
https://www.adacore.com
Other
78 stars 35 forks source link

Preparatory work for the new solver #609

Closed pmderodat closed 2 years ago