Commits · 0056fc51bf17e577f8b88db2e1d0331c176575fc · Gaurav Parthasarathy / examples_rdcss_old

23 Jan, 2018 2 commits
- CI trigger: build only against Coq dev · 0056fc51
  Ralf Jung authored Jan 23, 2018
  
  0056fc51
- CI: nightly job can do validation · 9550d90e
  Ralf Jung authored Jan 23, 2018
  
  9550d90e
18 Dec, 2017 1 commit
- test agains Coq 8.7.1 · 6150ac6e
  Ralf Jung authored Dec 18, 2017
  
  6150ac6e
28 Nov, 2017 1 commit
- drop validation from CI, it does not work reliably enough · 41091021
  Ralf Jung authored Nov 28, 2017
  
  41091021
18 Nov, 2017 1 commit
- disable coqchk, it fails with a stack overflow · 570dfb24
  Ralf Jung authored Nov 18, 2017
  
  570dfb24
11 Nov, 2017 1 commit
- ssreflect 1.6.4 · e45c694b
  Ralf Jung authored Nov 11, 2017
  
  e45c694b
30 Oct, 2017 1 commit
- do the nightly build against Coq 8.7.0 · 2c9655a0
  Ralf Jung authored Oct 30, 2017
  
  2c9655a0
28 Oct, 2017 1 commit
- test against released Coq 8.7.0; update CI · 53091bb4
  Ralf Jung authored Oct 28, 2017
  
  53091bb4
19 Oct, 2017 1 commit
- Initial commit · fbc0b433
  Ralf Jung authored Oct 19, 2017
  
  fbc0b433