Mentions légales du service

Skip to content
  • Guillaume Melquiond's avatar
    Detect whether coqtop.byte is present. · 4ff1dd2a
    Guillaume Melquiond authored
    It is needed for compiling the Coq tactic Why3.vo file when native
    compilation is disabled.
    
    This commit also avoid a potential race condition when Why3.vo was
    compiled with both the native and bytecode compilers.
    4ff1dd2a