Commits · master · Marek Chalupa / presentations

May 17, 2018
- update concur slides · 045b7506
  Marek Chalupa authored May 17, 2018
  
  045b7506
- update concur18 · 86bc579f
  Marek Chalupa authored May 17, 2018
  
  86bc579f
- update concur 18 · edb142a1
  Marek Chalupa authored May 17, 2018
  
  edb142a1
- add concur18 · dd401f39
  Marek Chalupa authored May 17, 2018
  
  dd401f39
Nov 20, 2017
- update paradise slides · b98fae7c
  Marek Chalupa authored Nov 20, 2017
  
  b98fae7c
Nov 19, 2017
- update paradise slides · 52d5e4d2
  Marek Chalupa authored Nov 19, 2017
  
  52d5e4d2
- update paradise slides · 0ab90cb3
  Marek Chalupa authored Nov 19, 2017
  
  0ab90cb3
- update slides · b1c94023
  Marek Chalupa authored Nov 19, 2017
  
  b1c94023
Nov 18, 2017
- paradise-seminar: start the slides · 912f2ab5
  Marek Chalupa authored Nov 18, 2017
  
  912f2ab5
- add skeleton for paradise seminar · dfe69d51
  Marek Chalupa authored Nov 18, 2017
  
  dfe69d51
- update slides · 29e06e52
  Marek Chalupa authored Oct 12, 2017
  
  29e06e52
Oct 12, 2017
- add pdf file · 9f44ef53
  Marek Chalupa authored Oct 12, 2017
  
  9f44ef53
- first version of concur slides · 4b0d35d1
  Marek Chalupa authored Oct 12, 2017
  
  4b0d35d1
- update · d3019bac
  Marek Chalupa authored Oct 12, 2017
  
  d3019bac
- update theory refinement · f3322a07
  Marek Chalupa authored Oct 12, 2017
  
  f3322a07
Oct 11, 2017
- small fix · a536a08e
  Marek Chalupa authored Oct 11, 2017
  
  a536a08e
- add slides about hifrog · 4d4f01bb
  Marek Chalupa authored Oct 11, 2017
  
  4d4f01bb
- 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