Merge requests · TASTE / OpenGEODE

ETD#55 CGenerator Ctx and States fix

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

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

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

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

!12 · created Jan 19, 2022 by Rafal Babski
- Merged
- Approved
- 0
updated Jan 20, 2022
Draft: PROTOTYPE N7S Stop Condition Language

!11 · created Sep 03, 2021 by Rafal Babski
- Closed
- 4
updated Aug 22, 2022
Support renaming of signals for observers, including a parameter

!10 · created Jul 22, 2021 by Maxime Perrotin
- Merged
- 0
updated Jul 22, 2021
Draft: Resolve "Procedure call in decision not correctly rendered"

!9 · created Jul 15, 2021 by Roberto Cavada
- Closed
- 2
updated Jul 19, 2021
Fix

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

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

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

!5 · created May 07, 2020 by Rafal Babski
- Merged
- 0
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
- 0
updated Jul 23, 2018
Qgen

!2 · created Jul 20, 2018 by Daniel Tuulik
- Closed
- 1
updated Jul 23, 2018
Qgen

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