Ecdar / Ecdar/Reveaal

Save Components as XML

Open
#103 1 comment 0 reactions 0 assignees View on GitHub
approachable bug new feature
Dominant language
Rust
Stars
4
Forks
6
PR merge metrics
No merged PRs in 30d

Description

The option to save/return components as XML instead of just the JSON format for backwards compatibility to other tools

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the component save/return entry points and the existing JSON serialization path in the Rust engine. Determine how XML output should preserve backwards compatibility with the current JSON behavior; the work is done when components can be saved or returned as XML without breaking existing JSON use.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
backend
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.