~tapaal-contributor/verifypn/unfoldTACPN

From Revision 240 to 221

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
240		Fix parsing of useroperators Fix parsing of useroperators	tpede16 at aau	3 years ago
239		Remove expressions from inhibitor arcs and handle .all in tu... Remove expressions from inhibitor arcs and handle .all in tuples	tpede16 at aau	3 years ago
238		Handle inhibitor arcs in CPNs Handle inhibitor arcs in CPNs	tpede16 at aau	3 years ago
237		Use same query writing method Use same query writing method	tpede16 at aau	3 years ago
236		Expand timed net detection and handle missing invariants Expand timed net detection and handle missing invariants	tpede16 at aau	3 years ago
235		Add colortype to dot colors and fix writing of arc weights Add colortype to dot colors and fix writing of arc weights	tpede16 at aau	3 years ago
234		Merge with trunk Merge with trunk	tpede16 at aau	3 years ago
233		Adjust model and query output to work with gui Adjust model and query output to work with gui	tpede16 at aau	3 years ago
232		Fix some errors when passing colored net from GUI and creati... Fix some errors when passing colored net from GUI and creating reduced query	tpede16 at aau	3 years ago
231		Fix parser check for time Fix parser check for time	tpede16 at aau	3 years ago
230		Merge with trunk Merge with trunk	tpede16 at aau	3 years ago
229		Can now handle group nr when parsing Can now handle group nr when parsing	ptaankvist at gmail	3 years ago
228		Change parsing from inscription to invariant Change parsing from inscription to invariant	ptaankvist at gmail	3 years ago
227		missing some lpsolve files for compiling binary missing some lpsolve files for compiling binary	Mark Glavind	4 years ago
226		Fixed an issue where the parser would try to print expressio... Fixed an issue where the parser would try to print expressions even if they were not there	Mark Glavind	4 years ago
225		made include path changes and added lpsolve in order to cros... made include path changes and added lpsolve in order to crosscompile to windows	Mark Glavind	4 years ago
224		merge from dynamicExport merge from dynamicExport	Mark Glavind	4 years ago
223		Merge from dynamic export  Merge from dynamic export	Mark Glavind	4 years ago
222		merge from dynamicExport, feature is finished merge from dynamicExport, feature is finished	Mark Glavind	4 years ago
221		merge from unfoldQuery, feature finished merge from unfoldQuery, feature finished	Mark Glavind	4 years ago

• Older »

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