Issues · Iris / stdpp

New issue

Slowness of `set_unfold` for `gset`

#29 · opened Mar 16, 2019 by Robbert
- 1
- 10
updated Apr 23, 2019
list_to_gmultiset

#27 · opened Feb 22, 2019 by Ralf Jung
- 4
updated Feb 23, 2019
Things missing in the changelog

#26 · opened Feb 22, 2019 by Ralf Jung
- 0
updated Mar 05, 2019
Generalize `gset_to_propset` to any `SemiSet` 0 of 1 task completed

#25 · opened Feb 20, 2019 by Robbert wishlist
- 0
updated Feb 20, 2019
More generic `FMap` type class that also supports collections

#21 · opened Oct 04, 2018 by Robbert wishlist
- 1
updated Feb 20, 2019
What about `Universe Minimization ToSet`?

#19 · opened Jun 09, 2018 by Ralf Jung
- 1
updated Jun 09, 2018
Notation for type class logic connectives as `TCAnd`, `TCOr`, ...

#11 · opened Feb 08, 2018 by Robbert
- 22
updated Feb 20, 2018
Inconsistent `RewriteRelation` instances

#10 · opened Jan 10, 2018 by Robbert
- 1
updated Jan 12, 2018
Provide some form of web doc

#9 · opened Dec 07, 2017 by Ralf Jung
- 13
updated Nov 22, 2018
`f_equiv` with different functions in head position produces a Leibniz equality

#8 · opened Dec 01, 2017 by Robbert
- 0
updated Dec 01, 2017
Improve support of simplify_option_eq (and simplify_map_eq?) for setoids

#7 · opened Nov 13, 2017 by Robbert wishlist
- 0
updated Feb 20, 2019
`done` loops because it repeatedly applies `split`

#6 · opened Oct 31, 2017 by Robbert
- 1
updated Nov 01, 2017
Something in std++ enables implicit generalization of instances

#5 · opened Oct 27, 2017 by Ralf Jung
- 14
updated Nov 14, 2017
Big ops and lattices in stdpp?

#2 · opened Oct 10, 2017 by Hai Dang
- 1
- 2
updated Feb 17, 2019