lp:verifypn/u1.0

Created by Jiri Srba on 2014-02-21 and last modified on 2014-03-18
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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Mature

Recent revisions

44. By Jiri Srba on 2014-03-18

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

43. By Jiri Srba on 2014-02-26

Released version 1.0.0 for TAPAAL

42. By Jiri Srba on 2014-02-18

changed version number to 1.0.0 and added copyright until 2014

41. By Jiri Srba on 2014-02-16

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

40. By Jiri Srba on 2013-10-21

corrected a typo in README file

39. By Jonas Finnemann Jensen <jonasfj@jonasfj-laptop> on 2013-10-20

Added win64 support

38. By Jiri Srba on 2013-10-20

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

37. By Jiri Srba on 2013-10-20

updated the README file

36. By Jonas Finnemann Jensen on 2013-10-19

Added lpsolve binaries for linux 32 and 64 bit

35. By Jonas Finnemann Jensen on 2013-10-19

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:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.