Commits · c720c2926e906fea294a4827499dbcd2b30e62f0 · mbe-tools / TTool

Nov 19, 2017
- update on build version: build.txt · c720c292
  apvrille authored 7 years ago
  
  c720c292
Nov 18, 2017
- update on build version: build.txt · 950cb87d
  apvrille authored 7 years ago
  
  950cb87d
Nov 17, 2017
- Merge branch 'labsoc_sec' into 'master' · 84799a18
  Ludovic Apvrille authored 7 years ago
  
  UPPAAL Pragma fixes See merge request !21
  84799a18
- UPPAAL Pragma fixes · 766e8055
  Letitia Li authored 7 years ago
  
  766e8055
- update on build version: build.txt · 1d2c8582
  apvrille authored 7 years ago
  
  1d2c8582
- Merge branch 'fix_delete' into 'master' · ba2642ac
  Ludovic Apvrille authored 7 years ago
  
  Issue #99: Delete on selected components sometimes fails Closes #99 See merge request !20
  ba2642ac
- Issue #99 : Delete on selected components sometimes fails · a965e745
  Fabien Tessier authored 7 years ago
  
  a965e745
- Merge branch 'labsoc_sec' into 'master' · b942ba2d
  Ludovic Apvrille authored 7 years ago
  
  Quick UPPAAL Fix See merge request !19
  b942ba2d
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool into labsoc_sec · 8190d929
  Letitia Li authored 7 years ago
  
  8190d929
- Temporary fix for UPPAAL · 0ff245c1
  Letitia Li authored 7 years ago
  
  0ff245c1
- 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