~verifypn-cpn/verifypn/col_weight

~verifypn-cpn/verifypn/col_weight_fix » Changes from revision 207

From Revision 35 to 16

Rev	Summary	Authors	Date
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...	11 years ago
27	Hope I fixed OS X makefile Hope I fixed OS X makefile	Jonas Finnemann Jens...	11 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...	11 years ago
25	Added discovered states stats Added discovered states stats	Jonas Finnemann Jens...	11 years ago
24	Added another cross compiling build script... Added another cross compiling build script...	Jonas Finnemann Jens...	11 years ago
23	Wrap search strategies in linear over-approximation Wrap search strategies in linear over-approximation	Jonas Finnemann Jens...	11 years ago
22	Adding true/false and deadlock predicates... And tests... Adding true/false and deadlock predicates... And tests...	Jonas Finnemann Jens...	11 years ago
21	Added test logic for other strategies Added test logic for other strategies	Jonas Finnemann Jens...	11 years ago
20	Included new `make check` target in the other makefiles Included new `make check` target in the other makefiles	Jonas Finnemann Jens...	11 years ago
19	Update `make check` logic, and cleanup documentation comment... Update `make check` logic, and cleanup documentation comments	Jonas Finnemann Jens...	11 years ago
18	Fixed some language issues Fixed some language issues	Jiri Srba	12 years ago
17	fixed the makefile for Mac OS X fixed the makefile for Mac OS X	Jiri Srba	12 years ago
16	Should finally build on OS X, also fixed static system linki... Should finally build on OS X, also fixed static system linking issue on linus	Jonas Finnemann Jens...	12 years ago