Merge requests · Iris / examples

Attempt to fix Coq CI

!62 · created Mar 16, 2023 by Pierre Roux
- Merged
- 2
updated Mar 16, 2023
cleanup logrel

!57 · created Aug 26, 2022 by Amin Timany
- Merged
- 1
updated Aug 26, 2022
add counter with backup case study

!56 · created Aug 14, 2022 by Ralf Jung
- Merged
- 0
updated Aug 14, 2022
do not rely on make_laterable in logatom triples any more

!55 · created Aug 09, 2022 by Ralf Jung
- Merged
- 2
updated Aug 10, 2022
Bump Iris

!51 · created Jul 20, 2022 by Lennard Gäher
- Merged
- 0
updated Jul 20, 2022
Bump iris

!48 · created Jan 14, 2022 by Matthieu Sozeau
- Merged
- 0
updated Jan 14, 2022
Bump iris

!47 · created Jan 13, 2022 by Matthieu Sozeau
- Merged
- 1
updated Jan 13, 2022
fix names

!45 · created Jul 23, 2021 by Amin Timany
- Merged
- 22
updated Jul 23, 2021
Use the persistent function space in logical relations and add the symbol table example

!38 · created Jun 11, 2020 by Amin Timany
- Merged
- 86
updated May 20, 2021
Embedding of classical logic in Coq + proof mode support.

!44 · created May 12, 2021 by Robbert Krebbers
- Merged
- 1
updated May 14, 2021
remove logreal/heaplang in favor of POPL20 tutorial

!42 · created Oct 01, 2020 by Ralf Jung
- Merged
- 1
updated Oct 01, 2020
Fix dead link in README.md

!41 · created Sep 02, 2020 by Léo Stefanesco
- Merged
- 1
updated Sep 02, 2020
Add bag and tweak lock

!36 · created Jun 04, 2020 by Simon Friis Vindum
- Merged
- 12
updated Jul 17, 2020
LICENSE: Clarify which BSD license is being used

!40 · created Jul 10, 2020 by Paolo G. Giarrusso
- Merged
- 1
updated Jul 11, 2020
Add array-based queuing lock example

!34 · created May 14, 2020 by Simon Friis Vindum
- Merged
- 106
updated Jun 30, 2020
Update dependencies

!39 · created Jun 18, 2020 by Simon Friis Vindum
- Merged
- 2
updated Jun 18, 2020
Remove many variants of logical relations

!35 · created May 29, 2020 by Robbert Krebbers
- Merged
- 20
updated Jun 03, 2020
Correct use of iris-string-ident

!33 · created Apr 29, 2020 by Paolo G. Giarrusso
- Merged
- 3
updated Apr 30, 2020
use string-ident plugin a bit

!32 · created Apr 07, 2020 by Ralf Jung
- Merged
- 0
updated Apr 10, 2020
fill in blanks in LICENSE

!31 · created Mar 13, 2020 by Ralf Jung
- Merged
- 2
updated Mar 14, 2020