Commits · 25db24c2dcb333956ed55cce913880e5036eaf69 · Iris / examples

10 Oct, 2017 1 commit
- update build system · a405ab11
  Ralf Jung authored Oct 10, 2017
  
  a405ab11
07 Oct, 2017 1 commit
- tweak opam build-dep installation · 1f37b537
  Ralf Jung authored Oct 07, 2017
  
  1f37b537
28 Sep, 2017 1 commit
- fix macOS · 777669b5
  Ralf Jung authored Sep 28, 2017
  
  777669b5
22 Sep, 2017 1 commit
- update CI and build system and Iris · 64ec23fe
  Ralf Jung authored Sep 22, 2017
  
  64ec23fe
17 Mar, 2017 1 commit
- update to new CI machine · 2f28694b
  Ralf Jung authored Mar 17, 2017
  
  2f28694b
10 Jan, 2017 1 commit
- update build system; update Iris to latest master · 097589c8
  Ralf Jung authored Jan 10, 2017
  
  097589c8
12 Dec, 2016 1 commit
- use OPAM-based CI · cbe5e59a
  Ralf Jung authored Dec 12, 2016
  
  cbe5e59a
14 Nov, 2016 1 commit
- Add more build instructions · 1c4eac1d
  Zhen Zhang authored Nov 14, 2016
  
  1c4eac1d
13 Nov, 2016 1 commit
- Better dep management · 5f5bb374
  Zhen Zhang authored Nov 13, 2016
  
  5f5bb374
07 Nov, 2016 1 commit
- use submodules to document matching Iris version · 889f7c78
  Ralf Jung authored Nov 07, 2016
  
  889f7c78
11 Sep, 2016 1 commit
- Add makefiles · 27a6a3c2
  Zhen Zhang authored Sep 11, 2016
  
  27a6a3c2