Merge requests · mbe-tools · GitLab

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in

M mbe-tools
Group information
- Group information
- Activity
- Labels
- Members
Issues 94
- Issues 94
- List
- Board
- Milestones
Merge requests 3
- Merge requests 3
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

mbe-tools
Merge requests

Open 3
Merged 330
Closed 121
All 454

Fix exception when click on an empty panel

TTool!1 · created Oct 03, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Oct 03, 2017
added chmod on ttool.exe for macos and linux

TTool!2 · created Oct 05, 2017 by Florian Lugou
- MERGED
- 0
updated Oct 05, 2017
Ttool labsoc

TTool!3 · created Oct 05, 2017 by Letitia Li
- MERGED
- 0
updated Oct 05, 2017
Name refactoring for DIPLODOCUS

TTool!4 · created Oct 06, 2017 by Fabien Tessier DIPLODOCUS GUI
- MERGED
- 0
updated Oct 06, 2017
Refactoring for tab name

TTool!5 · created Oct 09, 2017 by Fabien Tessier DIPLODOCUS GUI
- MERGED
- 0
updated Oct 10, 2017
Rover model fix

TTool!6 · created Oct 09, 2017 by Letitia Li
- MERGED
- 0
updated Oct 10, 2017
Add Performance Pragma help popup

TTool!7 · created Oct 12, 2017 by Letitia Li
- MERGED
- 0
updated Oct 12, 2017
Fix issues

TTool!8 · created Oct 25, 2017 by Fabien Tessier
- MERGED
- 0
updated Oct 25, 2017
Issue #93: Enable the possibility to move several selected components

TTool!9 · created Oct 26, 2017 by Fabien Tessier
- MERGED
- 0
updated Oct 26, 2017
DSE and Proverif panels

TTool!10 · created Oct 31, 2017 by Letitia Li
- MERGED
- 0
updated Nov 02, 2017
Fixing bug fix for enabling uppaal

TTool!11 · created Nov 02, 2017 by Letitia Li
- MERGED
- 0
updated Nov 02, 2017
Fix right click when several components are selected

TTool!12 · created Nov 10, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Nov 10, 2017
Finished TML2Avatar Translation

TTool!13 · created Nov 13, 2017 by Letitia Li AVATAR DIPLODOCUS
- MERGED
- 0
updated Nov 13, 2017
Fix remove selected components

TTool!15 · created Nov 15, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Nov 15, 2017
fixed missing file deployinfo_ram.h

TTool!16 · created Nov 15, 2017 by Fabien Tessier AVATAR
- MERGED
- 0
updated Nov 15, 2017
Fixed UPPAAL syntax checking

TTool!17 · created Nov 15, 2017 by Letitia Li
- MERGED
- 0
updated Nov 16, 2017
Feedback for Safety Pragma Errors

TTool!18 · created Nov 16, 2017 by Letitia Li
- MERGED
- 0
updated Nov 16, 2017
Quick UPPAAL Fix

TTool!19 · created Nov 17, 2017 by Letitia Li
- MERGED
- 0
updated Nov 17, 2017
Issue #99: Delete on selected components sometimes fails

TTool!20 · created Nov 17, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Nov 17, 2017
UPPAAL Pragma fixes

TTool!21 · created Nov 17, 2017 by Letitia Li
- MERGED
- 0
updated Nov 17, 2017

Prev
1
2
3
4
5
…
17
Next