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 | |||
PetriEngine | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
PetriParse | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
Tests | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
LICENSE | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 34.3 KB | ||
makefile | 35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | 26 bytes | ||
makefile.linux32 | 36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 539 bytes | ||
makefile.linux64 | 36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 539 bytes | ||
makefile.osx32 | 35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | 641 bytes | ||
makefile.osx64 | 35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | 641 bytes | ||
makefile.win32 | 35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | 780 bytes | ||
README.mkd | 36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 1.7 KB | ||
rules.mk | 36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 1.7 KB | ||
VerifyPN.cpp | 34 | 10 years ago | Jonas Finnemann Jensen | Support for --disable-over-approximation fixing bu | 11.5 KB |