Commits · master · Iris / lambda-rust

30 Nov, 2022 2 commits
- update dependencies · 950a713f
  Ralf Jung authored Nov 30, 2022
  
  950a713f
- update dependencies · 0c4cb59a
  Ralf Jung authored Nov 30, 2022
  
  0c4cb59a
29 Nov, 2022 2 commits
- update dependencies · 336e6b1a
  Ralf Jung authored Nov 29, 2022
  
  336e6b1a
- Bump Iris. · 8af781b5
  Robbert Krebbers authored Nov 29, 2022
  
  8af781b5
12 Aug, 2022 4 commits
- avoid some deprecated functions · 36ca289a
  Ralf Jung authored Aug 12, 2022
  
  36ca289a
- nicer proof script fix · e051894d
  Ralf Jung authored Aug 12, 2022
  
  e051894d
- 8.16-compat · aa0081c5
  Ralf Jung authored Aug 12, 2022
  
  aa0081c5
- Bump Iris. · 73f69784
  Robbert Krebbers authored Aug 12, 2022
  
  73f69784
11 Aug, 2022 6 commits
- go back to 8.15 for nightly tests for now · 2f285b0e
  Ralf Jung authored Aug 11, 2022
  
  2f285b0e
- avoid a whacky rewrite that no longer works with Coq 8.16 · 781d0b1e
  Ralf Jung authored Aug 11, 2022
  
  781d0b1e
- switch to newer ocaml · d6f8c9ac
  Ralf Jung authored Aug 11, 2022
  
  d6f8c9ac
- nightly test against 8.16 · 66d6885d
  Ralf Jung authored Aug 11, 2022
  
  66d6885d
- Remove some stuff that's in the stdlib. · 586a2163
  Robbert Krebbers authored Aug 11, 2022
  
  586a2163
- Bump Iris. · b3985249
  Robbert Krebbers authored Aug 11, 2022
  
  b3985249
03 Aug, 2022 1 commit
- update dependencies · 98949375
  Ralf Jung authored Aug 03, 2022
  
  98949375
27 Jul, 2022 1 commit
- Bump Iris (later credits). · 5d1f75c5
  Robbert Krebbers authored Jul 27, 2022
  
  5d1f75c5
20 Jul, 2022 3 commits
- stronger fixpoint unfolding lemmas · 8081b69c
  Ralf Jung authored Jul 20, 2022
  
  8081b69c
- some more lemmas about our relations on types · f10f7c6c
  Ralf Jung authored Jul 20, 2022
  
  f10f7c6c
- add example of using type_fixpoint · 49d73623
  Ralf Jung authored Jul 20, 2022
  
  49d73623
16 Jul, 2022 1 commit
- fix a comment · 2fedcccb
  Ralf Jung authored Jul 16, 2022
  
  2fedcccb
05 Jul, 2022 2 commits
- update dependencies · 90bc7991
  Ralf Jung authored Jul 05, 2022
  
  90bc7991
- update dependencies · dca7dfd7
  Ralf Jung authored Jul 05, 2022
  
  dca7dfd7
28 Jun, 2022 1 commit
- update dependencies · e322e571
  Ralf Jung authored Jun 28, 2022
  
  e322e571
17 May, 2022 2 commits
- make license machine-readable · 4b96b6de
  Ralf Jung authored May 17, 2022
  
  4b96b6de
- update dependencies · e9bafb5a
  Ralf Jung authored May 17, 2022
  
  e9bafb5a
16 May, 2022 1 commit
- update dependencies · add97de2
  Ralf Jung authored May 16, 2022
  
  add97de2
14 May, 2022 1 commit
- update dependencies · be09aa8b
  Ralf Jung authored May 14, 2022
  
  be09aa8b
13 May, 2022 3 commits
- remove some no longer necessary type annotations · 32410b1a
  Ralf Jung authored May 13, 2022
  
  32410b1a
- update dependencies: envs_entails_eq rename · 86faa0aa
  Ralf Jung authored May 13, 2022
  
  86faa0aa
- update dependencies · da9d2506
  Ralf Jung authored May 13, 2022
  
  da9d2506
12 May, 2022 1 commit
- Mutex might become covariant · 091c7a5b
  Ralf Jung authored May 12, 2022
  
  091c7a5b
11 May, 2022 2 commits
- fix deprecation warnings · b949ecea
  Ralf Jung authored May 11, 2022
  
  b949ecea
- bump Coq · 399c450a
  Ralf Jung authored May 11, 2022
  
  399c450a
07 May, 2022 2 commits
- use faster ocaml · 04d1e29b
  Ralf Jung authored May 07, 2022
  
  04d1e29b
- make ocaml version explicit · 85f3947a
  Ralf Jung authored May 07, 2022
  
  85f3947a
12 Apr, 2022 1 commit
- update dependencies · a39769d4
  Ralf Jung authored Apr 12, 2022
  
  a39769d4
21 Mar, 2022 2 commits
- update dependencies · 48343c42
  Ralf Jung authored Mar 21, 2022
  
  48343c42
- update IRis · 803b4b95
  Ralf Jung authored Mar 21, 2022
  
  803b4b95
20 Feb, 2022 1 commit
- explain why we prove Cell: Copy · 876c6af5
  Ralf Jung authored Feb 20, 2022
  
  876c6af5
17 Jan, 2022 1 commit
- update dependencies, add missing Frame instances · 8753a224
  Ralf Jung authored Jan 16, 2022
  
  8753a224