~tapaal-dist-ctl/verifypn/new_deadlocksupport

Viewing all changes in revision 91.

  • Committer: Jiri Srba
  • Date: 2016-05-25 20:13:50 UTC
  • Revision ID: srba.jiri@gmail.com-20160525201350-gq6vg8crdi8h66y3
updated on the make files (removing -march=native flag)

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: