Commits · 34b00352bf839c06d507ffb4518c7644106bc9c4 · Simon Spies / lambda-rust

Apr 27, 2018
- also test again coq 8.8.0 · 34b00352
  Ralf Jung authored 6 years ago
  
  34b00352
Apr 24, 2018
- update and hopefully speed up CI · 0454b1ad
  Ralf Jung authored 6 years ago
  
  0454b1ad
Apr 18, 2018
- update CI · beae69d3
  Ralf Jung authored 6 years ago
  
  beae69d3
- we no longer support Coq 8.6 · c93d8200
  Ralf Jung authored 6 years ago
  
  c93d8200
- bump Iris · 19d81295
  Ralf Jung authored 6 years ago
  
  19d81295
- bump Iris · 41b97687
  Ralf Jung authored 6 years ago
  
  41b97687
Apr 03, 2018
- update CI and build system · 389bbaa3
  Ralf Jung authored 6 years ago
  
  389bbaa3
Mar 24, 2018
- update CI · bde6103e
  Ralf Jung authored 7 years ago
  
  bde6103e
- update CI · ad5ba33e
  Ralf Jung authored 7 years ago
  
  ad5ba33e
- update CI, submit timing · dcb6cce0
  Ralf Jung authored 7 years ago
  
  dcb6cce0
Mar 22, 2018
- new_delete tweak (sync with gen_proofmode) · b5dcac80
  Ralf Jung authored 7 years ago
  
  b5dcac80
- CI: update to Coq 8.7.2 · 3d56a5f8
  Ralf Jung authored 7 years ago
  
  3d56a5f8
Mar 12, 2018
- bump Iris; no changes needed · e1ba1c8c
  Ralf Jung authored 7 years ago
  
  e1ba1c8c
Mar 01, 2018

Ralf Jung authored 7 years ago

Turns out this was just a measurement error, looking at the wrong performance numbers

f80ab256

Merge branch 'ci/janno/vmcast' into 'master' · d35b1cad

Ralf Jung authored 7 years ago

Use `<:` (VMcast) for instances of `exact I` in lang/tactics.v

See merge request FP/LambdaRust-coq!10

d35b1cad

Feb 28, 2018
- Remove leftover comments. · 1843d0c1
  Janno authored 7 years ago
  
  1843d0c1
- Try `<:` (VMcast) for instances of `exact I`. · 42a8dc3a
  Janno authored 7 years ago
  
  42a8dc3a
Feb 23, 2018
- Bump Iris, fix build. · 9843e3f0
  Jacques-Henri Jourdan authored 7 years ago
  
  9843e3f0
Feb 22, 2018
- Bump Iris, fix build. · 42ccca26
  Jacques-Henri Jourdan authored 7 years ago
  
  42ccca26
Feb 20, 2018
- bump Iris · 222e9727
  Ralf Jung authored 7 years ago
  
  222e9727
Feb 16, 2018
- treat schedules like triggers · af0379d5
  Ralf Jung authored 7 years ago
  
  af0379d5
Feb 15, 2018
- update CI · f9c39ba1
  Ralf Jung authored 7 years ago
  
  f9c39ba1
Feb 09, 2018
- fix for Iris bump · a4237b93
  Ralf Jung authored 7 years ago
  
  a4237b93
Feb 03, 2018
- stop overwriting make uninstall · bb62b280
  Ralf Jung authored 7 years ago
  
  bb62b280
Jan 23, 2018
- update .gitignore · 1f285113
  Ralf Jung authored 7 years ago
  
  1f285113
Jan 22, 2018
- Bump Iris. · f7fc8d6e
  Jacques-Henri Jourdan authored 7 years ago
  
  f7fc8d6e
Dec 18, 2017
- add opam descr · ddb51f10
  Ralf Jung authored 7 years ago
  
  ddb51f10
- publish packages on opam · c1d67fe4
  Ralf Jung authored 7 years ago
  
  c1d67fe4
- test against Coq 8.7.1 · 82f081cc
  Ralf Jung authored 7 years ago
  
  82f081cc
- update Iris · c2fd76ee
  Ralf Jung authored 7 years ago
  
  c2fd76ee
Dec 13, 2017
- update README · 37980b4f
  Ralf Jung authored 7 years ago
  
  37980b4f
- update README · 22c742cf
  Ralf Jung authored 7 years ago
  
  22c742cf
Dec 07, 2017
- fix for Iris with stuckness bit · 73584da3
  Ralf Jung authored 7 years ago
  
  73584da3
Nov 28, 2017
- no longer CI coqchk, it is just broken in too many ways · 62d7e313
  Ralf Jung authored 7 years ago
  
  62d7e313
Nov 24, 2017
- Bump Iris. · ec75790d
  Robbert Krebbers authored 7 years ago
  
  ec75790d
Nov 14, 2017
- bump Iris; fix compatibility with latest std++ · eec05e0a
  Ralf Jung authored 7 years ago
  
  popl18
  
  eec05e0a
Nov 11, 2017
- Proof mode name fixes (in preparation of Iris !83). · 4ee23161
  Robbert Krebbers authored 7 years ago
  
  4ee23161
- Bump Iris. · b6993ddc
  Robbert Krebbers authored 7 years ago
  
  b6993ddc
- ssreflect 1.6.4 · 1f8f00d8
  Ralf Jung authored 7 years ago
  
  1f8f00d8
Nov 08, 2017
- bump iris · f028cdeb
  Ralf Jung authored 7 years ago
  
  f028cdeb