Commits · 263c852801ffdbc3a0a28877081a04c331e4348a · mbe-tools / TTool

Nov 08, 2016
- UPPAAL fix · 263c8528
  Letitia Li authored 8 years ago
  
  263c8528
- update on build version: builder.txt · f09547ef
  apvrille authored 8 years ago
  
  f09547ef
Nov 07, 2016
- figure 4 compressed · 901df7b1
  Letitia Li authored 8 years ago
  
  901df7b1
- rapido paper · a1e479fb
  Letitia Li authored 8 years ago
  
  a1e479fb
- Update on simulation penalties · 39def9e7
  Ludovic Apvrille authored 8 years ago
  
  39def9e7
- Update on sim · 174b4ee4
  apvrille authored 8 years ago
  
  174b4ee4
- update on build version: builder.txt · b2aceb62
  apvrille authored 8 years ago
  
  b2aceb62
Nov 06, 2016
- update on build version: builder.txt · d11dbe3b
  apvrille authored 8 years ago
  
  d11dbe3b
Nov 05, 2016
- update on build version: builder.txt · f574d5f1
  apvrille authored 8 years ago
  
  f574d5f1
Nov 04, 2016
- RAPIDO2017 paper · 7a3e752f
  Letitia Li authored 8 years ago
  
  7a3e752f
- update on build version: builder.txt · 6e9b8f4a
  apvrille authored 8 years ago
  
  6e9b8f4a
Nov 03, 2016
- Firewall fixes · 7d0521df
  Letitia Li authored 8 years ago
  
  7d0521df
- Firewall patch for latency · ea8e001c
  Letitia Li authored 8 years ago
  
  ea8e001c
- update on build version: builder.txt · 8bc22c87
  apvrille authored 8 years ago
  
  8bc22c87
Nov 02, 2016
- update on build version: builder.txt · 1f29c567
  apvrille authored 8 years ago
  
  1f29c567
- Firewall added on seperate diagram · 73799ebc
  Letitia Li authored 8 years ago
  
  73799ebc
- update on build version: builder.txt · 1711a7b3
  apvrille authored 8 years ago
  
  1711a7b3
Nov 01, 2016
- update on build version: builder.txt · 2f288563
  apvrille authored 8 years ago
  
  2f288563
Oct 31, 2016
- added infinite loop to firewall translation · 8d0c1a68
  Letitia Li authored 8 years ago
  
  8d0c1a68
- update on build version: builder.txt · 54ec7c40
  apvrille authored 8 years ago
  
  54ec7c40
Oct 30, 2016
- update on build version: builder.txt · dd2520f4
  apvrille authored 8 years ago
  
  dd2520f4
Oct 29, 2016
- update on build version: builder.txt · e2ebc065
  apvrille authored 8 years ago
  
  e2ebc065
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