Descrição
Programas em C podem ser compilados com a versão de desenvolvimento de um compilador baseado em verificação formal. É útil para pesquisadores e usuários de compiladores que precisam de mudanças mais recentes do CompCert antes que o pacote estável seja atualizado.
Snapshots de desenvolvimento podem mudar de comportamento com mais frequência que versões estáveis. Prefira o pacote estável para builds de produção, a menos que o código mais novo seja realmente necessário.