Skip to content
GitLab
  • Explore
  • Sign in
  • TASTETASTE
  • OpenGEODEOpenGEODE
  • Merge requests
  • Open 0
  • Merged 13
  • Closed 3
  • All 16

  • Subscribe to RSS feed
  • 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