Commits · master · Janno / coq-stdpp

Jun 29, 2018
- 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
  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
  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
  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
  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
  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
  6916990f
Jun 09, 2018
- Merge branch 'ralf/telescopes' into 'master' · 8e8c2add
  Ralf Jung authored 6 years ago
  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 7 years ago
  
  d070e44a
Jun 06, 2018
- Merge branch 'ralf/telescopes' into 'master' · 5bcfb8b0
  Ralf Jung authored 7 years ago
  5bcfb8b0
- also provide a composition for the function space · 4933fa76
  Ralf Jung authored 7 years ago
  
  4933fa76
- show that tele_app ∘ tele_bind is an identity; remove unused strange fmap instance · cee2597b
  Ralf Jung authored 7 years ago
  
  cee2597b
- add telescopes and a bit of theory about them · 49b04e85
  Ralf Jung authored 7 years ago
  
  49b04e85
Jun 05, 2018
- .gitignore · d8755b5e
  Ralf Jung authored 7 years ago
  
  d8755b5e
May 30, 2018
- update CI and Makefile · 1d094160
  Ralf Jung authored 7 years ago
  
  1d094160
May 29, 2018
- Merge branch 'ralf/default' into 'master' · 4014c929
  Ralf Jung authored 7 years ago
  4014c929
- coqdoc · 6ab381a8
  Ralf Jung authored 7 years ago
  
  6ab381a8
May 28, 2018
- introduce [default] as abbreviation for [from_option id], and use it · 6d849e7d
  Ralf Jung authored 7 years ago
  
  6d849e7d
May 24, 2018
- Merge branch 'ralf/default' into 'master' · de797b31
  Ralf Jung authored 7 years ago
  de797b31
- Remove the `default` notation for options · e585be6d
  Ralf Jung authored 7 years ago
  e585be6d
May 23, 2018
- Misc results about `Qp` fractions. · a8f65af5
  Robbert Krebbers authored 7 years ago
  
  a8f65af5
- Literals 2, 3, and 4 for `Qp`. · e29a5aee
  Robbert Krebbers authored 7 years ago
  
  e29a5aee
May 14, 2018
- Prove `m ∖ m = ∅` for finite maps. · 8fdeb77f
  Robbert Krebbers authored 7 years ago
  
  8fdeb77f
May 09, 2018
- update CI/Makefile · 55ed83e2
  Ralf Jung authored 7 years ago
  
  55ed83e2
Apr 27, 2018
- Some forgotten occurences of only parsing. · 32c8182a
  Robbert Krebbers authored 7 years ago
  
  32c8182a