Commits · 403c9587c9791651399beca5724723a9ce239ea4 · Tej Chajed / iris

29 Jun, 2018 1 commit
- docs: fix typo · 403c9587
  Ralf Jung authored Jun 29, 2018
  
  403c9587
10 Dec, 2017 8 commits
- Docs: assertion → proposition (as in the ground up paper). · bf46989d
  Robbert Krebbers authored Dec 10, 2017
  
  bf46989d
- Docs: remark about name "Camera". · e1f4aaad
  Robbert Krebbers authored Dec 10, 2017
  
  e1f4aaad
- Docs: CMRA → Camera (as in the Ground Up paper). · 03fe24e2
  Robbert Krebbers authored Dec 10, 2017
  
  03fe24e2
- Revert "Docs: fix capitals of section." · d96f252e
  Ralf Jung authored Dec 10, 2017
```
This reverts commit 7a6d36c6.
```
  d96f252e
- Docs: fix capitals of section. · 7a6d36c6
  Robbert Krebbers authored Dec 10, 2017
  
  7a6d36c6
- docs: banach: make f^k part of the theorem, nut just a remark; extend ref to america-rutten · 40474920
  Ralf Jung authored Dec 10, 2017
  
  40474920
- Docs: put Banach and America/Rutten in a theorem environment. · 861ee760
  Robbert Krebbers authored Dec 10, 2017
  
  861ee760
- Fix typo in docs: fixpoints can only be taken of endo-functions. · c73f0c68
  Robbert Krebbers authored Dec 10, 2017
  
  c73f0c68
08 Dec, 2017 2 commits
- fix typos; add comment · a603fe3a
  Ralf Jung authored Dec 08, 2017
  
  a603fe3a
- update docs: new upred definition, sProp for validity · af017171
  Ralf Jung authored Dec 08, 2017
  
  af017171
28 Nov, 2017 1 commit
- OFEs are bicartesian closed · fc9e25a5
  Ralf Jung authored Nov 28, 2017
  
  fc9e25a5
23 Nov, 2017 1 commit
- Appendix: CMRA morphisms are homomorphisms · 8dbf7672
  Ralf Jung authored Nov 23, 2017
  
  8dbf7672
28 Oct, 2017 1 commit
- more CHANGELOG · 38b6c303
  Ralf Jung authored Oct 28, 2017
  
  38b6c303
05 Dec, 2016 1 commit
- update documentation for the new OFE story · 0dd40006
  Ralf Jung authored Dec 05, 2016
  
  0dd40006
17 Oct, 2016 1 commit
- Use \nat macro. · 7696a7c1
  Robbert Krebbers authored Oct 17, 2016
  
  7696a7c1
10 Oct, 2016 1 commit
- docs: Units no longer have to be discrete. · 24d759e5
  Robbert Krebbers authored Oct 10, 2016
  
  24d759e5
21 Aug, 2016 2 commits
- Prove uniqueness of Banach's fixpoint. · 738d8bcc
  Robbert Krebbers authored Aug 21, 2016
  
  738d8bcc
- docs: mention uniqueness of fixed-points · 3a8e6a91
  Ralf Jung authored Aug 21, 2016
  
  3a8e6a91
11 Aug, 2016 1 commit
- docs: fix some typos · 4e0b7781
  Ralf Jung authored Aug 11, 2016
  
  4e0b7781
04 Aug, 2016 2 commits
- fix some typos in the docs · 9ba4ad2b
  Ralf Jung authored Aug 04, 2016
  
  9ba4ad2b
- docs: fix COFE limit axiom · ef669d81
  Ralf Jung authored Aug 04, 2016
  
  ef669d81
27 Jul, 2016 1 commit
- docs: address Lars' remaining comments · aae046b8
  Ralf Jung authored Jul 27, 2016
  
  aae046b8
25 Jul, 2016 2 commits
- docs: update CMRA constructions for partial core · 06aedc30
  Ralf Jung authored Jul 25, 2016
  
  06aedc30
- docs: update (CM)RA algebra axioms to aprtial cores · c7aef896
  Ralf Jung authored Jul 25, 2016
  
  c7aef896
16 Mar, 2016 1 commit
- update bib and irs.sty · d1f3cf37
  Ralf Jung authored Mar 16, 2016
  
  d1f3cf37
15 Mar, 2016 2 commits
- copy some intuition from the paper · a331d9fa
  Ralf Jung authored Mar 15, 2016
  
  a331d9fa
- docs: reference Lars' metric space paper · 3b8b2aec
  Ralf Jung authored Mar 15, 2016
  
  3b8b2aec
12 Mar, 2016 4 commits
- docs: typos, nits · 0816b3de
  Ralf Jung authored Mar 12, 2016
  
  0816b3de
- docs: complete model description · 7cb94e3e
  Ralf Jung authored Mar 12, 2016
  
  7cb94e3e
- docs: describe the part of the model that works for any UPred · 82aee390
  Ralf Jung authored Mar 12, 2016
  
  82aee390
- docs: define RAs · a072e355
  Ralf Jung authored Mar 12, 2016
  
  a072e355
11 Mar, 2016 7 commits
- docs: UPred · 94042bb7
  Ralf Jung authored Mar 11, 2016
  
  94042bb7
- docs: type-level later · 3d79ec6c
  Ralf Jung authored Mar 11, 2016
  
  3d79ec6c
- docs: global ghost functor · 6562c4be
  Ralf Jung authored Mar 11, 2016
  
  6562c4be
- docs: locally non-expansive/contractive also applies to bifunctors · 9ac461b1
  Ralf Jung authored Mar 11, 2016
  
  9ac461b1
- docs: get rid of division :) · d6dba217
  Ralf Jung authored Mar 11, 2016
  
  d6dba217
- docs: align CMRA inclusion notation with Coq · 12447782
  Ralf Jung authored Mar 11, 2016
  
  12447782
- assume we can get rid of division for the paper · 978eec47
  Ralf Jung authored Mar 11, 2016
  
  978eec47
10 Mar, 2016 1 commit
- docs: minor editing · 5c9a1a55
  Ralf Jung authored Mar 10, 2016
  
  5c9a1a55