~verifypn-maintainers/verifypn/u1.0

From Revision 44 to 25

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
44		fixes and int overflow for memory limit and increases versio... fixes and int overflow for memory limit and increases version number to 1.0.1	Jiri Srba	10 years ago
43		Released version 1.0.0 for TAPAAL Released version 1.0.0 for TAPAAL	Jiri Srba	10 years ago
42		changed version number to 1.0.0 and added copyright until 20... changed version number to 1.0.0 and added copyright until 2014	Jiri Srba	10 years ago
41		Fixed bug #1280894 (for weighted arcs multiple tokens are no... Fixed bug #1280894 (for weighted arcs multiple tokens are now printed in the error trace)	Jiri Srba	10 years ago
40		corrected a typo in README file corrected a typo in README file	Jiri Srba	10 years ago
39		Added win64 support Added win64 support	Jonas Finnemann Jens...	10 years ago
38		updated makefiles for Mac OS X 10.6 compatibility (-mmacosx-... updated makefiles for Mac OS X 10.6 compatibility (-mmacosx-version-min=10.6)	Jiri Srba	10 years ago
37		updated the README file updated the README file	Jiri Srba	10 years ago
36		Added lpsolve binaries for linux 32 and 64 bit Added lpsolve binaries for linux 32 and 64 bit	Jonas Finnemann Jens...	10 years ago
35		Support for osx32 and osx64 bit builds, we now have ugly bin... Support for osx32 and osx64 bit builds, we now have ugly binaries in source tree	Jonas Finnemann Jens...	10 years ago
34		Support for --disable-over-approximation fixing bug #1232662 Support for --disable-over-approximation fixing bug #1232662	Jonas Finnemann Jens...	10 years ago
33		Fixed bug #1232486 Fixed bug #1232486	Jonas Finnemann Jens...	10 years ago
32		Fixed trace option for trivial queries Fixed trace option for trivial queries	Jonas Finnemann Jens...	10 years ago
31		Fixed issue second part of bug #1217070, I think Fixed issue second part of bug #1217070, I think	Jonas Finnemann Jens...	10 years ago
30		Fixed first half of bug #1217070 Fixed first half of bug #1217070	Jonas Finnemann Jens...	10 years ago
29		Refactored kbound and counting max number of tokens reached.... Refactored kbound and counting max number of tokens reached...	Jonas Finnemann Jens...	10 years ago
28		Fixed make check to work without GNU CoreUtils Fixed make check to work without GNU CoreUtils	Jonas Finnemann Jens...	10 years ago
27		Hope I fixed OS X makefile Hope I fixed OS X makefile	Jonas Finnemann Jens...	10 years ago
26		Fixed one off with statistics and one place where wrong stat... Fixed one off with statistics and one place where wrong stats was returned	Jonas Finnemann Jens...	10 years ago
25		Added discovered states stats Added discovered states stats	Jonas Finnemann Jens...	10 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1