~tapaal-compworkflow/tapaal/tapaal-compworkflow

From Revision 961 to 942

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
961		Merge Merge	Christoffer Moesgaar...	8 years ago
960		Sidste rettelse Sidste rettelse	Christoffer Moesgaar...	8 years ago
959		Update to model Update to model	Christoffer Moesgaar...	8 years ago
958		Models Models	Christoffer Moesgaar...	8 years ago
957		Fixed bugs and updated GUI Fixed bugs and updated GUI	Christoffer Moesgaar...	8 years ago
956		Now with pBlock to ensure correct termination. Now with pBlock to ensure correct termination.	sinevbirch at gmail	8 years ago
955		Ahh, no more nondeterminism! Ahh, no more nondeterminism!	sinevbirch at gmail	8 years ago
954		Various fixes and more GUI Various fixes and more GUI	Christoffer Moesgaar...	8 years ago
953		1-safe never use EF false. Wellbehaved check uses p1 = p1cop... 1-safe never use EF false. Wellbehaved check uses p1 = p1copy	sinevbirch at gmail	8 years ago
952		CMax for status places is now used individual.. CMax for status places is now used individual..	sinevbirch at gmail	8 years ago
951		transport arcs to interface places is now disallowed transport arcs to interface places is now disallowed	sinevbirch at gmail	8 years ago
950		Fixed bug in 1-safe check Fixed bug in 1-safe check	Christoffer Moesgaar...	8 years ago
949		Now with proper checking for well-behavedness Now with proper checking for well-behavedness	Christoffer Moesgaar...	8 years ago
948		Various corrections to the composition algorithm, and use of... Various corrections to the composition algorithm, and use of over approximation	Christoffer Moesgaar...	8 years ago
947		1-active work as well now 1-active work as well now	sinevbirch at gmail	8 years ago
946		1-safe virker mere nu 1-safe virker mere nu	sinevbirch at gmail	8 years ago
945		Updated compworkflowworker with better structure Updated compworkflowworker with better structure	Christoffer Moesgaar...	8 years ago
944		merge with trunk merge with trunk	Christoffer Moesgaar...	8 years ago
943		And now the code is also tested and corrected And now the code is also tested and corrected	sinevbirch at gmail	8 years ago
942		En masse En masse Ikke testet	sinevbirch at gmail	8 years ago

• Older »

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