Commits · 6faf4c1ec739d6a1baf9e5fe63adab563eb5c014 · Iris / examples

23 Jan, 2018 4 commits
- 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 2 commits
- update README · ff1f03c3
  Ralf Jung authored Dec 13, 2017
  
  ff1f03c3
- update README · 4277f6cf
  Ralf Jung authored Dec 13, 2017
  
  4277f6cf
07 Dec, 2017 1 commit
- fix for Iris with stuckness bit · 5f8c023e
  Ralf Jung authored Dec 07, 2017
  
  5f8c023e
28 Nov, 2017 1 commit
- drop validation from CI, it does not work reliably enough · 41091021
  Ralf Jung authored Nov 28, 2017
  
  41091021
18 Nov, 2017 4 commits
- disable coqchk, it fails with a stack overflow · 570dfb24
  Ralf Jung authored Nov 18, 2017
  
  570dfb24
- Merge branch 'ralf/saved_prop' into 'master' · 9de17fa7
  Ralf Jung authored Nov 18, 2017
```
update for more general saved_prop

See merge request FP/iris-examples!1
```
  9de17fa7
- bump Iris · 39ed59b0
  Ralf Jung authored Nov 18, 2017
  
  39ed59b0
- Merge remote-tracking branch 'origin/master' into ralf/saved_prop · 51593b4a
  Ralf Jung authored Nov 18, 2017
  
  51593b4a
14 Nov, 2017 1 commit
- depend on autosubst · 322cef94
  Ralf Jung authored Nov 14, 2017
  
  322cef94
11 Nov, 2017 2 commits
- update for generalized saved_prop in Iris · 4a86a6af
  Ralf Jung authored Nov 11, 2017
  
  4a86a6af
- ssreflect 1.6.4 · e45c694b
  Ralf Jung authored Nov 11, 2017
  
  e45c694b
03 Nov, 2017 2 commits
- add missing build system file · 73aec4cd
  Ralf Jung authored Nov 03, 2017
  
  73aec4cd
- try to work around yet another opam silliness · 0a493923
  Ralf Jung authored Nov 03, 2017
  
  0a493923
30 Oct, 2017 1 commit
- do the nightly build against Coq 8.7.0 · 2c9655a0
  Ralf Jung authored Oct 30, 2017
  
  2c9655a0
28 Oct, 2017 1 commit
- Bump iris. · 7fbf8e44
  Jacques-Henri Jourdan authored Oct 28, 2017
  
  7fbf8e44