~peter-gjoel/verifytapn/verifytapn

From Revision 145 to 126

expand all

collapse all

Rev		Summary	Authors	Tags	Date	Diff	Files
145		Merged query-normalization branch Merged query-normalization branch	Jiri Srba		12 years ago
144		shortened the message about removal of orphan transitions shortened the message about removal of orphan transitions	Jiri Srba	1.0.2	12 years ago
143		added warning message added warning message	Morten Jacobsen		12 years ago
142		changed version number to 1.0.2 changed version number to 1.0.2	Jiri Srba		12 years ago
141		removes orphan transitions to fix issues removes orphan transitions to fix issues	Morten Jacobsen		12 years ago
140		- Fixed bug #809860 - Fixed bug #809860 - Changed version number to 1.0.1	Morten Jacobsen		12 years ago
139		increased the version to 1.1.0 for the trunk version (next m... increased the version to 1.1.0 for the trunk version (next milestone)	Jiri Srba		12 years ago
138		Change version number to 1.0.0 Change version number to 1.0.0	Jiri Srba		12 years ago
137		added windows 32 bit version compilation script added windows 32 bit version compilation script	Jiri Srba		12 years ago
136		Fixes bug 799177. Fixes bug 799177.	Morten Jacobsen		12 years ago
135		modified the compile linux script modified the compile linux script	Jiri Srba		12 years ago
134		made the script executable made the script executable	Jiri Srba		12 years ago
133		added the compile script for linux added the compile script for linux	Jiri Srba		12 years ago
132		Renamed cover most search strategy. Changed default search s... Renamed cover most search strategy. Changed default search strategy to  maximal cover search. This strategy uses BFS by default if discrete inclusion is not enabled.	Morten Jacobsen		12 years ago
131		Added keyword *NONE* to specify no places should be consider... Added keyword *NONE* to specify no places should be considered for inclusion.	Morten Jacobsen		12 years ago
130		Added Cover most and Random search strategies. Added Cover most and Random search strategies.	Morten Jacobsen		12 years ago
129		- Added support for custom set of inc places. - Added support for custom set of inc places. - Also changed the way upward closed check works. If you ask for discrete    inclusion and you have a non-upward closed query you get an error now.	Morten Jacobsen		13 years ago
128		added defines to compile script added defines to compile script	Morten Jacobsen		13 years ago
127		added the mac compile script added the mac compile script	Jiri Srba		13 years ago
126		First steps towards user supplied list of inclusion places. First steps towards user supplied list of inclusion places.	Morten Jacobsen		13 years ago

• Older »

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