Commits · 3e12b4d9bc70f56530b9870f87b32707f289cf7e · Iris / lambda-rust

Jun 19, 2020
- update dependencies and Makefile, import numbers · 3e12b4d9
  Ralf Jung authored 4 years ago
  
  3e12b4d9
Jun 12, 2020
- update dependencies · 74d6ade0
  Ralf Jung authored 4 years ago
  
  74d6ade0
May 29, 2020
- Bump ! · 8783576d
  Jacques-Henri Jourdan authored 4 years ago
  
  8783576d
May 24, 2020
- Bump Iris (sbi removal). · a0c78ebc
  Robbert Krebbers authored 4 years ago
  
  a0c78ebc
May 08, 2020
- update dependencies · 1b5e892f
  Ralf Jung authored 4 years ago
  
  1b5e892f
Apr 24, 2020
- update dependencies · d31d88f3
  Ralf Jung authored 4 years ago
  
  d31d88f3
Apr 23, 2020
- update dependencies · e2e30a60
  Ralf Jung authored 4 years ago
  
  e2e30a60
Apr 08, 2020
- fix for std++/Iris name overlap · 222401db
  Ralf Jung authored 4 years ago
  
  222401db
- update dependencies · a6c6c2ba
  Ralf Jung authored 4 years ago
  
  a6c6c2ba
Apr 04, 2020
- update dependencies · bcc7c0be
  Ralf Jung authored 5 years ago
  
  bcc7c0be
Mar 21, 2020
- update dependencies; seal typed_{read,write} to avoid unification slowness · 5629daac
  Ralf Jung authored 5 years ago
  
  5629daac
- update dependencies · e3368664
  Ralf Jung authored 5 years ago
  
  e3368664
Mar 20, 2020
- let's try Coq master · e299ceec
  Ralf Jung authored 5 years ago
  
  e299ceec
Mar 16, 2020
- update dependencies; fix for coercion removal · f1248ba9
  Ralf Jung authored 5 years ago
  
  f1248ba9
- update dependencies · 7c622cb0
  Ralf Jung authored 5 years ago
  
  7c622cb0
Mar 13, 2020
- Merge branch 'ralf/license' into 'masters/weak_mem' · 83beb651
  Hai Dang authored 5 years ago
  
  fill in blanks in LICENSE See merge request !16
  83beb651
- fill in blanks in LICENSE · ea6025c3
  Ralf Jung authored 5 years ago
  
  ea6025c3
Mar 11, 2020
- bump GPFSL · 3ac7d7c0
  Ralf Jung authored 5 years ago
  
  3ac7d7c0
Feb 25, 2020
- bump GPFSL; std++ rename fix · de52d5d0
  Ralf Jung authored 5 years ago
  
  de52d5d0
Feb 21, 2020
- port oapm file to 2.0 · 632c5f46
  Ralf Jung authored 5 years ago
  
  632c5f46
Feb 15, 2020
- bump Iris/GPFSL · dc3b7207
  Ralf Jung authored 5 years ago
  
  dc3b7207
Feb 14, 2020
- update README · 048dae38
  Ralf Jung authored 5 years ago
  
  048dae38
- update Makefile · 37c91303
  Ralf Jung authored 5 years ago
  
  37c91303
Feb 13, 2020
- adjust CI · f9726b51
  Ralf Jung authored 5 years ago
  
  f9726b51
- 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