Commits · master · Dan Frumin / coq-stdpp

Dec 14, 2018
- Get rid of the awk.Makefile references · a7d2b180
  Dan Frumin authored 6 years ago
  
  a7d2b180
Dec 12, 2018
- Inline equality premise in `map_insert_zip_with`. · 9cbafb67
  Robbert Krebbers authored 6 years ago
  9cbafb67
Nov 30, 2018
- Show that accessible elements do not loop. · 005887ee
  Robbert Krebbers authored 6 years ago
  
  005887ee
- Bit of clean up. · 498fe5f9
  Robbert Krebbers authored 6 years ago
  
  498fe5f9
- Type class version of `elem_of` for lists. · 1cbda487
  Robbert Krebbers authored 6 years ago
  
  1cbda487
- Merge branch 'add_docs_to_readme' into 'master' · 149f5aa7
  Ralf Jung authored 6 years ago
  149f5aa7
- Merge branch 'no-implicit-core' into 'master' · 9fa4db07
  Robbert Krebbers authored 6 years ago
  9fa4db07
Nov 28, 2018
- Explicitly use core hint database · 3458ec75
  Tej Chajed authored 6 years ago
  3458ec75
Nov 26, 2018
- Versions of `elem_of_list_split` that give first or last element. · be4eb648
  Robbert Krebbers authored 6 years ago
  
  be4eb648
Nov 22, 2018
- reorder some files for better coqdoc · f8f6d0a9
  Ralf Jung authored 6 years ago
  
  f8f6d0a9
- Add link to docs to the Readme · b71f6a09
  Mackie Loeffel authored 6 years ago
  
  b71f6a09
Nov 20, 2018
- self-compiled ocaml is the new default · 0f2e8baa
  Ralf Jung authored 6 years ago
  
  0f2e8baa
Nov 12, 2018
- I meant all the timing jobs · f78ead5b
  Ralf Jung authored 6 years ago
  
  f78ead5b
- compile our own ocaml so that opam doesn't act up the way it usually likes to · 1a00ee7e
  Ralf Jung authored 6 years ago
  
  1a00ee7e
- Prove map_Forall_delete. · 39569586
  Robbert Krebbers authored 6 years ago
  
  39569586
Nov 11, 2018
- More results about filter on map. · c1c25def
  Robbert Krebbers authored 6 years ago
  c1c25def
Nov 10, 2018
- Lemma prefix_lookup. · 1f91278f
  Robbert Krebbers authored 6 years ago
  
  1f91278f
Nov 09, 2018
- Add `Nat_iter_add`. · b897f00c
  Robbert Krebbers authored 6 years ago
  
  b897f00c
Nov 08, 2018
- remove no-longer-needed Makefile hackery · df509b21
  Ralf Jung authored 6 years ago
  
  df509b21
- Drop support for Coq 8.6. · 5f134375
  Robbert Krebbers authored 6 years ago
  5f134375
- Merge branch 'robbert/simpl_Z' into 'master' · b34d006a
  Robbert Krebbers authored 6 years ago
  b34d006a
Nov 04, 2018
- Consistently block `simpl` on all `Z` operations. · 4112556c
  Robbert Krebbers authored 6 years ago
  
  4112556c
Nov 01, 2018
- Support singletons in `solve_map_disjoint`. · 2776d930
  Robbert Krebbers authored 6 years ago
  
  2776d930
Oct 15, 2018
- also declare compatibility with Coq 8.9 in opam file · b7f1f6b1
  Ralf Jung authored 6 years ago
  
  b7f1f6b1
- also test 8.9 development branch · 3fa64d28
  Ralf Jung authored 6 years ago
  
  3fa64d28
Oct 07, 2018
- support Coq 8.8.2 · c80b0baa
  Ralf Jung authored 6 years ago
  
  c80b0baa
Oct 04, 2018
- Add `collection_map` and some basic theory about it. · 1d074701
  Robbert Krebbers authored 6 years ago
  1d074701
- UI tests actually work for current Coq · 18c2d6e8
  Ralf Jung authored 6 years ago
  
  18c2d6e8
Sep 30, 2018
- use newer ocaml for Coq master · a5f2f7bf
  Ralf Jung authored 6 years ago
  
  a5f2f7bf
Sep 18, 2018
- use Docker image matching CI branch · 39bb247a
  Ralf Jung authored 6 years ago
  
  39bb247a
- 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
  1b26babe
Jul 17, 2018
- clean better · c3fe9747
  Ralf Jung authored 6 years ago
  
  c3fe9747