Merge requests · JastAdd · GitLab

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Register
Sign in

J JastAdd
Group information
- Group information
- Activity
- Labels
- Members
Issues 58
- Issues 58
- List
- Board
- Milestones
Merge requests 2
- Merge requests 2
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

Admin message

System update scheduled for Friday, December 1st between 08:15 and 08:45 CET. If unpleasant, please contact Andreas or Markus.

JastAdd
Merge requests

Open 2
Merged 103
Closed 2
All 107

Resolve "Structure View Support"

jetbrains-plugin!5 · created Nov 27, 2021 by Johannes Mey 0.3.0
feature
- Merged
- Approved
- 1
updated Dec 02, 2021
Resolve "Foldable aspects"

jetbrains-plugin!4 · created Nov 27, 2021 by Johannes Mey
feature
- Merged
- Approved
- 0
updated Nov 27, 2021
Resolve "Parsing of Method Reference Expressions"

jetbrains-plugin!3 · created Nov 26, 2021 by Johannes Mey
- Merged
- Approved
- 0
updated Nov 27, 2021
Hotfix - revert to plain mkdocs

ragconnect!20 · created Nov 24, 2021 by René Schöne master
- Merged
- 0
updated Nov 24, 2021
Resolve "Make specification langauge more concise"

ragconnect!19 · created Nov 24, 2021 by René Schöne 1.0.0
Component: Frontend
- Merged
- 0
updated Jan 06, 2022
Remove videos from documentation

ragconnect!18 · created Nov 24, 2021 by René Schöne master
- Merged
- 0
updated Nov 24, 2021
Version 0.3.2

ragconnect!17 · created Nov 24, 2021 by René Schöne master
- Merged
- 0
updated Nov 24, 2021
Resolve "Make documentation multi-versioned"

ragconnect!16 · created Nov 24, 2021 by René Schöne 0.3.2
Component: Configuration Component: Documentation
- Merged
- 0
updated Jan 06, 2022
Resolve "Extend documentation for subtree update and incremental eval"

ragconnect!15 · created Nov 23, 2021 by René Schöne 0.3.2
Component: Documentation
- Merged
- 0
updated Nov 24, 2021
Feature/autoformat

jetbrains-plugin!2 · created Nov 22, 2021 by Johannes Mey
- Merged
- Approved
- 1
updated Nov 26, 2021
Resolve "Renaming of Nonterminal Does Not Rename All Occurences"

jetbrains-plugin!1 · created Nov 19, 2021 by Johannes Mey main
- Merged
- 1
updated Nov 22, 2021
Resolve "Check and update documentation"

ragconnect!14 · created Nov 08, 2021 by René Schöne
Component: Documentation
- Merged
- 0
updated Nov 08, 2021
added ref-place and ref-transition execution support

jastadd/pnml/pnml-relast!1 · created Oct 28, 2021 by Sebastian Ebert
- Merged
- 6
updated Nov 04, 2021
Ensure correct connect and disconnect functionality

ragconnect!12 · created Sep 13, 2021 by René Schöne 0.3.2
Component: Backend
- Merged
- 0
updated Jan 06, 2022
Merge/dev to fork master merge

ragconnect!11 · created Aug 27, 2021 by Sebastian Ebert feature/ros-java-integration
- Merged
- 0
updated Aug 27, 2021
Allow connection endpoints for list nonterminals

ragconnect!10 · created Jul 28, 2021 by René Schöne 0.3.2
Component: Backend Component: Frontend
- Merged
- 0
updated Jan 06, 2022
Multiple scenes, multiple robots and more

ros3rag!1 · created Jul 15, 2021 by René Schöne
- Merged
- 0
updated Apr 11, 2022
Draft: Resolve "Add coverage"

ragconnect!9 · created Jun 09, 2021 by René Schöne
Component: Configuration Component: Documentation In progress ✏
- Closed
- 0
updated Jun 09, 2021
Version 0.3.1

ragconnect!8 · created Jun 03, 2021 by René Schöne master
- Merged
- 0
updated Jun 03, 2021
Resolve "Check input for URI format upon calling a connect method"

ragconnect!7 · created Jun 03, 2021 by René Schöne
Component: Backend bug confirmed
- Merged
- 0
updated Jan 06, 2022

Prev
1
2
3
4
5
6
Next