~verifypn-maintainers/verifypn/u1.2

  • Committer: Jonas Finnemann Jensen
  • Date: 2013-10-19 18:20:00 UTC
  • Revision ID: jopsen@gmail.com-20131019182000-dhbugtqyjmmr7n52
Added lpsolve binaries for linux 32 and 64 bit
Filename Latest Rev Last Changed Committer Comment Size
..
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
Tests 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
LICENSE 1 12 years ago Jonas Finnemann Jensen Import of sources from github 34.3 KB Diff Download File
makefile 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav 26 bytes Diff Download File
makefile.linux32 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 539 bytes Diff Download File
makefile.linux64 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 539 bytes Diff Download File
makefile.osx32 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav 641 bytes Diff Download File
makefile.osx64 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav 641 bytes Diff Download File
makefile.win32 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav 780 bytes Diff Download File
README.mkd 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 1.7 KB Diff Download File
rules.mk 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 1.7 KB Diff Download File
VerifyPN.cpp 34 10 years ago Jonas Finnemann Jensen Support for --disable-over-approximation fixing bu 11.5 KB Diff Download File