~verifypn-cpn/verifypn/unitTest : changes

~verifypn-cpn/verifypn/unitTest » Changes to rules.mk from revision 223

From Revision 223

Rev	Summary	Authors	Date
200	merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/ merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/ CPN unfolding CPN linear overapproximation Export of reduced queries and model parallel query simplification TAR for P/T nets Improved structural reduction rules	Jiri Srba	6 years ago
187	merged in branch lp:~verifypn-stub/verifypn/query-opt addion... merged in branch lp:~verifypn-stub/verifypn/query-opt addion query simplification optmizations	Jiri Srba	6 years ago
184	merged in the branch lp:~verifypn-stub/verifypn/inhib adding... merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets for inhibitor arcs and a number of other fixes and compiles now for windows as well	Jiri Srba	6 years ago
78	makefiles, still needs work makefiles, still needs work	Peter Gjøl Jensen	8 years ago
69	refactor 2 refactor 2	Peter Gjøl Jensen	8 years ago
60	snapshot snapshot	Peter Gjøl Jensen	8 years ago
49	merged in a branch allowing to use quatations around the pla... merged in a branch allowing to use quatations around the place names in queries	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