Commits · 67ee87b89f81133970cd7db85ee04b85948b3110 · Iris / examples

25 Jan, 2019 1 commit
- create logatom directory and move elimination stack into it · b254321f
  Ralf Jung authored Jan 25, 2019
  
  b254321f
20 Dec, 2018 1 commit
- Semantic typing for heap_lang. · 6a5494aa
  Robbert Krebbers authored Dec 12, 2018
  
  6a5494aa
13 Jul, 2018 1 commit
- Start with logically atomic stack: Write the code · 43199eff
  Ralf Jung authored Jun 12, 2018
  
  43199eff
20 Jun, 2018 1 commit
- add hocap target · c34a636b
  Ralf Jung authored Jun 20, 2018
  
  c34a636b
09 Apr, 2018 1 commit
- fix lecture_notes target · e146b872
  Ralf Jung authored Apr 09, 2018
  
  e146b872
16 Feb, 2018 1 commit
- add per-project targets · ba8ea2a3
  Ralf Jung authored Feb 16, 2018
```
Fixes #4
```
  ba8ea2a3
03 Feb, 2018 2 commits
- stop overwriting make uninstall · c8b4bdc5
  Ralf Jung authored Feb 03, 2018
  
  c8b4bdc5
- stop overwriting make uninstall · 25db24c2
  Ralf Jung authored Feb 03, 2018
  
  25db24c2
03 Nov, 2017 1 commit
- add missing build system file · 73aec4cd
  Ralf Jung authored Nov 03, 2017
  
  73aec4cd
22 Sep, 2017 1 commit
- update CI and build system and Iris · 64ec23fe
  Ralf Jung authored Sep 22, 2017
  
  64ec23fe