Commits · master · Markus Klinik / abstract-analysis-ifl

01 Feb, 2016 2 commits
- reviews · 393d6108
  Markus Klinik authored Feb 01, 2016
  
  393d6108
- some personal comments · 269153ee
  Markus Klinik authored Feb 01, 2016
  
  269153ee
22 Jan, 2016 1 commit
- some notes on disadvantages · 32c5a912
  Markus Klinik authored Jan 22, 2016
  
  32c5a912
07 Jan, 2016 10 commits
- next steps · 23ede4d0
  Markus Klinik authored Jan 07, 2016
  
  23ede4d0
- wording · 726999b2
  Markus Klinik authored Jan 07, 2016
  
  726999b2
- consistent capitalization of basic tasks · b27eca69
  Markus Klinik authored Jan 07, 2016
  
  b27eca69
- syntax: put combinators together · 2d0bff70
  Markus Klinik authored Jan 07, 2016
  
  2d0bff70
- spacing · 9e5a1bcd
  Markus Klinik authored Jan 07, 2016
  
  9e5a1bcd
- spacing · 0d90b6b1
  Markus Klinik authored Jan 07, 2016
  
  0d90b6b1
- end on a positive note · 149c6180
  Markus Klinik authored Jan 07, 2016
  
  149c6180
- fix overfull hbox · ac254b33
  Markus Klinik authored Jan 07, 2016
  
  ac254b33
- resource requirements RR · d6753bf2
  Markus Klinik authored Jan 07, 2016
  
  d6753bf2
- capitalization · 4a297999
  Markus Klinik authored Jan 07, 2016
  
  4a297999
06 Jan, 2016 3 commits
- foo · 4a4ff239
  Markus Klinik authored Jan 06, 2016
  
  4a4ff239
- example · 22e02ef8
  Markus Klinik authored Jan 06, 2016
  
  22e02ef8
- example: constraints and solving them · 0e7d5acc
  Markus Klinik authored Jan 06, 2016
  
  0e7d5acc
05 Jan, 2016 4 commits
- example wip · 79dddef5
  Markus Klinik authored Jan 05, 2016
  
  79dddef5
- solving constraints · 78e4178d
  Markus Klinik authored Jan 05, 2016
  
  78e4178d
- generating constraints for loops · 4347b416
  Markus Klinik authored Jan 05, 2016
  
  4347b416
- the enter/exit thing · 7fd1980a
  Markus Klinik authored Jan 05, 2016
  
  7fd1980a
04 Jan, 2016 8 commits
- static analysis: ideas · 273b7477
  Markus Klinik authored Jan 04, 2016
  
  273b7477
- explanation of sos · c06a8a59
  Markus Klinik authored Jan 04, 2016
  
  c06a8a59
- type of fix · edbb687f
  Markus Klinik authored Jan 04, 2016
  
  edbb687f
- BoW -> BofW · c05cb720
  Markus Klinik authored Jan 04, 2016
  
  c05cb720
- restrictions · e0177972
  Markus Klinik authored Jan 04, 2016
  
  e0177972
- explain the combine operator · 9fe72bc7
  Markus Klinik authored Jan 04, 2016
  
  9fe72bc7
- more semantics · 0a660f15
  Markus Klinik authored Jan 04, 2016
  
  0a660f15
- syntax · 89f5d7d5
  Markus Klinik authored Jan 04, 2016
  
  89f5d7d5
03 Dec, 2015 12 commits
- star joke didn't work · d160ff5b
  Markus Klinik authored Dec 03, 2015
  
  d160ff5b
- clean up · f8a7529a
  Markus Klinik authored Dec 03, 2015
  
  f8a7529a
- rename example -> klinik2016-abstract-workflow-analysis-talk-fp-dag · b0f0a0b6
  Markus Klinik authored Dec 03, 2015
  
  b0f0a0b6
- remove obsolete file · 53c275c5
  Markus Klinik authored Dec 03, 2015
  
  53c275c5
- semantics, conclusion · 25b28b2a
  Markus Klinik authored Dec 03, 2015
  
  25b28b2a
- syntax, type system · e18ce857
  Markus Klinik authored Dec 03, 2015
  
  e18ce857
- program analysis · 55b6c54c
  Markus Klinik authored Dec 03, 2015
  
  55b6c54c
- all combinators · ed031af2
  Markus Klinik authored Dec 03, 2015
  
  ed031af2
- more frames · 77ca9c7e
  Markus Klinik authored Dec 03, 2015
  
  77ca9c7e
- slide numbering · 612f8a62
  Markus Klinik authored Dec 03, 2015
  
  612f8a62
- some frames · b723330d
  Markus Klinik authored Dec 03, 2015
  
  b723330d
- smaller title font; support author · e85ad01d
  Markus Klinik authored Dec 03, 2015
  
  e85ad01d