Commits · bc5e42d95c86f33e5caa65c82721fc9b2ddc4042 · Iris / lambda-rust

Feb 13, 2020
- bump GPFSL · bc5e42d9
  Ralf Jung authored 5 years ago
  
  bc5e42d9
Feb 11, 2020
- bump gpfsl · 5734a780
  Hai Dang authored 5 years ago
  
  5734a780
- bump Coq version · fb46b711
  Ralf Jung authored 5 years ago
  
  fb46b711
Feb 04, 2020
- bump gpfsl · 181d7111
  Hai Dang authored 5 years ago
  
  181d7111
Jan 19, 2020
- add gitignore for coq 8.10 · 271fc060
  Hai Dang authored 5 years ago
  
  271fc060
- bump gpfsl · c7cae6a1
  Hai Dang authored 5 years ago
  
  c7cae6a1
Dec 17, 2019
- bump gpfsl · fce2b735
  Hai Dang authored 5 years ago
  
  fce2b735
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
  
  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