Commits · c83abc16b3708e04164075f5e6f7585e34594e25 · mbe-tools / TTool

Sep 28, 2018
- Adding jautomata-core and new minimiztion algorithm in TTool · c83abc16
  Ludovic Apvrille authored 6 years ago
  
  c83abc16
Sep 27, 2018
- Update on AUTGraph to minime graphs · aaa90cba
  Ludovic Apvrille authored 6 years ago
  
  aaa90cba
- Correcting spelling listake in graphshow utility · f34a6769
  Ludovic Apvrille authored 6 years ago
  
  f34a6769
- Merge branch 'labsoc_sec' into 'master' · d3d2d536
  Ludovic Apvrille authored 6 years ago
  
  Fixed proverif result trace display See merge request !81
  d3d2d536
- update on build version: build.txt · 3dd03156
  Ludovic Apvrille authored 6 years ago
  
  3dd03156
Sep 26, 2018
- Fixed proverif result trace display · 1da84b5c
  Letitia Li authored 6 years ago
  
  1da84b5c
- Merge branch 'labsoc_sec' into 'master' · 591224eb
  Ludovic Apvrille authored 6 years ago
  
  Fixed proverif trace missing See merge request !80
  591224eb
- Debug info on graph minimization · 0685a102
  Ludovic Apvrille authored 6 years ago
  
  0685a102
- Fixed proverif trace missing · 2914d855
  Letitia Li authored 6 years ago
  
  2914d855
- Adding traces to debug showproveriftrace issue · a0ed6973
  Ludovic Apvrille authored 6 years ago
  
  a0ed6973
- Adding simulation traces for avatar simulations · ed5fe0ae
  Ludovic Apvrille authored 6 years ago
  
  ed5fe0ae
- update on build version: build.txt · 0b488549
  Ludovic Apvrille authored 6 years ago
  
  0b488549
Sep 25, 2018
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 74b4c1ff
  Ludovic Apvrille authored 6 years ago
  
  74b4c1ff
- ADding simulation trace tree · 61babb5d
  Ludovic Apvrille authored 6 years ago
  
  61babb5d
- update on build version: build.txt · 196250e0
  Ludovic Apvrille authored 6 years ago
  
  196250e0
Sep 24, 2018
- update on build version: build.txt · 2cf23204
  Ludovic Apvrille authored 6 years ago
  
  2cf23204
Sep 23, 2018
- update on build version: build.txt · df9a7e4d
  Ludovic Apvrille authored 6 years ago
  
  df9a7e4d
Sep 22, 2018
- update on build version: build.txt · dd42a1e7
  Ludovic Apvrille authored 6 years ago
  
  dd42a1e7
Sep 21, 2018
- Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git · f3a26ca7
  Dominique Blouin authored 6 years ago
  
  f3a26ca7
- update on build version: build.txt · e6d888c2
  Ludovic Apvrille authored 6 years ago
  
  e6d888c2
- update on build version: build.txt · 206ff4a5
  apvrille authored 6 years ago
  
  206ff4a5
- Cleanup · 25a87869
  Dominique Blouin authored 6 years ago
  
  25a87869
- Update test references for changes in TTool code · 790fde8b
  Dominique Blouin authored 6 years ago
  
  790fde8b
- Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git · 085bf75b
  Dominique Blouin authored 6 years ago
  
  085bf75b
- Code cleanup · 5d8282af
  Dominique Blouin authored 6 years ago
  
  5d8282af
- update on build version: build.txt · 9c4627a8
  apvrille authored 6 years ago
  
  9c4627a8
- update on build version: build.txt · 54b230c9
  apvrille authored 6 years ago
  
  54b230c9
- Removing non working tests · 927eb9e7
  apvrille authored 6 years ago
  
  927eb9e7
Sep 20, 2018
- Update on TTool: resolving bug on Avatar Simple Guards · 05050608
  Ludovic Apvrille authored 6 years ago
  
  05050608
- update on build version: build.txt · 775d0f46
  Ludovic Apvrille authored 6 years ago
  
  775d0f46
Sep 19, 2018
- Resolving bug on color for blocks · 356ad6f0
  apvrille authored 6 years ago
  
  356ad6f0
- Resolving bug on color for blocks · aac54f10
  apvrille authored 6 years ago
  
  aac54f10
- update on build version: build.txt · 0340b41d
  apvrille authored 6 years ago
  
  0340b41d
- update on build version: build.txt · 4deddb73
  apvrille authored 6 years ago
  
  4deddb73
- update on build version: build.txt · e00c4593
  Ludovic Apvrille authored 6 years ago
  
  e00c4593
- update on build version: build.txt · 9dd1ae70
  apvrille authored 6 years ago
  
  9dd1ae70
- Removing a TURTLE id for lib save · cc959e27
  apvrille authored 6 years ago
  
  cc959e27
- Merge branch 'labsoc_sec' into 'master' · f9339682
  Ludovic Apvrille authored 6 years ago
  
  Corrected latency measurements See merge request !79
  f9339682
- update on build version: build.txt · b21acb44
  Ludovic Apvrille authored 6 years ago
  
  b21acb44
Sep 18, 2018
- corrected latency measurements · 9f8f18f3
  Letitia Li authored 6 years ago
  
  9f8f18f3