Commits · master · Jan / iris-coq

Browse files

Jul 30, 2018
- NEW: Now with strange typing error. · 8f1acb74
  Jan authored Jul 30, 2018
  
  8f1acb74
Jun 08, 2018
- fix markdown · 1d29427d
  Ralf Jung authored Jun 8, 2018
  
  1d29427d
- convert Naming to markdown · afb9d627
  Ralf Jung authored Jun 8, 2018
  
  afb9d627
- improve naming convention doc for suffices · 26827738
  Ralf Jung authored Jun 8, 2018
  
  26827738
- Merge branch 'master' into 'master' · 68fed70f
  Ralf Jung authored Jun 8, 2018
  68fed70f
- Added naming conventions for definitions to naming.txt · 64a378b9
  Jan authored Jun 8, 2018
  
  64a378b9
May 31, 2018
- Typo typo. · 061e8d6a
  Robbert Krebbers authored May 31, 2018
  061e8d6a
May 30, 2018
- Fix typo in ProofMode.md (thanks to Hai). · ad0201e9
  Robbert Krebbers authored May 30, 2018
  
  ad0201e9
- update Makefile · 219cc3a9
  Ralf Jung authored May 30, 2018
  
  219cc3a9
May 25, 2018
- update CI · 339d99d7
  Ralf Jung authored May 25, 2018
  
  339d99d7
May 24, 2018
- bump std++; fix uses of default · 891cbf51
  Ralf Jung authored May 24, 2018
  
  891cbf51
May 23, 2018
- Bump std++. · 497bd8a8
  Robbert Krebbers authored May 23, 2018
  
  497bd8a8
- Local update `(x, x) ~l~> (y, y)`. · e914cc7e
  Robbert Krebbers authored May 23, 2018
  
  e914cc7e
- A stronger version of `cinv_open`. · 11eacd8b
  Robbert Krebbers authored May 23, 2018
  11eacd8b
- don't export derived, that leads to uPred being the wrong module · b043f3a3
  Ralf Jung authored May 23, 2018
  
  b043f3a3
- Revert "Some results about `frac_auth` by Danny and Ales." · 4fc7ee79
  Robbert Krebbers authored May 23, 2018
  4fc7ee79
- Rename `cmra_opM_assoc` → `cmra_op_opM_assoc` and `cmra_opM_assoc'` → `cmra_opM_opM_assoc`. · 876771df
  Robbert Krebbers authored May 23, 2018
  876771df
- Stronger version of allocation rule for cancelable invariants. · 909d2f08
  Robbert Krebbers authored May 23, 2018
  
  909d2f08
May 17, 2018
- Rename `frag_auth_op` into `frac_auth_frag_op` (the old name was inconsistent). · 463474fb
  Robbert Krebbers authored May 17, 2018
  463474fb
May 14, 2018
- Bump std++. · e67830a6
  Robbert Krebbers authored May 14, 2018
  
  e67830a6
May 11, 2018
- Merge branch 'master' into 'master' · 59562238
  Ralf Jung authored May 11, 2018
  59562238
May 09, 2018
- All multiset elements are cancelable. · a70caa4b
  Robbert Krebbers authored May 9, 2018
  
  a70caa4b
- Some results about `frac_auth` by Danny and Ales. · 465dd9f4
  Robbert Krebbers authored May 9, 2018
  
  465dd9f4
- fix make build-dep · d44bf0ee
  Ralf Jung authored May 9, 2018
  
  d44bf0ee
- update CI · f922b5cc
  Ralf Jung authored May 9, 2018
  
  f922b5cc
May 03, 2018
- fix `head_stuck` · 67bef9f9
  Glen Mével authored May 3, 2018
  
  67bef9f9
Apr 27, 2018
- Bump std++. · 1ab890fc
  Robbert Krebbers authored Apr 27, 2018
  
  1ab890fc
- Fix #184. · 199d205a
  Robbert Krebbers authored Apr 27, 2018
  
  199d205a
- I think I made the previous commit in the wrong project... anyway, bump std++ · e53c497d
  Ralf Jung authored Apr 27, 2018
  
  e53c497d
- bump Iris · fd314ce3
  Ralf Jung authored Apr 27, 2018
  
  fd314ce3
Apr 25, 2018
- fix Makefile · 27d9154a
  Ralf Jung authored Apr 25, 2018
  
  27d9154a
- only do the 'reinstall build-dep package' on opam 1 · b419fc70
  Ralf Jung authored Apr 25, 2018
  
  b419fc70
Apr 24, 2018
- CI: let's see if opam reinstall works faster than opam upgrade for changing build-deps · 17a99876
  Ralf Jung authored Apr 24, 2018
  
  17a99876
Apr 23, 2018
- improve wp_apply evar test · 784353e0
  Ralf Jung authored Apr 23, 2018
  
  784353e0
- add test for wp_apply and evars (#181) · 515ba099
  Ralf Jung authored Apr 23, 2018
  
  515ba099
- enable a test that failed with Coq 8.6 · a82aa047
  Ralf Jung authored Apr 23, 2018
  
  a82aa047
Apr 20, 2018
- Fix issue #181: let `wp_expr_eval` check that the goal is in fact a WP. · c650b0ee
  Robbert Krebbers authored Apr 20, 2018
  c650b0ee
Apr 18, 2018
- update CI · be553c16
  Ralf Jung authored Apr 18, 2018
  
  be553c16
- bump std++ · 61a020cf
  Ralf Jung authored Apr 18, 2018
  
  61a020cf
- test against Coq 8.8.0 · 5d40b106
  Ralf Jung authored Apr 18, 2018
  
  5d40b106