Commits on Source (25)
-
Kimaya Bedarkar authored
-
Kimaya Bedarkar authored
Co-authored-by:
Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
-
Kimaya Bedarkar authored
Co-authored-by:
Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
-
-
-
-
Marijn van Wezel authored
-
Robbert Krebbers authored
Add lemma `StronglySorted_app_iff` See merge request iris/stdpp!584
-
Marijn van Wezel authored
-
Marijn van Wezel authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
(Note: rename some bound variables to avoid conflicts with `Implicit Types`.)
-
Robbert Krebbers authored
-
Ralf Jung authored
split up list.v into smaller files See merge request iris/stdpp!594
-
Ralf Jung authored
Showing
- CHANGELOG.md 19 additions, 3 deletionsCHANGELOG.md
- _CoqProject 5 additions, 0 deletions_CoqProject
- coq-lint.sh 1 addition, 1 deletioncoq-lint.sh
- stdpp/gmultiset.v 10 additions, 6 deletionsstdpp/gmultiset.v
- stdpp/list.v 4 additions, 5528 deletionsstdpp/list.v
- stdpp/list_basics.v 1299 additions, 0 deletionsstdpp/list_basics.v
- stdpp/list_misc.v 894 additions, 0 deletionsstdpp/list_misc.v
- stdpp/list_monad.v 1150 additions, 0 deletionsstdpp/list_monad.v
- stdpp/list_numbers.v 8 additions, 1 deletionstdpp/list_numbers.v
- stdpp/list_relations.v 1919 additions, 0 deletionsstdpp/list_relations.v
- stdpp/list_tactics.v 301 additions, 0 deletionsstdpp/list_tactics.v
- stdpp/sorting.v 27 additions, 15 deletionsstdpp/sorting.v
- stdpp/tactics.v 0 additions, 13 deletionsstdpp/tactics.v
- stdpp_bitvector/definitions.v 1 addition, 1 deletionstdpp_bitvector/definitions.v
- tests/multiset_solver.v 3 additions, 0 deletionstests/multiset_solver.v
- tests/tactics.ref 1 addition, 14 deletionstests/tactics.ref
- tests/tactics.v 0 additions, 10 deletionstests/tactics.v
Source diff could not be displayed: it is too large. Options to address this: view the blob.
stdpp/list_basics.v
0 → 100644
stdpp/list_misc.v
0 → 100644
stdpp/list_monad.v
0 → 100644
stdpp/list_relations.v
0 → 100644
stdpp/list_tactics.v
0 → 100644