Commits · 4d578e2dc1e3c5e4331f8a74eb5c1d60dcb4aaed · mbe-tools / TTool · GitLab

Snippets Groups Projects

Oct 05, 2018
- update on build version: build.txt · 4d578e2d
  Ludovic Apvrille authored 6 years ago
  
  4d578e2d
Oct 04, 2018
- Update TTool Makefile for handling preinstalled version in the TTool website · 99fde4b8
  Ludovic Apvrille authored 6 years ago
  
  99fde4b8
- update on build version: build.txt · 01f9456f
  Ludovic Apvrille authored 6 years ago
  
  01f9456f
- update on build version: build.txt · 6ac7903f
  Ludovic Apvrille authored 6 years ago
  
  6ac7903f
- update on build version: build.txt · 9c39277f
  Ludovic Apvrille authored 6 years ago
  
  9c39277f
Oct 03, 2018
- update on build version: build.txt · aa090524
  Ludovic Apvrille authored 6 years ago
  
  aa090524
- Modifying the displaying of labels in graphs · a10ded08
  Ludovic Apvrille authored 6 years ago
  
  a10ded08
- update on build version: build.txt · bbbc7de5
  Ludovic Apvrille authored 6 years ago
  
  bbbc7de5
Oct 02, 2018
- Improving displaying of RG · ea8ace51
  apvrille authored 6 years ago
  
  ea8ace51
- Removing bug when generating minimized aut graph file · de0dce80
  apvrille authored 6 years ago
  
  de0dce80
- update on build version: build.txt · 6f664847
  Ludovic Apvrille authored 6 years ago
  
  6f664847
Oct 01, 2018
- update on build version: build.txt · cc659711
  apvrille authored 6 years ago
  
  cc659711
- update on build version: build.txt · 1747fe54
  Ludovic Apvrille authored 6 years ago
  
  1747fe54
Sep 30, 2018
- update on build version: build.txt · d2c391f6
  Ludovic Apvrille authored 6 years ago
  
  d2c391f6
Sep 29, 2018
- update on build version: build.txt · d3a061d4
  Ludovic Apvrille authored 6 years ago
  
  d3a061d4
Sep 28, 2018
- update on build version: build.txt · b3d006d7
  Ludovic Apvrille authored 6 years ago
  
  b3d006d7
- update on build version: build.txt · 8019fa8f
  Ludovic Apvrille authored 6 years ago
  
  8019fa8f
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 35d0372d
  Ludovic Apvrille authored 6 years ago
  
  35d0372d
- Update on graph minimization · e8ae6a33
  Ludovic Apvrille authored 6 years ago
  
  e8ae6a33
- update on build version: build.txt · 7a7d4541
  Ludovic Apvrille authored 6 years ago
  
  7a7d4541
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 37e76fdb
  Ludovic Apvrille authored 6 years ago
  
  37e76fdb
- Removing warnings on automaton minimization · 6cab2a70
  Ludovic Apvrille authored 6 years ago
  
  6cab2a70
- update on build version: build.txt · 146d9090
  apvrille authored 6 years ago
  
  146d9090
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 72236ac6
  Ludovic Apvrille authored 6 years ago
  
  72236ac6
- Update compilation configuration for handling jautomata-core · 1ee70c5f
  Ludovic Apvrille authored 6 years ago
  
  1ee70c5f
- update on build version: build.txt · 89a0ee4c
  apvrille authored 6 years ago
  
  89a0ee4c
- Adding jautomata lib · e03cf431
  Ludovic Apvrille authored 6 years ago
  
  e03cf431
- Update on Makefile · df396063
  Ludovic Apvrille authored 6 years ago
  
  df396063
- 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