Commits · dff0e8a030cac148f70d6c4d77bd23103e55daed · Iris / lambda-rust

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
May 12, 2019
- fix GPFSL version · 13a8ee74
  Ralf Jung authored 5 years ago
  
  13a8ee74
- silence annoyingly verbose deprecation warning · 3369b5ca
  Ralf Jung authored 5 years ago
  
  3369b5ca
- experiment: do nightly build against Coq master · 831ded6e
  Ralf Jung authored 5 years ago
  
  831ded6e
- fix dependency version · deef9350
  Ralf Jung authored 5 years ago
  
  deef9350
- bump Iris (no changes needed) · f8e195cf
  Ralf Jung authored 5 years ago
  
  f8e195cf
- remove dead submodule · 5c8595d6
  Ralf Jung authored 5 years ago
  
  5c8595d6
- treat API pipelines like trigger and schedules · d1b7534f
  Ralf Jung authored 5 years ago
  
  d1b7534f
May 02, 2019
- Fix. · f1b59d07
  Robbert Krebbers authored 5 years ago
  
  f1b59d07
- Bump gpfsl. · 7d9516fc
  Robbert Krebbers authored 5 years ago
  
  7d9516fc
Apr 25, 2019
- Bump. · 7c6d21c6
  Robbert Krebbers authored 5 years ago
  
  7c6d21c6
Mar 07, 2019
- bump Iris, fix for _cofinite · c054aabd
  Ralf Jung authored 6 years ago
  
  c054aabd
Mar 06, 2019
- fix merge + bump gpfsl · dc3ff29e
  Hai Dang authored 6 years ago
  
  dc3ff29e
Mar 04, 2019
- Merge branch 'master' into ci/weak_mem and bump gpfsl · 275d6fba
  Hai Dang authored 6 years ago
  
  275d6fba
- bump iris · 8e868ab4
  Hai Dang authored 6 years ago
  
  8e868ab4
Feb 28, 2019
- update the Coq version we run nightly · f4eeb4b3
  Ralf Jung authored 6 years ago
  
  f4eeb4b3
- one timing job is enough · 8e4870ef
  Ralf Jung authored 6 years ago
  
  8e4870ef
- test Coq 8.9.0 instead of 8.7.2 · 745deb27
  Ralf Jung authored 6 years ago
  
  745deb27