| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-05-13 | Move 4722 (dangling symlink) to misc tests, remove dangling symlink from repo | Ralf Jung | |
| Fixes #7065 | |||
| 2016-11-17 | Add test suite files for 4700-4785 | Jason Gross | |
| I didn't add any test-cases for timing-based bugs (4707, 4768, 4776, 4777, 4779, 4783), nor CoqIDE bugs (4700, 4751, 4752, 4756), nor bugs about printing (4709, 4711, 4720, 4723, 4734, 4736, 4738, 4741, 4743, 4748, 4749, 4750, 4757, 4758, 4765, 4784). I'm not sure what to do with 4712, 4714, 4732, 4740. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |