Commits · 497bd8a8ba1d7ad914e05483e4a1393a2b20c16c · Janno / iris-coq

23 May, 2018 1 commit
- Bump std++. · 497bd8a8
  Robbert Krebbers authored May 23, 2018
  
  497bd8a8
14 May, 2018 1 commit
- Bump std++. · e67830a6
  Robbert Krebbers authored May 14, 2018
  
  e67830a6
27 Apr, 2018 3 commits
- Bump std++. · 1ab890fc
  Robbert Krebbers authored Apr 27, 2018
  
  1ab890fc
- I think I made the previous commit in the wrong project... anyway, bump std++ · e53c497d
  Ralf Jung authored Apr 27, 2018
  
  e53c497d
- bump Iris · fd314ce3
  Ralf Jung authored Apr 27, 2018
  
  fd314ce3
18 Apr, 2018 3 commits
- bump std++ · 61a020cf
  Ralf Jung authored Apr 18, 2018
  
  61a020cf
- test against Coq 8.8.0 · 5d40b106
  Ralf Jung authored Apr 18, 2018
  
  5d40b106
- drop support for Coq 8.6; use the ssreflect that ships with Coq · ccb21344
  Ralf Jung authored Apr 18, 2018
  
  ccb21344
11 Apr, 2018 1 commit
- Bump the std++ version · a5ba9615
  Dan Frumin authored Apr 11, 2018
  
  a5ba9615
09 Apr, 2018 2 commits
- Bump std++. · 5001567e
  Robbert Krebbers authored Apr 09, 2018
  
  5001567e
- bump std++ · 7e33a806
  Ralf Jung authored Apr 09, 2018
  
  7e33a806
21 Feb, 2018 1 commit
- Move namespaces to stdpp. · df9d11bf
  Robbert Krebbers authored Feb 21, 2018
  
  df9d11bf
20 Feb, 2018 1 commit
- Bump stdpp. · e55b06dd
  Robbert Krebbers authored Feb 20, 2018
  
  e55b06dd
09 Feb, 2018 1 commit
- Bump stdpp. · 9fe8a1d3
  Robbert Krebbers authored Feb 09, 2018
  
  9fe8a1d3
08 Feb, 2018 1 commit
- Bump stdpp. · 80a99e7e
  Robbert Krebbers authored Feb 08, 2018
  
  80a99e7e
02 Feb, 2018 1 commit
- Bump stdpp version. · b4f9f4f2
  Robbert Krebbers authored Feb 02, 2018
  
  b4f9f4f2
29 Jan, 2018 1 commit
- Bump stdpp. · c22e7b33
  Robbert Krebbers authored Jan 29, 2018
  
  c22e7b33
13 Jan, 2018 1 commit
- Bump stdpp. · 8bccbcc9
  Robbert Krebbers authored Jan 13, 2018
  
  8bccbcc9
18 Dec, 2017 2 commits
- use std++ 1.1 · 3e923399
  Ralf Jung authored Dec 18, 2017
  
  3e923399
- update std++ · 9bedfb84
  Ralf Jung authored Dec 18, 2017
  
  9bedfb84
10 Dec, 2017 1 commit
- Bump std++. · 8d1b4d4c
  Robbert Krebbers authored Dec 10, 2017
  
  8d1b4d4c
05 Dec, 2017 1 commit
- bump std++; use \sqsubseteq for stuckness_le · d819164f
  Ralf Jung authored Dec 05, 2017
  
  d819164f
04 Dec, 2017 2 commits
- Bump stdpp. · 43830b67
  Jacques-Henri Jourdan authored Dec 04, 2017
  
  43830b67
- Bump stdpp. · 76d99d52
  Jacques-Henri Jourdan authored Dec 04, 2017
  
  76d99d52
29 Nov, 2017 3 commits
- Bump stdpp. · c8e7221b
  David Swasey authored Nov 29, 2017
  
  c8e7221b
- bump std++ · f904bc5f
  Ralf Jung authored Nov 29, 2017
  
  f904bc5f
- allow building against 'dev' version of Coq · 10f62235
  Ralf Jung authored Nov 29, 2017
  
  10f62235
22 Nov, 2017 1 commit
- Bump stdpp. · 84fe6493
  Robbert Krebbers authored Nov 22, 2017
  
  84fe6493
20 Nov, 2017 1 commit
- Bump stdpp. · 7a04946d
  Robbert Krebbers authored Nov 20, 2017
  
  7a04946d
18 Nov, 2017 1 commit
- bump std++ · 34dd98a7
  Ralf Jung authored Nov 18, 2017
  
  34dd98a7
12 Nov, 2017 1 commit
- Bump stdpp. · 86692e50
  Robbert Krebbers authored Nov 12, 2017
  
  86692e50
11 Nov, 2017 2 commits
- Bump Iris. · 9539a84c
  Robbert Krebbers authored Nov 11, 2017
  
  9539a84c
- Bump stdpp. · 342b79a4
  Robbert Krebbers authored Nov 11, 2017
  
  342b79a4
28 Oct, 2017 3 commits
- Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom. · 3588f204
  Jacques-Henri Jourdan authored Oct 27, 2017
```
This is to be used on top of stdpp's 4b5d254e.
```
  3588f204
- Bump std++. · 6926a0c8
  Robbert Krebbers authored Oct 28, 2017
  
  6926a0c8
- bump std++ · 8a9680f7
  Ralf Jung authored Oct 28, 2017
  
  8a9680f7
18 Oct, 2017 2 commits
- opam: don't use the shell for no good reason · 1942d56a
  Ralf Jung authored Oct 18, 2017
  
  1942d56a
- Bump coq-stdpp. · b1349c24
  Jacques-Henri Jourdan authored Oct 18, 2017
  
  b1349c24
09 Oct, 2017 1 commit
- update std++; add test for solve_proper · 93eb2615
  Ralf Jung authored Oct 09, 2017
  
  93eb2615
05 Oct, 2017 1 commit
- update stdpp · 30872de3
  Hai Dang authored Oct 05, 2017
  
  30872de3