Commits · adec0a83631a787a8d7781d1d5f5468cf964292c · Iris / lambda-rust

Dec 10, 2019
- bump gpfsl · adec0a83
  Hai Dang authored 5 years ago
  
  adec0a83
Dec 09, 2019
- bump gpfsl · d3b61160
  Hai Dang authored 5 years ago
  
  d3b61160
Nov 22, 2019
- 8.9.0 -> 8.9.1 · e6d0ce2c
  Ralf Jung authored 5 years ago
  
  e6d0ce2c
- go back to 8.10 branch while we investigate 8.11 failure · ff4d1bb5
  Ralf Jung authored 5 years ago
  
  ff4d1bb5
Nov 21, 2019
- test 8.11 beta nightly · bf344325
  Ralf Jung authored 5 years ago
  
  bf344325
- Bump Iris (`iPoseProof` changes). · e3040108
  Robbert Krebbers authored 5 years ago
  
  e3040108
- remove no-longer-needed OCAML specifier · 57f7d7e7
  Ralf Jung authored 5 years ago
  
  57f7d7e7
- switch timing to 8.10.1 · b7021a59
  Ralf Jung authored 5 years ago
  
  b7021a59
- test just two coq versions, that should suffice · 5b8d7011
  Ralf Jung authored 5 years ago
  
  5b8d7011
Nov 08, 2019
- Bump Iris. · f85d5e61
  Robbert Krebbers authored 5 years ago
  
  View commits for tag RBrlx-POPL20-artifact RBrlx-POPL20-artifact
  
  f85d5e61
Nov 07, 2019
- Ignore more warnings (copied from Iris). · 25c5306a
  Robbert Krebbers authored 5 years ago
  
  25c5306a
Oct 10, 2019
- add LICENSE file · d0f2fcbd
  Hai Dang authored 5 years ago
  
  d0f2fcbd
- bump gpfsl · b593cbb6
  Hai Dang authored 5 years ago
  
  b593cbb6
- update README · 2c6fbd2f
  Hai Dang authored 5 years ago
  
  2c6fbd2f
Oct 08, 2019
- bump gpfsl · 1ed0960a
  Hai Dang authored 5 years ago
  
  1ed0960a
Oct 05, 2019
- fix missing renaming vPropC to vPropO · 0fcb5b61
  Hai Dang authored 5 years ago
  
  0fcb5b61
Oct 04, 2019
- bump gpfsl · 53bad519
  Hai Dang authored 5 years ago
  
  53bad519
Sep 20, 2019
- Remove "Unset Printing Notations" · dff0e8a0
  Jacques-Henri Jourdan authored 5 years ago
  
  dff0e8a0
- First attempt at fixing compatibility with Coq master. · b4f5fe15
  Jacques-Henri Jourdan authored 5 years ago
  
  b4f5fe15
Sep 19, 2019
- Bump gpfsl. · 626dff3d
  Robbert Krebbers authored 5 years ago
  
  626dff3d
Sep 15, 2019
- Fix Require. · f30f9831
  Jacques-Henri Jourdan authored 5 years ago
  
  f30f9831
- No longer depend on Export bugs. · c1dba573
  Jacques-Henri Jourdan authored 5 years ago
  
  c1dba573
- Fix build, bump gpfsl/iris · 988efdbe
  Jacques-Henri Jourdan authored 5 years ago
  
  988efdbe
Sep 11, 2019
- lft_intersect is a Meet instance. · 78317ef8
  Jacques-Henri Jourdan authored 5 years ago
  
  78317ef8
Aug 29, 2019
- bump GPFSL · 46e02807
  Ralf Jung authored 5 years ago
  
  46e02807
Aug 25, 2019
- Bump. · 5378cb11
  Robbert Krebbers authored 5 years ago
  
  5378cb11
Aug 13, 2019
- actually bump GPFSL · 602eb833
  Ralf Jung authored 5 years ago
  
  602eb833
- bump GPFSL · f15b04fd
  Ralf Jung authored 5 years ago
  
  f15b04fd
Jul 11, 2019
- bump gpfsl · 569a32e5
  Hai Dang authored 5 years ago
  
  569a32e5
Jun 28, 2019
- remove unneeded import · e8181464
  Hai Dang authored 5 years ago
  
  e8181464
Jun 18, 2019
- Bump Iris (C→O rename). · d2cbc541
  Robbert Krebbers authored 5 years ago
  
  d2cbc541
May 29, 2019
- Fix README · 83a7c4f4
  Hai Dang authored 5 years ago
  
  83a7c4f4
- bump gpfsl · cdc10981
  Hai Dang authored 5 years ago
  
  cdc10981
May 26, 2019
- comment why warnings got disabled · 2337b126
  Ralf Jung authored 5 years ago
  
  2337b126
May 24, 2019
- Bump Iris (changes in auth) · a8997c80
  Hai Dang authored 5 years ago
  
  a8997c80
May 15, 2019
- bump GPFSL · 1d5af139
  Ralf Jung authored 5 years ago
  
  1d5af139
- use nightly run to test Coq 8.10 beta, for now · 8f19a2a5
  Ralf Jung authored 5 years ago
  
  8f19a2a5
May 14, 2019
- bump GPFSL · d6adb2b7
  Ralf Jung authored 5 years ago
  
  d6adb2b7
May 13, 2019
- bump GPFSL · 1e60d570
  Ralf Jung authored 5 years ago
  
  1e60d570
- bump GPFSL · 25e0da96
  Ralf Jung authored 5 years ago
  
  25e0da96