Commits · master · Iris / ReLoC

21 Oct, 2020 1 commit
- Bump Iris. · 244530d5
  Robbert Krebbers authored Oct 21, 2020
  
  244530d5
16 Oct, 2020 1 commit
- update dependencies; fix for or_comm shadowing · 4ce1d1a9
  Ralf Jung authored Oct 16, 2020
  
  4ce1d1a9
14 Oct, 2020 1 commit
- update dependencies; use local definition of to_heap · 9a1547b4
  Ralf Jung authored Oct 14, 2020
  
  9a1547b4
30 Sep, 2020 1 commit
- update Iris; adjust for auth change · 8d31c357
  Ralf Jung authored Sep 30, 2020
  
  8d31c357
29 Sep, 2020 1 commit
- update CI config · d7eaa257
  Ralf Jung authored Sep 29, 2020
  
  d7eaa257
15 Sep, 2020 4 commits
- bump Coq version · 47284006
  Ralf Jung authored Sep 15, 2020
  
  47284006
- Kill warnings in Coq 8.12. · ecc44ddd
  Robbert Krebbers authored Sep 15, 2020
  
  ecc44ddd
- fix sed fubar · c718ba6f
  Ralf Jung authored Sep 15, 2020
  
  c718ba6f
- update dependencies, fix for agree_op_inv rename · 99d3d681
  Ralf Jung authored Sep 15, 2020
  
  99d3d681
03 Sep, 2020 5 commits
- deny warnings · 54ac1ffd
  Ralf Jung authored Sep 03, 2020
  
  54ac1ffd
- Fix warnings. · b36ebb93
  Robbert Krebbers authored Sep 03, 2020
  
  b36ebb93
- sync warning settings · 07ba9c07
  Ralf Jung authored Sep 03, 2020
  
  07ba9c07
- update dependencies · c9c733fe
  Ralf Jung authored Sep 03, 2020
  
  c9c733fe
- test Coq 8.11.2 instead of 8.11.0 · 3cf42a82
  Ralf Jung authored Sep 03, 2020
  
  3cf42a82
02 Sep, 2020 1 commit
- remove bad reference from _CoqProject · 5e3348ca
  Ralf Jung authored Sep 02, 2020
  
  5e3348ca
18 Aug, 2020 5 commits
- tweak readme · eec78b3b
  Dan Frumin authored Aug 18, 2020
  
  eec78b3b
- update readme · 86bd8ddb
  Dan Frumin authored Aug 18, 2020
  
  86bd8ddb
- Merge branch 'cka_stuff' · fc42c8f3
  Dan Frumin authored Aug 18, 2020
  
  fc42c8f3
- finish some CKA equations · 8589cf35
  Dan Frumin authored Aug 18, 2020
  
  8589cf35
- Finish the closedness theorem. · aa5cdd7c
  Dan Frumin authored Aug 18, 2020
  
  aa5cdd7c
16 Aug, 2020 1 commit
- add polyeq.v · d6f4aacc
  Dan Frumin authored Aug 16, 2020
  
  d6f4aacc
15 Aug, 2020 2 commits
- iAlways -> iModIntro · 08e8d55a
  Dan Frumin authored Aug 15, 2020
  
  08e8d55a
- WIP closedness of typed programs · adb7f80c
  Dan Frumin authored Aug 15, 2020
  
  adb7f80c
11 Jul, 2020 4 commits
- WIP cka.v · ed9b2ba3
  Dan Frumin authored Jul 11, 2020
  
  ed9b2ba3
- Merge branch 'cka_stuff' of gitlab.mpi-sws.org:iris/reloc into cka_stuff · edb0c425
  Dan Frumin authored Jul 11, 2020
  
  edb0c425
- Playing around with PAR · 90b387b8
  Dan Frumin authored Apr 05, 2020
  
  90b387b8
- give expression scope to some example refinements · 2eff06ee
  Dan Frumin authored Mar 09, 2020
  
  2eff06ee
02 Jul, 2020 1 commit
- Bump Iris. · da7951b4
  Robbert Krebbers authored Jul 02, 2020
  
  da7951b4
25 Jun, 2020 1 commit
- add rel_resolveatomic_l · f7f8a069
  Dan Frumin authored Jun 25, 2020
  
  f7f8a069
19 Jun, 2020 2 commits
- typing for unary operations and pointer equality · c5a3ab55
  Dan Frumin authored Jun 19, 2020
  
  c5a3ab55
- Bump Iris (numbers). · 7dca8f94
  Robbert Krebbers authored Jun 19, 2020
  
  7dca8f94
18 Jun, 2020 1 commit
- Make closures in coinflip consistent. · e9d18530
  Robbert Krebbers authored Jun 18, 2020
  
  e9d18530
15 Jun, 2020 3 commits
- Tweak. · e82a0c75
  Robbert Krebbers authored Jun 15, 2020
  
  e82a0c75
- Consistent capitalization for TRef. · 2426a43b
  Robbert Krebbers authored Jun 15, 2020
  
  2426a43b
- Write constructors of `type` in a consistent way. · bdddd649
  Robbert Krebbers authored Jun 15, 2020
  
  bdddd649
14 Jun, 2020 1 commit
- Remove redundant expression typing rules for nat/unit/bool. · 79cb9880
  Robbert Krebbers authored Jun 14, 2020
  
  79cb9880
12 Jun, 2020 2 commits
- logrel_ctxequiv -> refines_sound_open · 909ddcab
  Dan Frumin authored Jun 12, 2020
  
  909ddcab
- refines_exists -> refines_pack · db3c672d
  Dan Frumin authored Jun 12, 2020
  
  db3c672d
11 Jun, 2020 1 commit
- More type notations. · 354cf991
  Robbert Krebbers authored Jun 12, 2020
  
  354cf991
03 Jun, 2020 1 commit
- Working on the helping_wrapper.v · 89580783
  Dan Frumin authored Jun 03, 2020
  
  89580783