Commits · master · FP / summer_school_ex

19 Dec, 2017 1 commit
- update build system; make it compile with current LambdaRust · 8895122b
  Ralf Jung authored Dec 19, 2017
  
  8895122b
17 Aug, 2017 1 commit
- commented out some Evals in list_reverse · 271e712d
  Derek Dreyer authored Aug 17, 2017
  
  271e712d
10 Aug, 2017 4 commits
- changed has_lock to is_lock · 16ee3871
  Derek Dreyer authored Aug 10, 2017
  
  16ee3871
- changing everything to try done · 233f2681
  Derek Dreyer authored Aug 10, 2017
  
  233f2681
- converted more lock specs to Texan triples · b949256c
  Derek Dreyer authored Aug 10, 2017
  
  b949256c
- streamlined some stuff for presentation · 9ea0ac36
  Derek Dreyer authored Aug 10, 2017
  
  9ea0ac36
09 Aug, 2017 5 commits
- added Texan triples to ex06 · e1ee3a03
  Derek Dreyer authored Aug 09, 2017
  
  e1ee3a03
- refactored ex05 · 8b6b7595
  Derek Dreyer authored Aug 09, 2017
  
  8b6b7595
- Merge branch 'master' of gitlab.mpi-sws.org:FP/summer_school_ex · 7662d397
  Derek Dreyer authored Aug 09, 2017
  
  7662d397
- added swap example · 13dc9328
  Derek Dreyer authored Aug 09, 2017
  
  13dc9328
- Merge remote-tracking branch 'origin/janno/simple-wp_par' · 9879db9f
  Jacques-Henri Jourdan authored Aug 09, 2017
  
  9879db9f
07 Aug, 2017 4 commits
- Merge branch 'master' of gitlab.mpi-sws.org:FP/summer_school_ex · 5c5675ff
  Derek Dreyer authored Aug 07, 2017
  
  5c5675ff
- some edits · dedd74e5
  Derek Dreyer authored Aug 07, 2017
  
  dedd74e5
- Use simpler wp_par spec w/o predicates & later · 182f3adb
  Janno authored Aug 07, 2017
  
  182f3adb
- Fix opam.pins. · f60a559b
  Jacques-Henri Jourdan authored Aug 07, 2017
  
  f60a559b
04 Aug, 2017 3 commits
- Fix make build-deps · 170747a1
  Jacques-Henri Jourdan authored Aug 04, 2017
  
  170747a1
- Update opam.pins · e85c160b
  Jacques-Henri Jourdan authored Aug 04, 2017
  
  e85c160b
- Initial commit · 88c37964
  Jacques-Henri Jourdan authored Aug 04, 2017
  
  88c37964