Mentions légales du service

Skip to content

Compile Why3 tools as plugins (fix #485, #478, #507)

Guillaume Melquiond requested to merge shared into master
  • Make why3ide work.
  • Make bytecode compilation work.
  • Make why3ide slimmer.
  • Check build with lablgtk2.
  • Check deployed image.
Edited by Guillaume Melquiond

Merge request reports