Commits · 85bd2c631300882c4f27d7a275796913f7fd9b6a · mbe-tools / TTool

Oct 28, 2016
- Update on models · 85bd2c63
  apvrille authored 8 years ago
  
  85bd2c63
- Attempt to fix UPPAAL safety pragma 2 · 60351cb6
  Letitia Li authored 8 years ago
  
  60351cb6
- Attempt to fix UPPAAL safety pragma · 14c792d7
  Letitia Li authored 8 years ago
  
  14c792d7
- Attempt to fix UPPAAL safety pragma · 6eedd142
  Letitia Li authored 8 years ago
  
  6eedd142
- TML2Avatar data types added · 36872b13
  Letitia Li authored 8 years ago
  
  36872b13
- Updating info on R and L on avatar models with UPPAAL verification · c83475dd
  apvrille authored 8 years ago
  
  c83475dd
- Removing useless printing to users · 19b1c0aa
  apvrille authored 8 years ago
  
  19b1c0aa
- Resolving issue #2 · 55357ae6
  apvrille authored 8 years ago
  
  55357ae6
- Signal fix · 9e0edb45
  Letitia Li authored 8 years ago
  
  9e0edb45
- update on build version: builder.txt · 277cccfb
  apvrille authored 8 years ago
  
  277cccfb
Oct 27, 2016
- DSE null pointer exception fix · 4a56e997
  Letitia Li authored 8 years ago
  
  4a56e997
- Firewall interactive simulation working · 57f3f9b0
  Letitia Li authored 8 years ago
  
  57f3f9b0
- update on build version: builder.txt · f297b6f1
  apvrille authored 8 years ago
  
  f297b6f1
Oct 26, 2016
- update on build version: builder.txt · 07a299f3
  apvrille authored 8 years ago
  
  07a299f3
Oct 25, 2016
- update on build version: builder.txt · 829e399a
  apvrille authored 8 years ago
  
  829e399a
Oct 24, 2016
- Modelsward bis paper · a939a938
  Letitia Li authored 8 years ago
  
  a939a938
- Modelsward bis paper · 2bbb3f26
  Letitia Li authored 8 years ago
  
  2bbb3f26
- bugfix · 011ab7d7
  Daniela Genius authored 8 years ago
  
  011ab7d7
- corrige bug vgmn · 7e76f80d
  Daniela Genius authored 8 years ago
  
  7e76f80d
- update on build version: builder.txt · d8b817a7
  apvrille authored 8 years ago
  
  d8b817a7
Oct 23, 2016
- update on build version: builder.txt · 4a3d7332
  apvrille authored 8 years ago
  
  4a3d7332
Oct 22, 2016
- update on build version: builder.txt · 792925f0
  apvrille authored 8 years ago
  
  792925f0
Oct 21, 2016
- update on build version: builder.txt · 7be1fdbe
  apvrille authored 8 years ago
  
  7be1fdbe
- Firewall simulation working! · 95f3f8a9
  Letitia Li authored 8 years ago
  
  95f3f8a9
- simulatable firewall · b7741999
  Letitia Li authored 8 years ago
  
  b7741999
- update on build version: builder.txt · ebcc1696
  apvrille authored 8 years ago
  
  ebcc1696
Oct 20, 2016
- Firewall activity diagram · 093c2764
  Letitia Li authored 8 years ago
  
  093c2764
- Updating main readme · c737bc7e
  Ludovic Apvrille authored 8 years ago
  
  c737bc7e
- update on build version: builder.txt · 35c5c986
  apvrille authored 8 years ago
  
  35c5c986
Oct 19, 2016
- Firewall modeling · 1997c8c0
  Letitia Li authored 8 years ago
  
  1997c8c0
- Firewall modeling · 2aee0a67
  Letitia Li authored 8 years ago
  
  2aee0a67
- update on build version: builder.txt · a61f7789
  apvrille authored 8 years ago
  
  a61f7789
- update on build version: builder.txt · 0377d3c8
  apvrille authored 8 years ago
  
  0377d3c8
Oct 18, 2016
- TML2Avatar fix · 51af891f
  Letitia Li authored 8 years ago
  
  51af891f
- Added TTool development infrastructure document · 2c0717ef
  Dominique Blouin authored 8 years ago
  
  2c0717ef
- Update on ttoolnight script · d679b9cc
  apvrille authored 8 years ago
  
  d679b9cc
- update on build version: builder.txt · ebffd894
  apvrille authored 8 years ago
  
  ebffd894
- update on build version: builder.txt · 06e1736b
  apvrille authored 8 years ago
  
  06e1736b
- update on build version: builder.txt · 2211309a
  apvrille authored 8 years ago
  
  2211309a
- update on build version: builder.txt · fb58a0c1
  apvrille authored 8 years ago
  
  fb58a0c1