~cpn-gui/tapaal/typeChecker : changes

~cpn-gui/tapaal/typeChecker » Changes from revision 1021

From Revision 1021 to 1002

Rev	Summary	Authors	Date
1021	finished typeChecker finished typeChecker	mglavi14 at aau	5 years ago
1020	removed color type dot as an option for creating and editing... removed color type dot as an option for creating and editing color types	mglavi14 at aau	5 years ago
1019	you can now edit an existing color type to a range of intege... you can now edit an existing color type to a range of integer color type	mglavi14 at aau	5 years ago
1018	forgot to add files for TypeCheckingPanel and class to hold ... forgot to add files for TypeCheckingPanel and class to hold the extracted expression values. Fixed bug in variablePanel where you could not edit a current variable if you only changed its color type	mglavi14 at aau	5 years ago
1017	When variables are edited, the changes are now applied autom... When variables are edited, the changes are now applied automatically to expressions in the net	mglavi14 at aau	5 years ago
1016	added functionaliy to extract all values from expressions, i... added functionaliy to extract all values from expressions, in order to do typeChecking analysis. missing connecting places validation	mglavi14 at aau	5 years ago
1015	WIP on typeChecker, Panel has been created, work to begin on WIP on typeChecker, Panel has been created, work to begin on information gathering	mglavi14 at aau	5 years ago
1014	merge from trunk merge from trunk	mglavi14 at aau	5 years ago
1013	Merged defaultValues into branch Merged defaultValues into branch	Niels Christensen	5 years ago
1012	merge from BugFixing merge from BugFixing	Mark Glavind	5 years ago
1011	places can now have a colortype without having any tokens places can now have a colortype without having any tokens	Mark Glavind	5 years ago
1010	general bugfixing place editor for colored general bugfixing place editor for colored	mglavi14 at aau	5 years ago
1009	working on bug in placeeditor that makes pc freeze working on bug in placeeditor that makes pc freeze	mglavi14 at aau	5 years ago
1008	Fixing importing bugs Fixing importing bugs	Niels Christensen	5 years ago
1007	merged in from master branch to get the latest changes merged in from master branch to get the latest changes	Mark Glavind	5 years ago
1006	fixed bugs in pnmlLoader for arcExpressions and for transiti... fixed bugs in pnmlLoader for arcExpressions and for transitions naming convention	Mark Glavind	5 years ago
1005	merge from expressionsPrint merge from expressionsPrint	Mark Glavind	5 years ago
1004	Merged trasitionPrint into main branch Merged trasitionPrint into main branch	Niels Christensen	5 years ago
1003	Fixed calls so tapaal in now running again Fixed calls so tapaal in now running again	Niels Christensen	5 years ago
1002	Fixed merge errors Fixed merge errors	Niels Christensen	5 years ago

Older »