Design review presentation
Merge https://github.com/emreturkoz34/apc524
Merge https://github.com/emreturkoz34/apc524
Merge branch 'master' of https://github.com/emreturkoz34/apc524
Merge branch 'master' of https://github.com/emreturkoz34/apc524
jklew: Implementation of monotonicity checking & selection of most monotonic progress variable finished for prototype.
Merge branch 'master' of https://github.com/emreturkoz34/apc524