Commits · a06372a69365500a6014fe5d58935b9f89758317 · Adam / stdpp

May 07, 2021
- improve error on unqualified Hint · ae7bb15c
  Ralf Jung authored 3 years ago
  
  ae7bb15c
Jan 19, 2021
- fix and reject warnings on Coq 8.13 · e7a7f588
  Ralf Jung authored 4 years ago
  
  e7a7f588
Jan 08, 2021
- make sure all Instance/Argument/Hint are qualified · 3ae73218
  Ralf Jung authored 4 years ago
  
  3ae73218
Dec 11, 2020
- fix build on macOS · 881f2f38
  Ralf Jung authored 4 years ago
  
  881f2f38
Dec 10, 2020
- update test harness · e41e169f
  Ralf Jung authored 4 years ago
  
  e41e169f
Sep 16, 2020
- add options file · 37e03ceb
  Ralf Jung authored 4 years ago
  
  37e03ceb
Feb 28, 2020
- declare Coq 8.9 and older as 'old' for reftests · 7c2aeaef
  Ralf Jung authored 5 years ago
  
  7c2aeaef
Mar 15, 2019
- tweak COQTEST output · 862c6904
  Ralf Jung authored 6 years ago
  
  862c6904
- make NO_TEST=1 skips the tests · b1d043ef
  Ralf Jung authored 6 years ago
  
  b1d043ef
Jan 24, 2019
- COQTEST: get rid of old filtering stuff · bcdcb9f5
  Ralf Jung authored 6 years ago
  
  bcdcb9f5
- tweak COQTEST output · e9b93f18
  Ralf Jung authored 6 years ago
  
  e9b93f18
- use egrep -q · dce103d2
  Ralf Jung authored 6 years ago
  
  dce103d2
- fix λ.. printing and test it · 05ffdc9b
  Ralf Jung authored 6 years ago
  
  05ffdc9b
Oct 04, 2018
- UI tests actually work for current Coq · 18c2d6e8
  Ralf Jung authored 6 years ago
  
  18c2d6e8
Jul 23, 2018
- mark Coq 8.9 as broken · 4fb641ed
  Ralf Jung authored 6 years ago
  
  4fb641ed
- Remove TIMING support from test suite · 1b26babe
  Ralf Jung authored 6 years ago
  
  TIMED is still supported
  1b26babe
Jun 25, 2018
- begin a test suite · 70c1dfc6
  Ralf Jung authored 6 years ago
  
  70c1dfc6
Feb 03, 2018
- delete unnecessary Makefile.coq.local; update .gitignore · 76fcc393
  Ralf Jung authored 7 years ago
  
  76fcc393
Sep 20, 2017
- Update for Coq 8.7 coq_makefile · 01d4aff9
  Ralf Jung authored 7 years ago
  
  01d4aff9