swh:1:snp:f54a27e650a8acca38b6d19c9bf2c307c6c07756
Tip revision: ebcd89f9c3f3d009e7b6fd5d65f31043d2abfff1 authored by Matthieu Sozeau on 19 January 2021, 14:59:22 UTC
Merge pull request #540 from yforster/coq-8.12-jan18
Merge pull request #540 from yforster/coq-8.12-jan18
Tip revision: ebcd89f
| File | Mode | Size |
|---|---|---|
| plugin-demo | ||
| CheckerTest.v | -rw-r--r-- | 333 bytes |
| Makefile | -rw-r--r-- | 311 bytes |
| Makefile.coq.local | -rw-r--r-- | 11 bytes |
| _CoqProject | -rw-r--r-- | 678 bytes |
| bug1.v | -rw-r--r-- | 420 bytes |
| bug2.v | -rw-r--r-- | 173 bytes |
| bug5.v | -rw-r--r-- | 160 bytes |
| bug6.v | -rw-r--r-- | 177 bytes |
| bug7.v | -rw-r--r-- | 217 bytes |
| bug8.v | -rw-r--r-- | 120 bytes |
| bugkncst.v | -rw-r--r-- | 2.9 KB |
| case.v | -rw-r--r-- | 335 bytes |
| castprop.v | -rw-r--r-- | 704 bytes |
| cofix.v | -rw-r--r-- | 152 bytes |
| erasure_live_test.v | -rw-r--r-- | 11.9 KB |
| erasure_test.v | -rw-r--r-- | 1.5 KB |
| evars.v | -rw-r--r-- | 1.2 KB |
| extractable.v | -rw-r--r-- | 2.6 KB |
| hnf_ctor.v | -rw-r--r-- | 158 bytes |
| int.v | -rw-r--r-- | 356 bytes |
| issue27.v | -rw-r--r-- | 136 bytes |
| issue28.v | -rw-r--r-- | 1.7 KB |
| issue453.v | -rw-r--r-- | 227 bytes |
| letin.v | -rw-r--r-- | 305 bytes |
| modules_sections.v | -rw-r--r-- | 2.4 KB |
| mutind.v | -rw-r--r-- | 681 bytes |
| opaque.v | -rw-r--r-- | 1.3 KB |
| order_rec.v | -rw-r--r-- | 227 bytes |
| primitive.v | -rw-r--r-- | 1.1 KB |
| proj.v | -rw-r--r-- | 1.6 KB |
| run_in_tactic.v | -rw-r--r-- | 239 bytes |
| safechecker_test.v | -rw-r--r-- | 16.6 KB |
| sprop_tests.v | -rw-r--r-- | 1.5 KB |
| tmExistingInstance.v | -rw-r--r-- | 227 bytes |
| tmFreshName.v | -rw-r--r-- | 336 bytes |
| tmInferInstance.v | -rw-r--r-- | 453 bytes |
| tmVariable.v | -rw-r--r-- | 561 bytes |
| unfold.v | -rw-r--r-- | 173 bytes |
| univ.v | -rw-r--r-- | 8.3 KB |
| vs.v | -rwxr-xr-x | 74.3 KB |
