Commits · 86a81cbee984afdac3b227184ed03e24178cb728 · Iris / examples

10 Dec, 2018 2 commits
- Simplify env_subst · 75cfa329
  Amin Timany authored Dec 10, 2018
  
  75cfa329
- Add Lam, Letin, and Seq in F_mu_ref_conc, add factorial example · 95bdb831
  Amin Timany authored Dec 06, 2018
  
  95bdb831
23 Jun, 2018 1 commit
- port to gen_proofmode · 791a505d
  Ralf Jung authored Jun 21, 2018
  
  791a505d
21 Mar, 2018 1 commit
- Make EqType more realistic · f4fed4c2
  Amin Timany authored Mar 21, 2018
  
  f4fed4c2
14 Dec, 2017 2 commits
- Change iris_logrel to logrel · f81eedba
  Amin Timany authored Dec 14, 2017
  
  f81eedba
- Add iris-logrel to examples · 61a4a07a
  Amin Timany authored Dec 14, 2017
  
  61a4a07a