Commits · c83feb6b8f47597f69cacae39bbd3f6b41c49cd2 · Arthur Azevedo de Amorim / stdpp

Sep 18, 2018
- autoamtically use latest CI · c83feb6b
  Ralf Jung authored 6 years ago
  
  c83feb6b
- fix CI · 4520ec21
  Ralf Jung authored 6 years ago
  
  4520ec21
- update CI for opam 2 · c5e22848
  Ralf Jung authored 6 years ago
  
  c5e22848
- WIP CI · 13c0316b
  Ralf Jung authored 6 years ago
  
  13c0316b
- update CI · 7426f10c
  Ralf Jung authored 6 years ago
  
  7426f10c
Aug 01, 2018
- update CI · c999344d
  Ralf Jung authored 6 years ago
  
  c999344d
- update CI · 52708382
  Ralf Jung authored 6 years ago
  
  52708382
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
Jul 17, 2018
- clean better · c3fe9747
  Ralf Jung authored 6 years ago
  
  c3fe9747
Jul 10, 2018
- test against Coq 8.8.1 · df7728e4
  Ralf Jung authored 6 years ago
  
  df7728e4
Jun 30, 2018
- Lemma list_insert_id. · 1a21e908
  Robbert Krebbers authored 6 years ago
  
  1a21e908
- Lemma list_fmap_insert. · 29e2f606
  Robbert Krebbers authored 6 years ago
  
  29e2f606
Jun 29, 2018
- Merge branch 'master' into 'master' · 02a107a5
  Robbert Krebbers authored 6 years ago
  
  Add `Countable` instance for `gset`. See merge request robbertkrebbers/coq-stdpp!40
  02a107a5
- Add `Countable` instance for `mapset`. · a05d1085
  Janno authored 6 years ago
  
  a05d1085
Jun 28, 2018
- remove some redundant parentheses · 25bdb78f
  Ralf Jung authored 6 years ago
  
  25bdb78f
Jun 25, 2018
- Merge branch 'ci/ralf/test-suite' into 'master' · 6be2994e
  Ralf Jung authored 6 years ago
  
  begin a test suite See merge request robbertkrebbers/coq-stdpp!39
  6be2994e
- begin a test suite · 70c1dfc6
  Ralf Jung authored 6 years ago
  
  70c1dfc6
- Merge branch 'ralf/rtc' into 'master' · 0eb9a89b
  Ralf Jung authored 6 years ago
  
  decrease priority for rtc_reflexive instance See merge request robbertkrebbers/coq-stdpp!38
  0eb9a89b
- add .gitattributes for GitLab syntax highlighting · adba875c
  Ralf Jung authored 6 years ago
  
  adba875c
- decrease priority for rtc_reflexive instance · 9c9d14b0
  Ralf Jung authored 6 years ago
  
  9c9d14b0
Jun 22, 2018
- update CI · c3f39ca4
  Ralf Jung authored 6 years ago
  
  c3f39ca4
Jun 21, 2018
- update CI to use perf · 18445c0d
  Ralf Jung authored 6 years ago
  
  18445c0d
Jun 20, 2018
- Merge branch 'ralf/lia' into 'master' · 94359441
  Ralf Jung authored 6 years ago
  
  use lia instead of omega See merge request robbertkrebbers/coq-stdpp!37
  94359441
- also time Coq 8.8 · b2ca5d48
  Ralf Jung authored 6 years ago
  
  b2ca5d48
- use lia instead of omega · 8d587626
  Ralf Jung authored 6 years ago
  
  8d587626
Jun 18, 2018
- Merge branch 'ralf/difference_union' into 'master' · 10636e80
  Robbert Krebbers authored 6 years ago
  
  add lemma about chained difference See merge request robbertkrebbers/coq-stdpp!36
  10636e80
- add lemma about chained difference · 9bfa00b2
  Ralf Jung authored 6 years ago
  
  9bfa00b2
- generalize ndisj_subseteq_difference to work for all masks · e1e5349a
  Ralf Jung authored 6 years ago
  
  e1e5349a
Jun 14, 2018
- Merge branch 'ralf/solve_ndisj' into 'master' · 6c1d1ebf
  Robbert Krebbers authored 6 years ago
  
  solve_ndisj: try harder See merge request robbertkrebbers/coq-stdpp!35
  6c1d1ebf
- solve_ndisj: try harder · a76a7ba7
  Ralf Jung authored 6 years ago
  
  a76a7ba7
Jun 10, 2018
- Misc result about Qp. · aa942ca8
  Robbert Krebbers authored 6 years ago
  
  aa942ca8
- add format specifier tp single-symbol notation · 6916990f
  Ralf Jung authored 6 years ago
  
  Works around Coq bug #7731
  6916990f
Jun 09, 2018
- Merge branch 'ralf/telescopes' into 'master' · 8e8c2add
  Ralf Jung authored 6 years ago
  
  add telescopic versions of the Coq quantifiers See merge request robbertkrebbers/coq-stdpp!34
  8e8c2add
- Teach typeclass resolution to make progress on telescopic binders · 8afca298
  Ralf Jung authored 6 years ago
  
  8afca298
- Fix universe inconsistency in Iris by making telescopes universe polymorphic · e46551b8
  Ralf Jung authored 6 years ago
  
  e46551b8
- add telescopic versions of the Coq quantifiers · 76d280b9
  Ralf Jung authored 6 years ago
  
  76d280b9
Jun 07, 2018
- rename lemmas about telescope function space to tele_fun_* · d070e44a
  Ralf Jung authored 6 years ago
  
  d070e44a
Jun 06, 2018
- Merge branch 'ralf/telescopes' into 'master' · 5bcfb8b0
  Ralf Jung authored 6 years ago
  
  add telescopes and a bit of theory about them See merge request robbertkrebbers/coq-stdpp!33
  5bcfb8b0
- also provide a composition for the function space · 4933fa76
  Ralf Jung authored 6 years ago
  
  4933fa76