Commits · master · datovky / ds2-notes

Jun 20, 2022
- Merge branch 'jiri-skrobanek/proofreading-dynamize' into 'master' · fbee2a56
  Martin Mareš authored 2 years ago
  fbee2a56
- Merge branch 'jiri-skrobanek/graph-proofreading' into 'master' · 55283c03
  Martin Mareš authored 2 years ago
  55283c03
Jun 18, 2022
- Proof-reading of dynamize chapter · 04bd1ec6
  Jirka Skrobanek authored 2 years ago
  
  04bd1ec6
- Proof-reading of graphs chapter · fc0d09ae
  Jirka Skrobanek authored 2 years ago
  
  fc0d09ae
Sep 21, 2021
- The Big Merge · c0f51118
  Martin Mareš authored 3 years ago
  
  c0f51118
- Merge branch 'pm-streaming' · c23efdce
  Martin Mareš authored 3 years ago
  
  c23efdce
- Merge branch 'jiri-skrobanek/persistence' · 983e1af4
  Martin Mareš authored 3 years ago
  
  983e1af4
- Persistence: Make it compile · a3f57bd0
  Martin Mareš authored 3 years ago
  
  a3f57bd0
- Merge branch 'fs-succinct' · 3ca32732
  Martin Mareš authored 3 years ago
  
  3ca32732
- Merge branch 'vk-dynamic' · 1743b5ed
  Martin Mareš authored 3 years ago
  
  1743b5ed
- Graphs: \footnote -> \foot · 6b16b021
  Martin Mareš authored 3 years ago
  
  6b16b021
- Graphs: Whitespace cleanup · d36b6fbe
  Martin Mareš authored 3 years ago
  
  d36b6fbe
- Graphs: Do not use empty labels in figures · e39ffd46
  Martin Mareš authored 3 years ago
  
  e39ffd46
- Graphs: Lie about Ipe version · eeba6f56
  Martin Mareš authored 3 years ago
  eeba6f56
Sep 09, 2021
- Dynamization: typos · 5ce685aa
  Ondřej Mička authored 3 years ago
  
  5ce685aa
- Succinct: typos · 7d2c9375
  Ondřej Mička authored 3 years ago
  
  7d2c9375
Sep 08, 2021
- Succinct: finalize 1st version · d003e0a3
  Filip Stedronsky authored 3 years ago
  
  d003e0a3
- Succinct: tree shapes + picture · 9abd703e
  Filip Stedronsky authored 3 years ago
  
  9abd703e
Sep 07, 2021
- Succinct: tree encoding intro · e4b72369
  Filip Stedronsky authored 3 years ago
  
  e4b72369
- Succinct: rearrange section headings · 6c223d27
  Filip Stedronsky authored 3 years ago
  
  6c223d27
- Succinct: Mixer parameter selecion, lemma proof completed · 680f8888
  Filip Stedronsky authored 3 years ago
  
  680f8888
Sep 06, 2021
- Succinct: progress · 7358e5e9
  Filip Stedronsky authored 3 years ago
  
  7358e5e9
- Graphs: Forgotten picture · b792873d
  Ondřej Mička authored 3 years ago
  
  b792873d
Sep 01, 2021
- Succinct: progress · 328470af
  Filip Stedronsky authored 3 years ago
  
  328470af
Aug 31, 2021
- Succinct: mixers intro · b662898c
  Filip Stedronsky authored 3 years ago
  
  b662898c
Aug 30, 2021
- Succinct: fixup · bd3aaf80
  Filip Stedronsky authored 3 years ago
  
  bd3aaf80
- SOLE: high-level interpretation as encoding boxes · f261b9c3
  Filip Stedronsky authored 3 years ago
  
  f261b9c3
Aug 29, 2021
- Succinct: SOLE: proof · f8a6a966
  Filip Stedronsky authored 3 years ago
  
  f8a6a966
- Succinct: SOLE: fixes · c52f9aac
  Filip Stedronsky authored 3 years ago
  
  c52f9aac
- Succinct: SOLE: sole_even not needed after all · 8bfbbb16
  Filip Stedronsky authored 3 years ago
  
  8bfbbb16
- Succinct: SOLE: fix redundancy calculations · 593d1521
  Filip Stedronsky authored 3 years ago
  
  593d1521
- Succinct: SOLE: fixes, forgotten file · acb06725
  Filip Stedronsky authored 3 years ago
  
  acb06725
- Succinct: SOLE diagrams · dbb630e7
  Filip Stedronsky authored 3 years ago
  
  dbb630e7
- Succinct: SOLE intro · b160f3eb
  Filip Stedronsky authored 3 years ago
  
  b160f3eb
- Succinct: prefix-free encoding intro · c6d1db62
  Filip Stedronsky authored 3 years ago
  
  c6d1db62
Aug 28, 2021
- Dynamization: Addition of a picture and rewrite · e62e5242
  Václav Končický authored 3 years ago
  
  e62e5242
- Succint: strings intro, naive encoding, practical encoding by groups · 6b3f2cd4
  Filip Stedronsky authored 3 years ago
  
  6b3f2cd4
- Succinct: merge definitions into a list · dbb01577
  Filip Stedronsky authored 3 years ago
  
  dbb01577
- Succinct: use new formalism in definitions · adabac6b
  Filip Stedronsky authored 3 years ago
  
  adabac6b
- Succinct: parametrize everything by $n$ to make asymptotics make sense;... · 66e3e642
  Filip Stedronsky authored 3 years ago
  66e3e642