Commits · b9315f85b69ab55cc058df71a70f5ce9f1a5e03c · Pierre Roux / Iris

Oct 01, 2021
- update dependencies · b9315f85
  Ralf Jung authored 3 years ago
  
  b9315f85
Sep 27, 2021
- bump std++; fix for f_equiv improvements · 38392de4
  Ralf Jung authored 3 years ago
  
  38392de4
Sep 06, 2021
- bump std++ · e51adf8d
  Ralf Jung authored 3 years ago
  
  e51adf8d
Jul 28, 2021
- update dependencies · fa46fcb0
  Ralf Jung authored 3 years ago
  
  fa46fcb0
- Bump std++ (filter_insert). · fb31118e
  Robbert Krebbers authored 3 years ago
  
  fb31118e
Jul 27, 2021
- Bump std++. · 423b11f1
  Robbert Krebbers authored 3 years ago
  
  423b11f1
Jul 26, 2021
- Bump std++. · eb05e835
  Robbert Krebbers authored 3 years ago
  
  eb05e835
Jul 25, 2021
- update dependencies · 5ea26625
  Ralf Jung authored 3 years ago
  
  5ea26625
Jul 23, 2021
- update dependencies · 572da574
  Ralf Jung authored 3 years ago
  
  572da574
Jul 22, 2021
- Bump std++. · 26ebf1ee
  Robbert Krebbers authored 3 years ago
  
  26ebf1ee
Jul 21, 2021
- update dependencies · 471f670a
  Ralf Jung authored 3 years ago
  
  471f670a
Jul 19, 2021
- Bump std++ (curry/uncurry) · ce8bd0c6
  Robbert Krebbers authored 3 years ago
  
  ce8bd0c6
- update dependencies · 0ae9d9ee
  Ralf Jung authored 3 years ago
  
  0ae9d9ee
- update dependencies · 3bd580ba
  Ralf Jung authored 3 years ago
  
  3bd580ba
Jul 16, 2021
- update dependencies · ca19ab25
  Ralf Jung authored 3 years ago
  
  ca19ab25
Jun 26, 2021
- update dependencies · c7fcd140
  Ralf Jung authored 3 years ago
  
  c7fcd140
Jun 24, 2021
- update dependencies · d08de6e8
  Ralf Jung authored 3 years ago
  
  d08de6e8
- update dependencies · bbf29b1a
  Ralf Jung authored 3 years ago
  
  bbf29b1a
Jun 23, 2021
- test against Coq 8.14 beta branch · 2a27537c
  Ralf Jung authored 3 years ago
  
  2a27537c
Jun 18, 2021
- Bump std++. · 281321e8
  Robbert Krebbers authored 3 years ago
  
  281321e8
Jun 17, 2021
- Bump stdpp. · ed2b857e
  Robbert Krebbers authored 3 years ago
  
  ed2b857e
- update dependencies · adac669b
  Ralf Jung authored 3 years ago
  
  adac669b
Jun 12, 2021
- Bump std++ (merge changes). · 3cb65333
  Robbert Krebbers authored 3 years ago
  
  3cb65333
Jun 11, 2021
- Bump std++ and rewrite `Proper` of `from_option` to match new `Params`. · 8a12ebc2
  Robbert Krebbers authored 3 years ago
  
  8a12ebc2
Jun 10, 2021
- update dependencies · 5d80dfef
  Ralf Jung authored 3 years ago
  
  5d80dfef
Jun 05, 2021
- update dependencies · 2da41848
  Ralf Jung authored 3 years ago
  
  2da41848
Jun 02, 2021
- update dependencies · dde08018
  Ralf Jung authored 3 years ago
  
  dde08018
May 28, 2021
- comply by opam's style guidelines · 1bb3e3fa
  Ralf Jung authored 3 years ago
  
  1bb3e3fa
- add explicit version name to opam packages · c7f61b47
  Ralf Jung authored 3 years ago
  
  c7f61b47
May 25, 2021
- update dependencies · 3d17152f
  Ralf Jung authored 3 years ago
  
  3d17152f
May 05, 2021
- update dependencies · 6f18e8cd
  Ralf Jung authored 3 years ago
  
  6f18e8cd
Apr 30, 2021
- update std++ · 70f0dde7
  Ralf Jung authored 3 years ago
  
  70f0dde7
Apr 20, 2021
- Bump std++ (multiset singleton). · 7a260d80
  Robbert Krebbers authored 3 years ago
  
  7a260d80
Apr 08, 2021
- update dependencies · 95637901
  Ralf Jung authored 3 years ago
  
  95637901
Mar 27, 2021
- drop support for Coq 8.11 · a092506c
  Ralf Jung authored 4 years ago
  
  a092506c
Mar 23, 2021
- update dependencies · 66943a85
  Ralf Jung authored 4 years ago
  
  66943a85
Mar 15, 2021
- Update stdpp · cb020dcd
  Michael Sammler authored 4 years ago
  
  cb020dcd
Mar 14, 2021
- update dependencies · e14e1fed
  Ralf Jung authored 4 years ago
  
  e14e1fed
Mar 13, 2021
- Replace some uses of `set_solver` by `multiset_solver`. · 6bf5566f
  Robbert Krebbers authored 4 years ago
  
  6bf5566f
Mar 12, 2021
- Bump std++. · 5011fae3
  Robbert Krebbers authored 4 years ago
  
  5011fae3