Merge requests · TASTE

sync kazoo

taste-setup!169 · created Apr 08, 2022 by Maxime Perrotin feature_buster
- Merged
updated Apr 08, 2022
TMC: support for function types

spacecreator!560 · created Apr 07, 2022 by Rafal Babski
- Merged
- Approved
updated Apr 08, 2022
Feature bullseye

taste-setup!168 · created Apr 07, 2022 by Maxime Perrotin feature_buster
- Merged
updated Apr 07, 2022
SDRAM_SECTION symbol added

kazoo!94 · created Apr 07, 2022 by Jakub Rachucki feature_bullseye
- Merged
- Approved
updated Apr 07, 2022
Feature bullseye

taste-setup!167 · created Apr 06, 2022 by Maxime Perrotin feature_buster
- Merged
updated Apr 06, 2022
Add script to force answer "yes" to apt-update

taste-setup!166 · created Apr 06, 2022 by Maxime Perrotin
- Closed
updated Apr 06, 2022
N7S TMC#86 - Promela: added bool env var generation

spacecreator!559 · created Apr 05, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated Apr 07, 2022
Promela: changes required for continuous signals

spacecreator!558 · created Apr 01, 2022 by Rafal Babski
- Merged
- 4
- Approved
updated Apr 05, 2022
merge Ixv master bsc1 ixv folder into master branch

if-model-checking!1 · created Mar 30, 2022 by Carlos Redondo
updated Apr 29, 2022
Feature bullseye

taste-setup!165 · created Mar 30, 2022 by Maxime Perrotin feature_buster
- Merged
updated Mar 30, 2022
N7S ETB#194 - Generating correct size for booleans

spacecreator!557 · created Mar 28, 2022 by Filip Demski
- Merged
- 5
- Approved
updated Apr 01, 2022
Added arm-elf-adac support

kazoo!93 · created Mar 28, 2022 by Michal Kurowski feature_bullseye
- Merged
- Approved
updated Apr 04, 2022
N7S ETB#224 - WithComponents translation

spacecreator!556 · created Mar 28, 2022 by Filip Demski
- Merged
- 10
- Approved
updated Mar 29, 2022
N7S ETB#200 - Array size threshold

spacecreator!555 · created Mar 25, 2022 by Filip Demski
- Merged
- Approved
updated Mar 28, 2022
N7S ETB#108 - Translating ErrorControlEntry and LengthEntry

spacecreator!554 · created Mar 24, 2022 by Filip Demski
- Merged
- 31
- Approved
updated Mar 29, 2022
sync dmt

taste-setup!164 · created Mar 23, 2022 by Maxime Perrotin feature_buster
- Merged
updated Mar 23, 2022
sync opengeode

taste-setup!163 · created Mar 23, 2022 by Maxime Perrotin feature_buster
- Merged
updated Mar 23, 2022
N7S AUR#94 - GdbConnector, DataReconstructor

spacecreator!553 · created Mar 22, 2022 by Mikołaj Owczarzak
- Merged
- 55
- Approved
updated Apr 04, 2022
Asn1ToPromelaTranslator: bugfixes

spacecreator!552 · created Mar 22, 2022 by Rafal Babski
- Merged
- Approved
updated Mar 23, 2022
sync og

taste-setup!162 · created Mar 21, 2022 by Maxime Perrotin feature_buster
- Merged
updated Mar 21, 2022