Commits · 5cd98a38550386ed2a19c124b05b95e617a69a66 · Iris / examples

16 Feb, 2018 4 commits
- CI: treat schedules like triggers · 5cd98a38
  Ralf Jung authored Feb 16, 2018
  
  5cd98a38
- add per-project targets · ba8ea2a3
  Ralf Jung authored Feb 16, 2018
```
Fixes #4
```
  ba8ea2a3
- bump Iris; add missing concurrent_stacks to _CoqProject · 69439eec
  Ralf Jung authored Feb 16, 2018
  
  69439eec
- concurrent stacks: add some comments · 82e114ce
  Ralf Jung authored Feb 16, 2018
  
  82e114ce
15 Feb, 2018 2 commits
- also test Coq 8.6 · 57630ac5
  Ralf Jung authored Feb 15, 2018
  
  57630ac5
- update CI · 6cf0349d
  Ralf Jung authored Feb 15, 2018
  
  6cf0349d
13 Feb, 2018 5 commits
- do nightly build against stable Coq · e3b46220
  Ralf Jung authored Feb 13, 2018
  
  e3b46220
- comment CI · b39f5696
  Ralf Jung authored Feb 13, 2018
  
  b39f5696
- fix CI · 8e151eb3
  Ralf Jung authored Feb 13, 2018
  
  8e151eb3
- move timing to Coq 8.7.1 · 6f895145
  Ralf Jung authored Feb 13, 2018
  
  6f895145
- work on CI · 73267fe8
  Ralf Jung authored Feb 13, 2018
  
  73267fe8
03 Feb, 2018 1 commit
- stop overwriting make uninstall · c8b4bdc5
  Ralf Jung authored Feb 03, 2018
  
  c8b4bdc5
25 Jan, 2018 1 commit
- remove validation again; it takes 90min · 3e4ad011
  Ralf Jung authored Jan 25, 2018
  
  3e4ad011
23 Jan, 2018 5 commits
- CI: also use ssreflect dev · 064167cf
  Ralf Jung authored Jan 23, 2018
  
  064167cf
- update .gitignore · 6faf4c1e
  Ralf Jung authored Jan 23, 2018
  
  6faf4c1e
- CI trigger: build only against Coq dev · 0056fc51
  Ralf Jung authored Jan 23, 2018
  
  0056fc51
- bump Iris · d042d61b
  Ralf Jung authored Jan 23, 2018
  
  d042d61b
- CI: nightly job can do validation · 9550d90e
  Ralf Jung authored Jan 23, 2018
  
  9550d90e
12 Jan, 2018 2 commits
- Add concurrent stacks with helping case study by Danny. · 5fc8c715
  Aleš Bizjak authored Jan 12, 2018
```
Fix #5.
```
  5fc8c715
- Add second intro example file accompanying lecture notes. · 85d365c5
  Aleš Bizjak authored Jan 12, 2018
  
  85d365c5
20 Dec, 2017 1 commit
- F_mur_ref_conc: simplify app · ece3f6fa
  Ralf Jung authored Dec 20, 2017
  
  ece3f6fa
18 Dec, 2017 3 commits
- update README · 2450b8d0
  Ralf Jung authored Dec 18, 2017
  
  2450b8d0
- test agains Coq 8.7.1 · 6150ac6e
  Ralf Jung authored Dec 18, 2017
  
  6150ac6e
- update Iris · 31c8fea1
  Ralf Jung authored Dec 18, 2017
  
  31c8fea1
17 Dec, 2017 2 commits
- fix README markdown better · 4e99180a
  Ralf Jung authored Dec 17, 2017
  
  4e99180a
- fix README markdown · 7cb3cd61
  Ralf Jung authored Dec 17, 2017
  
  7cb3cd61
15 Dec, 2017 4 commits
- Rename iris-lecture-notes to lecture_notes, and add it to _CoqProject · b4510f0d
  Ralf Jung authored Dec 15, 2017
  
  b4510f0d
- README · 4afbed2e
  Ralf Jung authored Dec 15, 2017
  
  4afbed2e
- Merge branch 'amin/spanning' into 'master' · f4246d3a
  Ralf Jung authored Dec 15, 2017
```
Add the spanning tree algorithm.

Closes #3

See merge request FP/iris-examples!3
```
  f4246d3a
- Add the spanning tree algorithm · 9542b86d
  Amin Timany authored Dec 14, 2017
  
  9542b86d
14 Dec, 2017 9 commits
- README; trailing newline · c3a8a2a3
  Ralf Jung authored Dec 14, 2017
  
  c3a8a2a3
- fix building with coq 8.6.1 · 9bad5ed7
  Ralf Jung authored Dec 14, 2017
  
  9bad5ed7
- no tabs · 90d27fc2
  Ralf Jung authored Dec 14, 2017
  
  90d27fc2
- Merge branch 'amin/logrel' into 'master' · 5d574803
  Ralf Jung authored Dec 14, 2017
```
Amin/logrel

Closes #2

See merge request FP/iris-examples!2
```
  5d574803
- Add logrel to README · eff14744
  Amin Timany authored Dec 14, 2017
  
  eff14744
- 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
- document case studies · 2e5b9a6d
  Ralf Jung authored Dec 14, 2017
  
  2e5b9a6d
- iris-lecture-notes examples added · 043247ee
  Lars Birkedal authored Dec 14, 2017
  
  043247ee
13 Dec, 2017 1 commit
- update README · ff1f03c3
  Ralf Jung authored Dec 13, 2017
  
  ff1f03c3