Merge requests · mbe-tools / TTool

Resolve "C code generated for ZigBee tutorial"

!24 · created Nov 21, 2017 by Dominique Blouin
- MERGED
- 0
updated Nov 21, 2017
Updated safety unit tests

!23 · created Nov 20, 2017 by Letitia Li
- MERGED
- 0
updated Nov 20, 2017
Pragma syntax errors are now warnings and new UPPAAL help popup

!22 · created Nov 19, 2017 by Letitia Li
- MERGED
- 0
updated Nov 20, 2017
UPPAAL Pragma fixes

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

!20 · created Nov 17, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Nov 17, 2017
Quick UPPAAL Fix

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

!18 · created Nov 16, 2017 by Letitia Li
- MERGED
- 0
updated Nov 16, 2017
Fixed UPPAAL syntax checking

!17 · created Nov 15, 2017 by Letitia Li
- MERGED
- 0
updated Nov 16, 2017
fixed missing file deployinfo_ram.h

!16 · created Nov 15, 2017 by Fabien Tessier AVATAR
- MERGED
- 0
updated Nov 15, 2017
Fix remove selected components

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

!14 · created Nov 14, 2017 by Daniela Genius
- CLOSED
- 0
updated Nov 14, 2017
Finished TML2Avatar Translation

!13 · created Nov 13, 2017 by Letitia Li AVATAR DIPLODOCUS
- MERGED
- 0
updated Nov 13, 2017
Fix right click when several components are selected

!12 · created Nov 10, 2017 by Fabien Tessier GUI
- MERGED
- 0
updated Nov 10, 2017
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