Mentions légales du service

Skip to content

Add windows compilation support

Basile Desloges requested to merge windows-support into master

Add basic support to compile why3 on Windows using the release of opam 2.2.0~beta3.

Fix #419 (closed) #864 (closed)

Edited by Basile Desloges

Merge request reports

Loading