Merge requests · mbe-tools / TTool

Fixing bug fix for enabling uppaal

!11 · created Nov 02, 2017 by Letitia Li
- MERGED
- 0
updated Nov 02, 2017
DSE and Proverif panels

!10 · created Oct 31, 2017 by Letitia Li
- MERGED
- 0
updated Nov 02, 2017
Issue #93: Enable the possibility to move several selected components

!9 · created Oct 26, 2017 by Fabien Tessier
- MERGED
- 0
updated Oct 26, 2017
Fix issues

!8 · created Oct 25, 2017 by Fabien Tessier
- MERGED
- 0
updated Oct 25, 2017
Add Performance Pragma help popup

!7 · created Oct 12, 2017 by Letitia Li
- MERGED
- 0
updated Oct 12, 2017
Rover model fix

!6 · created Oct 09, 2017 by Letitia Li
- MERGED
- 0
updated Oct 10, 2017
Refactoring for tab name

!5 · created Oct 09, 2017 by Fabien Tessier DIPLODOCUS GUI
- MERGED
- 0
updated Oct 10, 2017
Name refactoring for DIPLODOCUS

!4 · created Oct 06, 2017 by Fabien Tessier DIPLODOCUS GUI
- MERGED
- 0
updated Oct 06, 2017
Ttool labsoc

!3 · created Oct 05, 2017 by Letitia Li
- MERGED
- 0
updated Oct 05, 2017
added chmod on ttool.exe for macos and linux

!2 · created Oct 05, 2017 by Florian Lugou
- MERGED
- 0
updated Oct 05, 2017
Fix exception when click on an empty panel

!1 · created Oct 03, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Oct 03, 2017