Commits · c7ccff2b7f577564c40188f3843a7423c13ffc9f · Marek Chalupa / presentations

Oct 11, 2017
- rename concur presentations · c7ccff2b
  Marek Chalupa authored Oct 11, 2017
  
  c7ccff2b
- add skeleton for another concur · ad09888f
  Marek Chalupa authored Oct 11, 2017
  
  ad09888f
- update fakos pres pdf · c65f91b5
  Marek Chalupa authored Oct 11, 2017
  
  c65f91b5
Sep 16, 2017
- fix last slide · 430b267a
  Marek Chalupa authored Sep 16, 2017
  
  430b267a
- fix title · c419016a
  Marek Chalupa authored Sep 16, 2017
  
  c419016a
- zmeny · 63cddd8c
  Jan Strejček authored Sep 16, 2017
  
  63cddd8c
- posledni slajd · 3cffbcc8
  Jan Strejček authored Sep 16, 2017
  
  3cffbcc8
Sep 15, 2017
- update · b19e187b
  Marek Chalupa authored Sep 15, 2017
  
  b19e187b
- update tomas\' photo · 19e50c86
  Marek Chalupa authored Sep 15, 2017
  
  19e50c86
Sep 14, 2017
- add photos · 0323f72b
  Marek Chalupa authored Sep 14, 2017
  
  0323f72b
- add the pdf file · 6bff559d
  Marek Chalupa authored Sep 14, 2017
  
  6bff559d
- finish the virst version of the text · 7555caf7
  Marek Chalupa authored Sep 14, 2017
  
  7555caf7
- add symbolic execution tree · 194af6f4
  Marek Chalupa authored Sep 14, 2017
  
  194af6f4
Sep 13, 2017
- update code · dd2f852f
  Marek Chalupa authored Sep 13, 2017
  
  dd2f852f
- uprav strukturu · fd63dddc
  Marek Chalupa authored Sep 13, 2017
  
  fd63dddc
- first draft of the img · 83bd32df
  Marek Chalupa authored Sep 13, 2017
  
  83bd32df
- remove swp file · e5390b68
  Marek Chalupa authored Sep 13, 2017
  
  e5390b68
- move sources from tex subdir · 9f7bdc81
  Marek Chalupa authored Sep 13, 2017
  
  9f7bdc81
- remove html presentation · c678279a
  Marek Chalupa authored Sep 13, 2017
  
  c678279a
- Initial commit · e38a65a1
  Marek Chalupa authored Sep 13, 2017
  
  e38a65a1