- Sep 22, 2017
-
-
Andrea Enrici authored
-
- Sep 14, 2017
-
-
Dominique Blouin authored
-
- Jul 13, 2017
- Jul 07, 2017
-
-
Dominique Blouin authored
versions of UPPAAL due to different output messages
-
- Jul 04, 2017
-
-
apvrille authored
-
- Jun 29, 2017
-
-
apvrille authored
-
- Jun 27, 2017
-
-
apvrille authored
-
Florian Lugou authored
-
Florian Lugou authored
-
- Jun 19, 2017
-
-
Florian Lugou authored
-
- Jun 16, 2017
-
-
Florian Lugou authored
-
- Jun 13, 2017
-
-
Florian Lugou authored
-
- Jun 12, 2017
-
-
Florian Lugou authored
-
- Jun 09, 2017
-
-
Florian Lugou authored
-
- Jun 02, 2017
-
-
Florian Lugou authored
-
- May 30, 2017
-
-
Ludovic Apvrille authored
-
- May 23, 2017
-
-
Ludovic Apvrille authored
-
- May 04, 2017
-
-
Daniela Genius authored
-
- Oct 14, 2016
-
-
Ludovic Apvrille authored
-
- Apr 14, 2016
-
-
Daniela Genius authored
-
- Feb 08, 2016
-
-
Daniela Genius authored
-
- Oct 08, 2015
-
-
Letitia Li authored
-
- Jun 05, 2015
-
-
Ludovic Apvrille authored
-
- Jun 01, 2015
-
-
Dominique Blouin authored
-
- Apr 30, 2015
-
-
Andrea Enrici authored
-
- Feb 06, 2015
-
-
Andrea Enrici authored
added button for C code generation. Started to add dataFlowType and more features for the mapping of ports onto CPs
-
- Apr 10, 2014
-
-
Ludovic Apvrille authored
-
- Apr 07, 2014
-
-
Ludovic Apvrille authored
-
- Sep 25, 2012
-
-
Ludovic Apvrille authored
-
- Jun 16, 2011
-
-
Ludovic Apvrille authored
-
- Mar 29, 2011
-
-
Ludovic Apvrille authored
-
- Dec 10, 2010
-
-
Ludovic Apvrille authored
AVATAR: update on configuration file (simulation), and new window to control the simulation generation
-
- Sep 06, 2010
-
-
Ludovic Apvrille authored
-
- Jun 29, 2010
-
-
Ludovic Apvrille authored
Possibility to select - as an option and in the config.xml file - the port number used by the launcher
-
- May 12, 2010
-
-
Ludovic Apvrille authored
-
- Oct 19, 2009
-
-
Ludovic Apvrille authored
-
Ludovic Apvrille authored
-
- Jul 16, 2009
-
-
Ludovic Apvrille authored
-
- Apr 24, 2009
-
-
Ludovic Apvrille authored
-