Skip to content

Technical Reference: step index missing in state interpretation, typo in monotonicity def

janine-lohse requested to merge janine-lohse/iris:janine-lohse-master-patch-91737 into master
  1. The step index was missing in one occurence of the state interpretation inside the weakest pre definition
  2. The monotonicity was formulated with respect to the thread counter instead of the step counter

Merge request reports