← Back to branch summary

~verifypn-maintainers/verifypn/u3.0

Viewing all changes in revision 212.

  • Committer: Jiri Srba
  • Date: 2019-03-28 14:11:10 UTC
  • mfrom: (205.4.6 verifypn)
  • Revision ID: srba.jiri@gmail.com-20190328141110-9ja1heah7lvjtpas
merged in branch lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation 
when reduction rule H is applied

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: