Commits · master · Lia Schütze / masterarbeit

Browse files

Apr 28, 2021
- Alt Amortized time implementation · 360339ac
  glyph authored Apr 28, 2021
  
  360339ac
Apr 07, 2021
- Bind for switch-dectree · 5f1586cb
  boreeas authored Apr 7, 2021
  
  5f1586cb
Apr 01, 2021
- DecTree with free-form switch · b1184ee5
  boreeas authored Apr 1, 2021
  
  b1184ee5
- DecTree with no type level runtime bound · 4e951248
  boreeas authored Apr 1, 2021
  
  4e951248
- Median without index · b4f482e5
  boreeas authored Apr 1, 2021
  
  b4f482e5
Mar 30, 2021
- Rewrite selectionsort · ca7f6f1f
  boreeas authored Mar 30, 2021
  
  ca7f6f1f
Mar 26, 2021
- Extract >>= from data structure · 283eee23
  boreeas authored Mar 26, 2021
  
  283eee23
Mar 15, 2021
- Swap order of time bounds in >>= · 086b72cf
  boreeas authored Mar 15, 2021
  
  086b72cf
Mar 12, 2021
- Merge branch 'master' of git.cs.uni-kl.de:m_schuetze13/masterarbeit · c39cd56b
  boreeas authored Mar 12, 2021
  
  c39cd56b
- Alternative DecTree implementation without delay · caae1821
  boreeas authored Mar 12, 2021
  
  caae1821
- Alternative DecTree implementation without delay · 2023fcfa
  boreeas authored Mar 12, 2021
  
  2023fcfa
Mar 11, 2021
- Monad law proofs · f7c78525
  boreeas authored Mar 11, 2021
  
  f7c78525
- Prevent arbitrary stacking of 0-delays · 70a753a3
  boreeas authored Mar 11, 2021
  
  70a753a3
Nov 26, 2020
- Update gitignore · d9890e63
  glyph authored Nov 26, 2020
  
  d9890e63
- Viva presentation · 64772476
  glyph authored Nov 26, 2020
  
  64772476
Oct 13, 2020
- Final Edits · 5a564c45
  glyph authored Oct 13, 2020
  
  5a564c45
Oct 11, 2020
- Minor edits · a219ac6e
  glyph authored Oct 11, 2020
  
  a219ac6e
- Column label centered · b33daa2b
  glyph authored Oct 11, 2020
  
  b33daa2b
- Quotation marks · 79eee2c4
  glyph authored Oct 11, 2020
  
  79eee2c4
- Cover design · 99668d18
  glyph authored Oct 11, 2020
  
  99668d18
- Overall editing · d099a171
  glyph authored Oct 11, 2020
  
  d099a171
Oct 06, 2020
- Edit amortized framework chapter · a05084a7
  glyph authored Oct 6, 2020
  
  a05084a7
- Edit actual time case studies · 77d89a04
  glyph authored Oct 6, 2020
  
  77d89a04
- Label for overview chapter · 679d817f
  glyph authored Oct 6, 2020
  
  679d817f
Oct 05, 2020
- Edit framework chapter · cdcb7937
  glyph authored Oct 5, 2020
  
  cdcb7937
- Add refs to background chapter · 21841787
  glyph authored Oct 5, 2020
  
  21841787
Oct 04, 2020
- Edit background · 41b63247
  glyph authored Oct 4, 2020
  
  41b63247
- Add reference for bin heap, amortized analysis · 7b851eec
  glyph authored Oct 4, 2020
  
  7b851eec
- Edit introduction · a15868be
  glyph authored Oct 4, 2020
  
  a15868be
- German version of abstract · 1a8ffcea
  glyph authored Oct 4, 2020
  
  1a8ffcea
- Edit conclusion · 45e89756
  glyph authored Oct 4, 2020
  
  45e89756
Oct 03, 2020
- Amortized case studies · e0c158a3
  glyph authored Oct 3, 2020
  
  e0c158a3
Sep 30, 2020
- Thesis: Amortized chapters · d68b091f
  glyph authored Sep 30, 2020
  
  d68b091f
- Thesis · 4bda1605
  glyph authored Sep 30, 2020
  
  4bda1605
- Change stuff in framework · c0871143
  glyph authored Sep 30, 2020
  
  c0871143
Sep 26, 2020
- Delete Min impl · 022eb0b0
  boreeas authored Sep 26, 2020
  
  022eb0b0
Sep 25, 2020
- Heap 0.9 · 1ac4f0e9
  boreeas authored Sep 25, 2020
  
  1ac4f0e9
- subst elim for implicit parameterized funs · 7ca01742
  boreeas authored Sep 25, 2020
  
  7ca01742
- Amortized Time special casing · b37ce12c
  boreeas authored Sep 25, 2020
  
  b37ce12c
- Additional maths stuff · c8dcd904
  boreeas authored Sep 25, 2020
  
  c8dcd904