Commits · master · Marianna Rapoport / coq-stdpp

23 Jul, 2018 2 commits
- mark Coq 8.9 as broken · 4fb641ed
  Ralf Jung authored Jul 23, 2018
  
  4fb641ed
- Remove TIMING support from test suite · 1b26babe
  Ralf Jung authored Jul 23, 2018
```
TIMED is still supported
```
  1b26babe
17 Jul, 2018 1 commit
- clean better · c3fe9747
  Ralf Jung authored Jul 17, 2018
  
  c3fe9747
10 Jul, 2018 1 commit
- test against Coq 8.8.1 · df7728e4
  Ralf Jung authored Jul 10, 2018
  
  df7728e4
30 Jun, 2018 2 commits
- Lemma list_insert_id. · 1a21e908
  Robbert Krebbers authored Jun 30, 2018
  
  1a21e908
- Lemma list_fmap_insert. · 29e2f606
  Robbert Krebbers authored Jun 30, 2018
  
  29e2f606
29 Jun, 2018 2 commits
- Merge branch 'master' into 'master' · 02a107a5
  Robbert Krebbers authored Jun 29, 2018
```
Add `Countable` instance for `gset`.

See merge request robbertkrebbers/coq-stdpp!40
```
  02a107a5
- Add `Countable` instance for `mapset`. · a05d1085
  Janno authored Jun 29, 2018
  
  a05d1085
28 Jun, 2018 1 commit
- remove some redundant parentheses · 25bdb78f
  Ralf Jung authored Jun 28, 2018
  
  25bdb78f
25 Jun, 2018 5 commits
- Merge branch 'ci/ralf/test-suite' into 'master' · 6be2994e
  Ralf Jung authored Jun 25, 2018
```
begin a test suite

See merge request robbertkrebbers/coq-stdpp!39
```
  6be2994e
- begin a test suite · 70c1dfc6
  Ralf Jung authored Jun 25, 2018
  
  70c1dfc6
- Merge branch 'ralf/rtc' into 'master' · 0eb9a89b
  Ralf Jung authored Jun 25, 2018
```
decrease priority for rtc_reflexive instance

See merge request robbertkrebbers/coq-stdpp!38
```
  0eb9a89b
- add .gitattributes for GitLab syntax highlighting · adba875c
  Ralf Jung authored Jun 25, 2018
  
  adba875c
- decrease priority for rtc_reflexive instance · 9c9d14b0
  Ralf Jung authored Jun 23, 2018
  
  9c9d14b0
22 Jun, 2018 1 commit
- update CI · c3f39ca4
  Ralf Jung authored Jun 23, 2018
  
  c3f39ca4
21 Jun, 2018 1 commit
- update CI to use perf · 18445c0d
  Ralf Jung authored Jun 21, 2018
  
  18445c0d
20 Jun, 2018 3 commits
- Merge branch 'ralf/lia' into 'master' · 94359441
  Ralf Jung authored Jun 20, 2018
```
use lia instead of omega

See merge request robbertkrebbers/coq-stdpp!37
```
  94359441
- also time Coq 8.8 · b2ca5d48
  Ralf Jung authored Jun 20, 2018
  
  b2ca5d48
- use lia instead of omega · 8d587626
  Ralf Jung authored Jun 20, 2018
  
  8d587626
18 Jun, 2018 3 commits
- Merge branch 'ralf/difference_union' into 'master' · 10636e80
  Robbert Krebbers authored Jun 18, 2018
```
add lemma about chained difference

See merge request robbertkrebbers/coq-stdpp!36
```
  10636e80
- add lemma about chained difference · 9bfa00b2
  Ralf Jung authored Jun 18, 2018
  
  9bfa00b2
- generalize ndisj_subseteq_difference to work for all masks · e1e5349a
  Ralf Jung authored Jun 18, 2018
  
  e1e5349a
14 Jun, 2018 2 commits
- Merge branch 'ralf/solve_ndisj' into 'master' · 6c1d1ebf
  Robbert Krebbers authored Jun 14, 2018
```
solve_ndisj: try harder

See merge request robbertkrebbers/coq-stdpp!35
```
  6c1d1ebf
- solve_ndisj: try harder · a76a7ba7
  Ralf Jung authored Jun 14, 2018
  
  a76a7ba7
10 Jun, 2018 2 commits
- Misc result about Qp. · aa942ca8
  Robbert Krebbers authored Jun 10, 2018
  
  aa942ca8
- add format specifier tp single-symbol notation · 6916990f
  Ralf Jung authored Jun 10, 2018
```
Works around Coq bug #7731
```
  6916990f
09 Jun, 2018 4 commits
- Merge branch 'ralf/telescopes' into 'master' · 8e8c2add
  Ralf Jung authored Jun 09, 2018
```
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 Jun 09, 2018
  
  8afca298
- Fix universe inconsistency in Iris by making telescopes universe polymorphic · e46551b8
  Ralf Jung authored Jun 09, 2018
  
  e46551b8
- add telescopic versions of the Coq quantifiers · 76d280b9
  Ralf Jung authored Jun 09, 2018
  
  76d280b9
07 Jun, 2018 1 commit
- rename lemmas about telescope function space to tele_fun_* · d070e44a
  Ralf Jung authored Jun 07, 2018
  
  d070e44a
06 Jun, 2018 4 commits
- Merge branch 'ralf/telescopes' into 'master' · 5bcfb8b0
  Ralf Jung authored Jun 06, 2018
```
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 Jun 06, 2018
  
  4933fa76
- show that tele_app ∘ tele_bind is an identity; remove unused strange fmap instance · cee2597b
  Ralf Jung authored Jun 06, 2018
  
  cee2597b
- add telescopes and a bit of theory about them · 49b04e85
  Ralf Jung authored Jun 06, 2018
  
  49b04e85
05 Jun, 2018 1 commit
- .gitignore · d8755b5e
  Ralf Jung authored Jun 05, 2018
  
  d8755b5e
30 May, 2018 1 commit
- update CI and Makefile · 1d094160
  Ralf Jung authored May 30, 2018
  
  1d094160
29 May, 2018 2 commits
- Merge branch 'ralf/default' into 'master' · 4014c929
  Ralf Jung authored May 29, 2018
```
introduce [default] as abbreviation for [from_option id], and use it

See merge request robbertkrebbers/coq-stdpp!32
```
  4014c929
- coqdoc · 6ab381a8
  Ralf Jung authored May 29, 2018
  
  6ab381a8
28 May, 2018 1 commit
- introduce [default] as abbreviation for [from_option id], and use it · 6d849e7d
  Ralf Jung authored May 28, 2018
  
  6d849e7d