Skip to content
Snippets Groups Projects
Select Git revision
  • 68effd1441dba7a2b914ae606321d5b4e02ac10f
  • master default protected
  • rust
  • extract-fix-master
  • extract-fix
  • extract-fix-1.0.0
6 results

why3

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Add support for coercions in "if" and "match" (fix issue #35).
    Guillaume Melquiond authored
    68effd14
    History
    user avatar 68effd14
    History
    Name Last commit Last update