Commits · 653c67ae44a14c47c34880cf4d1fcd39d77eaf56 · Iris / lambda-rust · GitLab

Snippets Groups Projects

Nov 30, 2016
- Re-do opam-pins · 653c67ae
  Ralf Jung authored 8 years ago
  653c67ae
Nov 29, 2016
- fix Iris version · 444892c5
  Ralf Jung authored 8 years ago
  
  444892c5
- Some tweaks, fix some TODOs. · f0f6966a
  Robbert Krebbers authored 8 years ago
  
  f0f6966a
- simplify statement of raw_bor_unnest · 131de3d7
  Ralf Jung authored 8 years ago
  
  131de3d7
- fix raw_reborrow · ac2fb8a0
  Ralf Jung authored 8 years ago
  
  ac2fb8a0
- update iris and fix build system to properly recompile iris when needed · d46265ee
  Ralf Jung authored 8 years ago
  
  d46265ee
- Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq · cad70685
  Jacques-Henri Jourdan authored 8 years ago
  
  cad70685
- More accessors. · 6487f788
  Jacques-Henri Jourdan authored 8 years ago
  
  6487f788
- fix for make build-dep to update changed dependencies · 44116b68
  Ralf Jung authored 8 years ago
  
  44116b68
- fix makefile · 2aca245f
  Ralf Jung authored 8 years ago
  
  2aca245f
- update Makefile · e0b972d7
  Ralf Jung authored 8 years ago
  
  e0b972d7
- Merge remote-tracking branch 'origin/hacking' · d1d5440b
  Ralf Jung authored 8 years ago
  
  d1d5440b
- Make progress on reborrowing. · e66436fa
  Robbert Krebbers authored 8 years ago
  e66436fa
- Update opam.pins. · 212822a8
  Jacques-Henri Jourdan authored 8 years ago
  
  212822a8
Nov 28, 2016
- Merge branch 'hacking' · 94621bdc
  Jacques-Henri Jourdan authored 8 years ago
  
  94621bdc
- Clarify some precedences. · 7802cf1a
  Jacques-Henri Jourdan authored 8 years ago
  
  7802cf1a
- change raw-bor: no longer expose the slice index · a62f5782
  Ralf Jung authored 8 years ago
  
  a62f5782
- Merge branch 'ci' into 'master' · 80da656e
  Ralf Jung authored 8 years ago
  80da656e
- new opam-based CI and build system · 73391eeb
  Ralf Jung authored 8 years ago
  
  73391eeb
- Merge branch 'hacking' of gitlab.mpi-sws.org:FP/LambdaRust-coq into hacking · 5302ccd5
  Jacques-Henri Jourdan authored 8 years ago
  
  5302ccd5
- Accessors for borrows and indexed borrows. · a48469ce
  Jacques-Henri Jourdan authored 8 years ago
  
  a48469ce
- Update Iris, fix some cases in rebor, tweak some proofs. · f931a587
  Robbert Krebbers authored 8 years ago
  f931a587
- Merge branch 'hacking' of gitlab.mpi-sws.org:FP/LambdaRust-coq into hacking · 8c95fb9b
  Robbert Krebbers authored 8 years ago
  
  8c95fb9b
- Remove type class instances that is now in Iris. · 4d7f63ca
  Robbert Krebbers authored 8 years ago
  
  4d7f63ca
- Progress on accessors. · 73d4412b
  Jacques-Henri Jourdan authored 8 years ago
  
  73d4412b
- Use indexed borrow notation. · 4d09cd40
  Jacques-Henri Jourdan authored 8 years ago
  
  4d09cd40
- Improve proof. · df4bb25b
  Jacques-Henri Jourdan authored 8 years ago
  
  df4bb25b
Nov 27, 2016
- Clarify dependencies. Rename todo.v -> accessors.v · 3401f1b3
  Jacques-Henri Jourdan authored 8 years ago
  
  3401f1b3
Nov 26, 2016
- Port the rest of the development, and move files around. · 93219985
  Jacques-Henri Jourdan authored 8 years ago
  
  93219985
- Port other kinds of borrows. · 1381523f
  Jacques-Henri Jourdan authored 8 years ago
  
  1381523f
Nov 25, 2016
- Ported shared borrows. · bd38fde2
  Jacques-Henri Jourdan authored 8 years ago
  
  bd38fde2
- Merge branch 'master' into hacking · 66cb744f
  Jacques-Henri Jourdan authored 8 years ago
  
  66cb744f
- Combining borrows. · fe89bd1c
  Jacques-Henri Jourdan authored 8 years ago
  
  fe89bd1c
- Merge branch 'hacking' of gitlab.mpi-sws.org:FP/LambdaRust-coq into hacking · c944ed2d
  Jacques-Henri Jourdan authored 8 years ago
  
  c944ed2d
- Using -* instead of |-. · ca8fa5ca
  Jacques-Henri Jourdan authored 8 years ago
  
  ca8fa5ca
- Start on reborrowing. · 5772761a
  Robbert Krebbers authored 8 years ago
  
  5772761a
- Splitting borrows. · e99ee139
  Jacques-Henri Jourdan authored 8 years ago
  
  e99ee139
- Update wrt iris new boxes. Starting spliting/combining borrows. · 6dd63e3a
  Jacques-Henri Jourdan authored 8 years ago
  
  6dd63e3a
- Misc. · e4e48778
  Robbert Krebbers authored 8 years ago
  
  e4e48778
- Merge branch 'hacking' of gitlab.mpi-sws.org:FP/LambdaRust-coq into hacking · 8830846a
  Jacques-Henri Jourdan authored 8 years ago
  
  8830846a