~cpn-gui/tapaal/cpn-editor : changes

~cpn-gui/tapaal/cpn-editor » Changes from revision 1086

From Revision 1086 to 1067

Rev	Summary	Authors	Date
1086	Created the new intervals Created the new intervals	nchri13	4 years ago
1085	Cleaned the code for some prints Cleaned the code for some prints	nchri13	4 years ago
1084	When unfolding TACPN a query is transported over to the unfo... When unfolding TACPN a query is transported over to the unfolded net. this allows the user to use the simulation tool on the unfolded net	mglavi14 at aau	4 years ago
1083	merge from introexamplebug merge from introexamplebug	mglavi14 at aau	4 years ago
1082	Merge from typeCheckerVariable Merge from typeCheckerVariable	nchri13	4 years ago
1081	Added query to network and prints temp query as well Added query to network and prints temp query as well	mglavi14 at aau	4 years ago
1080	second merge from ExportTempModels, forgot to add a file! second merge from ExportTempModels, forgot to add a file!	mglavi14 at aau	4 years ago
1079	wip wip	mglavi14 at aau	4 years ago
1078	Merge from exportTempModel Merge from exportTempModel	nchri13	4 years ago
1077	Merge from SrcDestPair Merge from SrcDestPair	nchri13	4 years ago
1076	small fixes small fixes	mglavi14 at aau	4 years ago
1075	first row is now preseelected first row is now preseelected	mglavi14 at aau	4 years ago
1074	Changed the path to unfoldTACPN to be universal for all OS'... Changed the path to unfoldTACPN to be universal for all OS's	mglavi14 at aau	4 years ago
1073	final changes to gui for netsynth analysation tool final changes to gui for netsynth analysation tool	Mark Glavind	4 years ago
1072	changed tool tab name changed tool tab name	Mark Glavind	4 years ago
1071	several minor changes several minor changes	Mark Glavind	4 years ago
1070	merge to add transport arcs to typchecking analysis merge to add transport arcs to typchecking analysis	Mark Glavind	4 years ago
1069	Made such that dot can't be edited and the size of the color... Made such that dot can't be edited and the size of the color type dialog bigger	nchri13	4 years ago
1068	merge from dynamicPathsReal applying typechecking before ver... merge from dynamicPathsReal applying typechecking before verification and fixing issues with calling continious and discrete engine with TAPN	Mark Glavind	4 years ago
1067	Made as the path for the unfolder more dynamic Made as the path for the unfolder more dynamic	nchri13	4 years ago

Older »