Commits · e1ba1c8cab48f9ea77c1dbb417ce56c6e8c10608 · Iris / lambda-rust

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
  
  View commits for tag popl18 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
Nov 04, 2017
- Bump Iris. · d185a08c
  Robbert Krebbers authored 7 years ago
  
  d185a08c
Nov 03, 2017
- try to work around yet another opam silliness · 5f0a6f6d
  Ralf Jung authored 7 years ago
  
  5f0a6f6d
Nov 02, 2017
- Port to latest Iris and make use of the `PureExec` infrastructure. · 2f245f20
  Robbert Krebbers authored 7 years ago
  
  2f245f20
Oct 30, 2017
- Merge branch 'bsd' into 'master' · d5f74898
  Ralf Jung authored 7 years ago
  
  Put the entire development under the BSD license See merge request FP/LambdaRust-coq!9
  d5f74898
- put the entire development under the BSD license · 1926f2b7
  Ralf Jung authored 7 years ago
  
  1926f2b7
- Merge branch 'ralf/poison' into 'master' · 128a62a1
  Ralf Jung authored 7 years ago
  
  Add poison See merge request FP/LambdaRust-coq!8
  128a62a1
- Add poison · e6c82af6
  Ralf Jung authored 7 years ago
  
  e6c82af6
- Do the nightly build against Coq 8.7.0 · 6096219f
  Ralf Jung authored 7 years ago
  
  6096219f
- bump Iris · c2224c2d
  Ralf Jung authored 7 years ago
  
  c2224c2d
Oct 29, 2017
- fix typo · 09e39b67
  Ralf Jung authored 7 years ago
  
  09e39b67
- comment a little more on CAS being atomic, but not strongly atomic · bfd93cba
  Ralf Jung authored 7 years ago
  
  bfd93cba
- tweak .gitlab-ci.yml · 00d220b7
  Ralf Jung authored 7 years ago
  
  00d220b7