Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn/u1.0
Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

VerifyPN Maintainers

Recent revisions

44. By Jiri Srba

fixes and int overflow for memory limit and increases version number to 1.0.1

43. By Jiri Srba

Released version 1.0.0 for TAPAAL

42. By Jiri Srba

changed version number to 1.0.0 and added copyright until 2014

41. By Jiri Srba

Fixed bug #1280894 (for weighted arcs multiple tokens are now printed in the error trace)

40. By Jiri Srba

corrected a typo in README file

39. By Jonas Finnemann Jensen <jonasfj@jonasfj-laptop>

Added win64 support

38. By Jiri Srba

updated makefiles for Mac OS X 10.6 compatibility (-mmacosx-version-min=10.6)

37. By Jiri Srba

updated the README file

36. By Jonas Finnemann Jensen

Added lpsolve binaries for linux 32 and 64 bit

35. By Jonas Finnemann Jensen

Support for osx32 and osx64 bit builds, we now have ugly binaries in source tree

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.