Commits · coq-stdpp-1.1.0 · Lennard Gäher / stdpp

Dec 18, 2017
- mention required opam version · 0dbc1f4a
  Ralf Jung authored 7 years ago
  
  View commits for tag coq-stdpp-1.1.0 coq-stdpp-1.1.0
  
  0dbc1f4a
- expand changelog · 1dafe0b6
  Ralf Jung authored 7 years ago
  
  1dafe0b6
- more README changes · 4507a8fb
  Ralf Jung authored 7 years ago
  
  4507a8fb
- some README changes · 5425c9b1
  Ralf Jung authored 7 years ago
  
  5425c9b1
- fix changelog wording · b6f2f9e2
  Ralf Jung authored 7 years ago
  
  b6f2f9e2
- fix changelog typos · 4b8807b2
  Ralf Jung authored 7 years ago
  
  4b8807b2
- Start working on a CHANGELOG. · d3169b50
  Robbert Krebbers authored 7 years ago
  
  d3169b50
Dec 17, 2017
- mention 8.7.1 in README · 20fb85af
  Ralf Jung authored 7 years ago
  
  20fb85af
- actually build against Coq 8.7.1 · ac67833a
  Ralf Jung authored 7 years ago
  
  ac67833a
- also build against Coq 8.7.1 · aa1c2acc
  Ralf Jung authored 7 years ago
  
  aa1c2acc
Dec 08, 2017
- Add `TCForall2`. · 42da66bf
  Robbert Krebbers authored 7 years ago
  
  42da66bf
Dec 05, 2017
- Merge branch 'ralf/comments' into 'master' · e8d81825
  Robbert Krebbers authored 7 years ago
  e8d81825
- typeclass comments · 8b4630b4
  Ralf Jung authored 7 years ago
  
  8b4630b4
Dec 04, 2017
- sqsubseteq is a RewriteRelation. · 9a5be071
  Jacques-Henri Jourdan authored 7 years ago
  
  9a5be071
- Merge branch 'jh/lattices-notations' into 'master' · fd3ed134
  Robbert Krebbers authored 7 years ago
  fd3ed134
- Lattices notation for order, join, meet, top and bot. · 3bdec6ad
  Jacques-Henri Jourdan authored 7 years ago
  
  3bdec6ad
Nov 29, 2017
- Generalize `merge_ext`. · a7b8d5f8
  Robbert Krebbers authored 7 years ago
  
  a7b8d5f8
- Merge branch 'ssrfun' into 'master' · 735e4e4d
  Robbert Krebbers authored 7 years ago
  735e4e4d
- Make x.1, x.2 notation compatible with ssrfun. · 5c069266
  David Swasey authored 7 years ago
  5c069266
- Merge branch 'ralf/opam' into 'master' · 2b35253e
  Ralf Jung authored 7 years ago
  2b35253e
- Allow compiling against "dev" version of Coq · a5bc9446
  Ralf Jung authored 7 years ago
  a5bc9446
Nov 28, 2017
- no longer CI coqchk, it is just broken in too many ways · c016d3b1
  Ralf Jung authored 7 years ago
  
  c016d3b1
Nov 22, 2017
- Merge branch 'robbert/bind_notation' into 'master' · 5912d750
  Robbert Krebbers authored 7 years ago
  5912d750
- build 8.7.dev and 8.6 *after* publishing to opam · 5dc4837b
  Ralf Jung authored 7 years ago
  
  5dc4837b
Nov 21, 2017
- Pattern matching notation for monadic binds. · dcd59f13
  Robbert Krebbers authored 7 years ago
  dcd59f13
Nov 20, 2017
- `Params` instance and correct the `Proper` for `fresh_list`. · 376dff25
  Robbert Krebbers authored 7 years ago
  
  376dff25
- Use `pointwise_relation` for `mbind`. · 947cd733
  Robbert Krebbers authored 7 years ago
  947cd733
Nov 18, 2017
- Merge branch 'ralf/solve_proper' into 'master' · 572581f1
  Ralf Jung authored 7 years ago
  572581f1
- remove a useless try · e1c92aa2
  Ralf Jung authored 7 years ago
  
  e1c92aa2
Nov 16, 2017
- factor out solve_proper preparation into a separate tactic · b8ba5d8a
  Ralf Jung authored 7 years ago
  
  b8ba5d8a
- f_equiv: comments · 461bc9c9
  Ralf Jung authored 7 years ago
  
  461bc9c9
Nov 12, 2017
- Some consistency/robustness tweaks. · e1fff8e2
  Robbert Krebbers authored 7 years ago
  e1fff8e2
- Merge branch 'freshstring' into 'master' · a7ee858b
  Robbert Krebbers authored 7 years ago
  a7ee858b
- Merge branch 'fmap_assoc' into 'master' · d253d8a1
  Robbert Krebbers authored 7 years ago
  d253d8a1
- Make `fmap` left associative. · 12e701ca
  Robbert Krebbers authored 7 years ago
  12e701ca
Nov 11, 2017
- Add `f_equiv/=` which performs `simpl` first. · 58e2c608
  Robbert Krebbers authored 7 years ago
  58e2c608
- Merge branch 'stdpp_scope' into 'master' · 30f481c2
  Robbert Krebbers authored 7 years ago
  30f481c2
Nov 09, 2017
- Fix the size of wg_guard unfolding · 05eb175e
  Johannes Kloos authored 7 years ago
  
  05eb175e
- Removed pointless annotation · e1ae086f
  Johannes Kloos authored 7 years ago
  
  e1ae086f
- Renamed subset_difference_in and moved to collection · 034bdcad
  Johannes Kloos authored 7 years ago
  
  034bdcad