https://github.com/c-corn/corn
Revision af4b86e6ad6cfd242562f9c33c0e438298fc4e1f authored by Théo Zimmermann on 07 September 2021, 14:21:48 UTC, committed by GitHub on 07 September 2021, 14:21:48 UTC
Update meta.yml and CI to test Coq 8.13.
Tip revision: af4b86e6ad6cfd242562f9c33c0e438298fc4e1f authored by Théo Zimmermann on 07 September 2021, 14:21:48 UTC
Merge pull request #161 from Zimmi48/update-ci-8.13
Merge pull request #161 from Zimmi48/update-ci-8.13
Tip revision: af4b86e
| File | Mode | Size |
|---|---|---|
| .github | ||
| algebra | ||
| broken | ||
| classes | ||
| complex | ||
| coq_reals | ||
| doc | ||
| dump | ||
| examples | ||
| fta | ||
| ftc | ||
| liouville | ||
| logic | ||
| metric2 | ||
| metrics | ||
| model | ||
| ode | ||
| old | ||
| opaque | ||
| order | ||
| raster | ||
| reals | ||
| site_scons | ||
| stdlib_omissions | ||
| tactics | ||
| tools | ||
| transc | ||
| util | ||
| .gitignore | -rw-r--r-- | 387 bytes |
| LICENSE | -rw-r--r-- | 17.6 KB |
| Make.in | -rw-r--r-- | 38 bytes |
| README.md | -rw-r--r-- | 4.6 KB |
| SConstruct | -rw-r--r-- | 1.4 KB |
| _CoqProject | -rw-r--r-- | 10 bytes |
| configure.sh | -rwxr-xr-x | 625 bytes |
| coq-corn.opam | -rw-r--r-- | 2.2 KB |
| default.nix | -rw-r--r-- | 843 bytes |
| meta.yml | -rw-r--r-- | 4.5 KB |
Computing file changes ...
