~verifydtapn-contributers/verifydtapn/trunk

  • Committer: Jiri Srba
  • Date: 2020-10-09 17:09:26 UTC
  • mfrom: (338.3.8 af-games)
  • Revision ID: srba@cs.aau.dk-20201009170926-nv52m3w582ho6ke7
merged in lp:~verifydtapn-contributers/verifydtapn/af-games fixing a problem in control AF verification
Filename Latest Rev Last Changed Committer Comment Size
..
example-nets 68 13 years ago Morten Jacobsen merged with development branch Diff
example-workflows 303 9 years ago Jiri Srba added example workflow nets Diff
include 338.1.2 3 years ago Peter G. Jensen cmakeified Diff
src 68 13 years ago Morten Jacobsen merged with development branch Diff
.bzrignore 338.1.2 3 years ago Peter G. Jensen cmakeified 246 bytes Diff Download File
CMakeLists.txt 338.1.33 3 years ago srba.jiri at gmail set minimum version for mac binary 2.8 KB Diff Download File
README 338.1.41 3 years ago Kenneth Yrke Jørgensen Updated README with cross-compile Win 2.2 KB Diff Download File
toolchain-x86_64-w64-mingw32.cmake 338.1.35 3 years ago Kenneth Yrke Jørgensen Added build instructions for cross-compile for Win 645 bytes Diff Download File