Commits · 8af781b5f7cc3b6364859421bfd9e0ed9c6c8884 · Simon Spies / lambda-rust

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