~verifypn-cpn/verifypn/col_weight_fix

  • Committer: Andreas Klostergaard
  • Date: 2018-05-27 12:00:38 UTC
  • Revision ID: aklost11@student.aau.dk-20180527120038-tqfov0gupzutzza1
Fixed compilation warning.

------------- This line and the following will be ignored --------------

modified:
  PetriEngine/Colored/Expressions.h
Filename Latest Rev Last Changed Committer Comment Size
..
CTL 152.1.1 7 years ago Lasse S. J. Sequential CTL Engine Added Diff
Documentation 47 10 years ago Jiri Srba updated documentation for rule B (missing conditio Diff
lpsolve 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav Diff
PetriEngine 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
PetriParse 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
Scripts 44.2.40 9 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
Tests 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
.bzrignore 197.3.20 6 years ago Andreas Klostergaard Added CMake support. 138 bytes Diff Download File
CMakeLists.txt 200.1.2 5 years ago Andreas Klostergaard Moved from trunk, and removed uncached version. 1.2 KB Diff Download File
LICENSE 196 6 years ago Jiri Srba updated the license file 33.4 KB Diff Download File
makefile 152.34.1 6 years ago Jiri Srba merged in branch lp:~verifypn-stub/verifypn/inhib_ 26 bytes Diff Download File
makefile.linux32 152.32.35 6 years ago Peter G. Jensen fixed linux32 compilation 704 bytes Diff Download File
makefile.linux64 197.3.75 5 years ago Peter G. Jensen fixed compilation for release 708 bytes Diff Download File
makefile.osx32 152.32.40 6 years ago Peter G. Jensen osx 32bit 775 bytes Diff Download File
makefile.osx64 78 7 years ago Peter Gjøl Jensen makefiles, still needs work 750 bytes Diff Download File
makefile.win32 152.32.36 6 years ago Peter G. Jensen removed flag not supported by gcc6 828 bytes Diff Download File
makefile.win64 152.32.36 6 years ago Peter G. Jensen removed flag not supported by gcc6 830 bytes Diff Download File
README.mkd 44.2.47 9 years ago Jiri Srba updated README 2.2 KB Diff Download File
rules.mk 197.3.52 6 years ago Peter G. Jensen fixed compiler flag 2.2 KB Diff Download File
VerifyPN.cpp 204.1.9 5 years ago Peter G. Jensen fixed usage of error-codes, changes from cout to c 46.7 KB Diff Download File