New upstream version 8.20.0
Showing
- .github/CODEOWNERS 3 additions, 3 deletions.github/CODEOWNERS
- .github/ISSUE_TEMPLATE.md 0 additions, 13 deletions.github/ISSUE_TEMPLATE.md
- .github/ISSUE_TEMPLATE/bug_report.yml 36 additions, 0 deletions.github/ISSUE_TEMPLATE/bug_report.yml
- .github/ISSUE_TEMPLATE/config.yml 11 additions, 0 deletions.github/ISSUE_TEMPLATE/config.yml
- .github/ISSUE_TEMPLATE/feature_request.yml 23 additions, 0 deletions.github/ISSUE_TEMPLATE/feature_request.yml
- .github/workflows/ci-macos.yml 3 additions, 3 deletions.github/workflows/ci-macos.yml
- .gitlab-ci.yml 128 additions, 70 deletions.gitlab-ci.yml
- INSTALL.md 5 additions, 11 deletionsINSTALL.md
- Makefile 2 additions, 8 deletionsMakefile
- Makefile.ci 15 additions, 6 deletionsMakefile.ci
- README.md 2 additions, 2 deletionsREADME.md
- boot/usage.ml 1 addition, 0 deletionsboot/usage.ml
- checker/check.ml 36 additions, 52 deletionschecker/check.ml
- checker/checkInductive.ml 10 additions, 12 deletionschecker/checkInductive.ml
- checker/check_stat.ml 5 additions, 0 deletionschecker/check_stat.ml
- checker/checker.ml 6 additions, 7 deletionschecker/checker.ml
- checker/dune 1 addition, 0 deletionschecker/dune
- checker/mod_checking.ml 106 additions, 5 deletionschecker/mod_checking.ml
- checker/mod_checking.mli 1 addition, 1 deletionchecker/mod_checking.mli
- checker/safe_checking.ml 6 additions, 5 deletionschecker/safe_checking.ml
Loading
Please register or sign in to comment