Commits · a965e745619c244d38e88fae602267c782f1a7fb · mbe-tools / TTool

Nov 17, 2017
- Issue #99 : Delete on selected components sometimes fails · a965e745
  Fabien Tessier authored 7 years ago
  
  a965e745
- update on build version: build.txt · 50db19da
  apvrille authored 7 years ago
  
  50db19da
- update on build version: build.txt · e7389e6d
  apvrille authored 7 years ago
  
  e7389e6d
Nov 16, 2017
- Update on last open file · 91888ee7
  apvrille authored 7 years ago
  
  91888ee7
- Merge branch 'labsoc_sec' into 'master' · 5488789d
  Ludovic Apvrille authored 7 years ago
  
  Feedback for Safety Pragma Errors See merge request !18
  5488789d
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool into labsoc_sec · 3bd03ece
  Letitia Li authored 7 years ago
  
  3bd03ece
- Feedback for syntax errors · 0ba3f1b0
  Letitia Li authored 7 years ago
  
  0ba3f1b0
- Merge branch 'labsoc_sec' into 'master' · 17758579
  Ludovic Apvrille authored 7 years ago
  
  Fixed UPPAAL syntax checking See merge request !17
  17758579
- New about text · 3c69ffef
  apvrille authored 7 years ago
  
  3c69ffef
- update on build version: build.txt · 45e4ca72
  apvrille authored 7 years ago
  
  45e4ca72
Nov 15, 2017
- Removing advanced releases · f41897ad
  Ludovic Apvrille authored 7 years ago
  
  f41897ad
- Update on README provided in releases of TTool · 874bd542
  Ludovic Apvrille authored 7 years ago
  
  874bd542
- Adding new libs to the TTool Makefile · 38877234
  Ludovic Apvrille authored 7 years ago
  
  38877234
- Fixed UPPAAL syntax checking · a2770853
  Letitia Li authored 7 years ago
  
  a2770853
- Updating tguiaction text for formal verification · 8be79d99
  Ludovic Apvrille authored 7 years ago
  
  8be79d99
- Merge branch 'fix_selection' into 'master' · fe5af940
  Ludovic Apvrille authored 7 years ago
  
  Fix remove selected components See merge request !15
  fe5af940
- Merge branch 'fix_deployinfo' into 'master' · 282c2645
  Ludovic Apvrille authored 7 years ago
  
  fixed missing file deployinfo_ram.h See merge request !16
  282c2645
- Fix remove selected components · d3cf7af2
  Fabien Tessier authored 7 years ago
  
  d3cf7af2
- update on build version: build.txt · c92878f5
  apvrille authored 7 years ago
  
  c92878f5
Nov 14, 2017
- fixed missing file deployinfo_ram.h · 10fe738f
  Daniela GENIUS authored 7 years ago
  
  10fe738f
- update on build version: build.txt · 7bb22027
  apvrille authored 7 years ago
  
  7bb22027
Nov 13, 2017
- Merge branch 'labsoc_sec' into 'master' · 87a53cee
  Ludovic Apvrille authored 7 years ago
  
  Finished TML2Avatar Translation See merge request !13
  87a53cee
- Finished TML2Avatar translation · 3d02de97
  Letitia Li authored 7 years ago
  
  3d02de97
- update on build version: build.txt · 11e66f8b
  apvrille authored 7 years ago
  
  11e66f8b
Nov 12, 2017
- Merge branch 'labsoc_sec' of gitlab.enst.fr:mbe-tools/TTool into labsoc_sec · ff517372
  Letitia Li authored 7 years ago
  
  ff517372
- minor update · 35464dd1
  Letitia Li authored 7 years ago
  
  35464dd1
- update on build version: build.txt · 7d050f79
  apvrille authored 7 years ago
  
  7d050f79
Nov 11, 2017
- update on build version: build.txt · 5f5f8d14
  apvrille authored 7 years ago
  
  5f5f8d14
Nov 10, 2017
- Merge branch 'bug_fixes' into 'master' · 1dc002fc
  Ludovic Apvrille authored 7 years ago
  
  Fix right click when several components are selected See merge request !12
  1dc002fc
- Fixed autogeneration bug · e6074d4d
  Letitia Li authored 7 years ago
  
  e6074d4d
- Fix right click when several components are selected · 6e5c3cfc
  Fabien Tessier authored 7 years ago
  
  6e5c3cfc
- Update on README for bin dir · 87585a8f
  Ludovic Apvrille authored 7 years ago
  
  87585a8f
- update on build version: build.txt · cfe14a69
  apvrille authored 7 years ago
  
  cfe14a69
Nov 09, 2017
- update on build version: build.txt · cbde740b
  apvrille authored 7 years ago
  
  cbde740b
Nov 08, 2017
- Modifying Makefile for install · f0ed5594
  Ludovic Apvrille authored 7 years ago
  
  f0ed5594
- update on build version: build.txt · f421af02
  apvrille authored 7 years ago
  
  f421af02
Nov 07, 2017
- update on build version: build.txt · f2b002d7
  apvrille authored 7 years ago
  
  f2b002d7
Nov 06, 2017
- Update on install procedure · d7f89cc2
  apvrille authored 7 years ago
  
  d7f89cc2
- update on build version: build.txt · fc15840c
  apvrille authored 7 years ago
  
  fc15840c
Nov 05, 2017
- update on build version: build.txt · 18a6f3f1
  apvrille authored 7 years ago
  
  18a6f3f1