Merge requests · TASTE / OpenGEODE

TMCC#453 Fixed timer ads stub generation

!17 · created Apr 18, 2024 by Filip Florczyk
- Merged
- Approved
updated Apr 18, 2024
ETD#55 CGenerator Ctx and States fix

!16 · created Jul 25, 2023 by Igor Jarek
updated Jul 25, 2023
ETD#55 Fixed CGenerator

!15 · created Jul 19, 2023 by Igor Jarek
- Merged
- 8
- Approved
updated Jul 20, 2023
Added tests from sdl2promela

!14 · created Jun 30, 2023 by Filip Florczyk n7s-etd#55-cgenerator
- Merged
updated Jun 30, 2023
EDT#55 added dumping AST to the file

!13 · created May 18, 2023 by Igor Jarek
- Merged
- Approved
updated May 22, 2023
Stop Condition Language for TMC: added grammar rules

!12 · created Jan 19, 2022 by Rafal Babski
- Merged
- Approved
updated Jan 20, 2022
Support renaming of signals for observers, including a parameter

!10 · created Jul 22, 2021 by Maxime Perrotin
- Merged
updated Jul 22, 2021
Fix

!8 · created Jun 01, 2020 by Rafal Babski python3-pyside2
- Merged
updated Jun 01, 2020
CGenerator support for timers

!7 · created May 12, 2020 by Rafal Babski
- Merged
updated May 12, 2020
CGenerator - code refactor

!6 · created May 12, 2020 by Rafal Babski
- Merged
updated May 12, 2020
C generator reactivation

!5 · created May 07, 2020 by Rafal Babski
- Merged
updated May 12, 2020
Qgen

!4 · created Oct 05, 2018 by Daniel Tuulik
- Merged
- 1
- 1
updated Nov 05, 2018
Fix qgen-sdl tool call in OpenGEODE

!3 · created Jul 23, 2018 by Daniel Tuulik
- Merged
updated Jul 23, 2018
Qgen

!1 · created May 23, 2018 by Daniel Tuulik
- Merged
updated May 24, 2018