Merge Requests · Iris

Support tighter precedence for x.1, x.2 notation.

iris!93 · opened Nov 29, 2017 by David Swasey
- MERGED
- 6
updated Sep 08, 2019
Make x.1, x.2 notation compatible with ssrfun.

stdpp!21 · opened Nov 29, 2017 by David Swasey
- MERGED
- 5
updated Nov 29, 2017
Allow compiling against "dev" version of Coq

stdpp!20 · opened Nov 29, 2017 by Ralf Jung
- MERGED
- 4
updated Nov 29, 2017
Construct BI on monotone function spaces.

iris!92 · opened Nov 28, 2017 by Janno gen_proofmode
- MERGED
- 69
updated Dec 29, 2017
Fix some typos in Section 9.2 (Boxes) in the docs.

iris!89 · opened Nov 23, 2017 by Dan Frumin
- MERGED
- 1
updated Nov 23, 2017
Make invariants closed under weakening.

iris!85 · opened Nov 16, 2017 by Robbert Krebbers
- MERGED
- 9
updated Jan 24, 2018
Factor out solve_proper_prepare

stdpp!19 · opened Nov 16, 2017 by Ralf Jung
- MERGED
- 4
updated Nov 18, 2017
Pattern matching notation for monadic binds

stdpp!18 · opened Nov 14, 2017 by Robbert Krebbers
- MERGED
- 9
updated Nov 22, 2017
Fix typo in definition of weakest pre in documentation.

iris!84 · opened Nov 14, 2017 by Joseph Tassarotti
- MERGED
- 1
updated Nov 15, 2017
Use `stdpp_scope` for all notations.

stdpp!17 · opened Nov 09, 2017 by Robbert Krebbers
- MERGED
- 10
updated Nov 11, 2017
Make `fmap` left associative.

stdpp!16 · opened Nov 08, 2017 by Robbert Krebbers
- MERGED
- 1
updated Nov 12, 2017
Make atomic a type class.

iris!78 · opened Nov 04, 2017 by Robbert Krebbers
- MERGED
- 4
updated Nov 04, 2017
Provide a pretty-printer for [nat].

stdpp!15 · opened Oct 31, 2017 by Ghost User
- MERGED
- 8
updated Nov 29, 2017
Minor documentation fixes

stdpp!14 · opened Oct 31, 2017 by Ghost User
- MERGED
- 1
updated Oct 31, 2017
Provide an Infinite typeclass and a generic implementation of Fresh.

stdpp!13 · opened Oct 31, 2017 by Ghost User
- MERGED
- 16
updated Nov 12, 2017
Put the entire development under the BSD license

lambda-rust!9 · opened Oct 30, 2017 by Ralf Jung
- MERGED
- 7
updated Oct 30, 2017
Add poison

lambda-rust!8 · opened Oct 30, 2017 by Ralf Jung
- MERGED
- 4
updated Oct 30, 2017
update for more general saved_prop

examples!1 · opened Oct 29, 2017 by Ralf Jung
- MERGED
- 0
updated Jan 25, 2019
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.

stdpp!12 · opened Oct 27, 2017 by Jacques-Henri Jourdan
- MERGED
- 11
updated Oct 29, 2017
Add monadic `;;` and change level of the do-notation to 100

stdpp!10 · opened Oct 26, 2017 by Robbert Krebbers
- MERGED
- 4
updated Oct 28, 2017